Michael Ballantyne
Results
2
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.
multiscope
16
Stars
2
Forks
Watchers
A module language for programming with multiple named scopes, orthogonal to lexical nesting.