2 search results for "author:"Dmitrii Kosarev https://github.com/Kakadu""

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
OCanren-ppx
Implementation of miniKanren relational (logic) EDSL: PPX extensions
Dmitrii Kosarev https://github.com/Kakadu JetBrains Research https://research.jetbrains.org
0.3.0
LGPL-2.1
Used by 2 other packages