Repos by Lysxia
Lysxia / repos
64 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | generic-data-surgery | Haskell | 24 | 3,416 |
| coq-ceres | Coq | 17 | 302 |
| gradual-eff-paper | TeX | 17 | 4,682 |
| unparse-attoparsec | Haskell | 16 | 4,729 |
| quickcheck-higherorder | Haskell | 16 | 4,693 |
| hashislife | C | 10 | 79,919 |
| bluefin-algae | Haskell | 10 | 6,482 |
| show-combinators | Haskell | 9 | 7,280 |
| boltzmann-samplers | Haskell | 9 | 7,231 |
| roll-your-own-irc-bot | Haskell | 9 | 7,182 |