1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
2 Search Results
Search packages
noCanren
Translator from subset of OCaml to OCanren
https://github.com/Lozov-Petr
https://github.com/Kakadu
https://github.com/dboulytchev
0.3.0
LGPL-2.1
Used by 0 other packages
OCanren
Implementation of miniKanren relational (logic) EDSL
Dmitrii Boulytchev https://github.com/dboulytchev
Dmitrii Kosarev https://github.com/Kakadu
Evgenii Moiseenko https://github.com/eupp
Petr Lozov https://github.com/Lozov-Petr
JetBrains Research https://research.jetbrains.org
0.3.0
LGPL-2.1
Used by 2 other packages