There are no reviews yet. Be the first to send feedback to the community and the maintainers!
dbKanren
Kanren with databasesicfp2017-artifact-auas7pp
ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problemsina
experimental computational medium and supporting toolsdKanren
miniKanren variant with a functional syntax, expressing disjunction via pattern matchingexperiments
a steady descent into madnessfirst-order-miniKanren
miniKanren with a first-order representation of the search spaceracket-misc
miscellaneous racket utilities that I find usefuldemo-livingnet
demo of an alternative to the webtutorial-relational-interpreters
One Weird Trick: Relational Interpreters for Program Synthesisvbox
some basic scripting of virtualboxelm-goban
tools for go/igo/weiqi/baduk using elmchive
chive programming language implementationLove Open Source and this site? Check out how you can help us