Repos by nomeata
nomeata / repos
145 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | haskell-via-sokoban | Haskell | 17 | 4,534 |
| motoko-certified-http | Modelica | 17 | 71 |
| lean-wf-induct | Lean | 17 | 180 |
| safe-docker | Perl | 15 | 3,838 |
| share-file | Python | 10 | 384,520 |
| ghc-core-smallstep | Haskell | 10 | 6,841 |
| hs-all-in-one | Haskell | 10 | 6,837 |
| free-theorems-static-webui | Haskell | 10 | 6,781 |
| codeworld-talk | Haskell | 9 | 7,387 |
| pybotbrain | PureScript | 8 | 772 |