OCaml Packages · Search Result

2 Search Results

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

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