Repos by noti0na1
noti0na1 / repos
13 repos
| Repo | Language | Stars | Rank | | socc | OCaml | 86 | 433 |
| LambdaCalculus-java | Java | 19 | 78,817 |
| Kripke-Models | Racket | 6 | 1,046 |
| GADTFormat | OCaml | 5 | 4,843 |
| Faux-Racket | Haskell | 4 | 13,480 |
| CodeTranslator | Haskell | 2 | 22,359 |
| Racket-Codes | Racket | 2 | 2,344 |
| HFSN | Java | 2 | 531,005 |
| clojure-learn | Clojure | 1 | 24,229 |
| TranslationPendant | Java | 1 | 1,320,577 |