Repos by nomeata
nomeata / repos
145 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | ghcjs2gh-pages | Haskell | 24 | 3,485 |
| ic-http-lambda | Rust | 24 | 22,641 |
| haskell-bounds-bump-action | unknown | 24 | 84,686 |
| tasty-expected-failure | Haskell | 22 | 3,779 |
| ic-certification | Nix | 22 | 1,148 |
| lean-calcify | Lean | 22 | 153 |
| secp265k1-lookup-table | C | 21 | 48,681 |
| containers-verified | Haskell | 20 | 4,045 |
| capture-the-ic-token | Motoko | 19 | 35 |
| haskell-rec-def | Haskell | 19 | 4,167 |