Languages
Developers
Countries
Repos
Topics
Repos by michaelballantyne
michaelballantyne
/ repos
67 repos
«
1
2
...
7
»
Repo
Language
Stars
Rank
faster-minikanren
Scheme
151
76
meta-minikanren
Scheme
22
399
syntax-spec
Racket
19
374
multiscope
Racket
16
465
homebrew-chez
Ruby
14
32,971
miniKanren-occurrence-type-inferencer
Scheme
12
646
ee-lib
Racket
12
605
dKanren
Racket
5
1,257
backjumping-miniKanren
HTML
5
118,352
scheme-workshop-2015
Scheme
3
2,037