49 skills found · Page 1 of 2
jasonhemann / MicroKanrenThe implementation of microKanren, a featherweight relational programming language
ekzhang / Ukanren RsRust implementation of µKanren, a featherweight relational programming language.
mullr / MicrologicA literate clojure implementation of microKanren
bodil / MicrokanrensImplementations of µKanren in assorted languages
jtauber / Pykanrenan attempt to implement miniKanren and microKanren in Python
naasking / UKanren.NETA native implementation of the MicroKanren DSL for .NET
mndrix / Microkanren PrologProlog implementation of microKanren
tapeinosyne / Elm MicrokanrenμKanren in Elm
silentbicycle / Lua UkanrenLua port of of microKanren, a minimal logic programming engine.
jsl / Ruby UkanrenA port of microKanren to Ruby
paf31 / Mu KanrenA step-by-step MicroKanren evaluator
chrisamaphone / Ml Mukanrenmicrokanren in sml
jasonhemann / Micro In Minian implementation of a microKanren(-like language) in miniKanren
joshcox / KanrenPort of microKanren to JavaScript.
jcoglan / KanrensVarious implementations of microKanren
StrykerKKD / LogicalMinimalistic logic programming framework
jasonhemann / Constraint MicroKanrenA microKanren framework for implementing constraints.
nathanielrb / FtmicroKanrenFirst-order temporal logic programming with microKanren
jasonhemann / MicroKanren DLS 16microKanren implementation from DLS '16
asolove / MicroScopeKanrenA trace visualization of MicroKanren logic programs, in JS.
