Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jams2/microkanren issues and pull requests

#13 - Remove FD constraints, add Hylang layer

Pull Request - State: open - Opened by jams2 14 days ago

#12 - Fix reification of fresh logic vars

Pull Request - State: closed - Opened by jams2 about 1 year ago

#11 - Update ruff to use the new formatter

Pull Request - State: closed - Opened by jams2 about 1 year ago

#10 - Add CI config

Pull Request - State: closed - Opened by jams2 about 1 year ago

#9 - Fix examples in readme

Pull Request - State: closed - Opened by jams2 about 1 year ago

#8 - Fix the ordering of goals in disj

Pull Request - State: closed - Opened by jams2 about 1 year ago

#7 - Idea: Add this to minikanren.org

Issue - State: closed - Opened by pianoJames about 1 year ago - 1 comment

#6 - Add Python 3.12 support, bump fastcons

Pull Request - State: closed - Opened by jams2 about 1 year ago

#5 - Feature/immutables map

Pull Request - State: closed - Opened by jams2 over 1 year ago

#4 - Add `ltfd`

Pull Request - State: closed - Opened by jams2 over 1 year ago

#3 - Refactor fd

Pull Request - State: closed - Opened by jams2 over 1 year ago

#2 - Use Hooks registry class instead of globals

Pull Request - State: closed - Opened by jams2 over 1 year ago

#1 - Add support for finite domain constraints

Pull Request - State: closed - Opened by jams2 over 1 year ago