Repos by Meowcolm024
Meowcolm024 / repos
62 repos
| Repo | Language | Stars | Rank |  | YoRHa-Manic | Python | 1 | 2,639,686 |
| MCTestMod | Java | 1 | 1,316,066 |
| strategy-sim | Java | 1 | 1,261,006 |
| sf | Coq | 1 | 2,002 |
| bfcpp | C++ | 1 | 698,922 |
| scmpy | Haskell | 1 | 32,390 |
| scheme-hs | Haskell | 1 | 32,209 |
| Kotoba | Haskell | 1 | 31,810 |
| naive-proof | Racket | 1 | 3,393 |
| kasou | unknown | 1 | 2,000,975 |
