Repos by jasonhemann
jasonhemann / repos
44 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | lambdastar | unknown | 4 | 345,286 |
| microKanren-extempore | unknown | 3 | 457,425 |
| xform-mk | Racket | 3 | 1,826 |
| dependently-typed-lang | Racket | 3 | 1,814 |
| constraint-micro-lambda-jam | Racket | 3 | 1,798 |
| mK-miniKanren-interpreter | Scheme | 2 | 2,916 |
| jot-code | Scheme | 2 | 2,646 |
| novel-miniKanren-synthesis-tasks | Racket | 2 | 2,143 |
| 22FA-CSAS4117 | HTML | 2 | 287,121 |
| emacs | Emacs Lisp | 1 | 19,424 |