reloj
Relational clojure
Popular repositories Loading
-
-
-
clpset-miniKanren
clpset-miniKanren PublicForked from namin/clpset-miniKanren
CLP(Set) in miniKanren
Scheme
-
staged-miniKanren
staged-miniKanren PublicForked from namin/staged-miniKanren
explorations of multi-stage logic programming in miniKanren
Scheme
-
clpsmt-miniKanren
clpsmt-miniKanren PublicForked from namin/clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Scheme
-
Repositories
Showing 10 of 15 repositories
- staged-miniKanren Public Forked from namin/staged-miniKanren
explorations of multi-stage logic programming in miniKanren
reloj/staged-miniKanren’s past year of commit activity - metaprob Public Forked from probcomp/metaprob
An embedded language for probabilistic programming and meta-programming.
reloj/metaprob’s past year of commit activity - choco-solver Public Forked from chocoteam/choco-solver
An open-source Java library for Constraint Programming
reloj/choco-solver’s past year of commit activity - metaKanren Public Forked from iambrj/metaKanren
Relational interpreter for miniKanren, in miniKanren.
reloj/metaKanren’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…