Repos by ayberkt
ayberkt / repos
73 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | formal-topology-in-UF | CSS | 33 | 10,058 |
| sequents | Standard ML | 26 | 88 |
| grammar-inference | Haskell | 24 | 3,524 |
| simplc | Agda | 14 | 190 |
| sml-system-t | Standard ML | 11 | 195 |
| Mini-TT | Standard ML | 11 | 191 |
| pixs | Haskell | 10 | 6,766 |
| sml-system-f | Standard ML | 9 | 230 |
| abt | OCaml | 9 | 3,279 |
| chi | OCaml | 7 | 3,854 |