Michael Ballantyne
Results
3
repositories owned by
Michael Ballantyne
faster-minikanren
146
Stars
35
Forks
Watchers
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
meta-minikanren
22
Stars
4
Forks
Watchers
A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
multiscope
16
Stars
2
Forks
Watchers
A module language for programming with multiple named scopes, orthogonal to lexical nesting.