Repos by Taneb
Taneb / repos
51 repos
| Repo | Language | Stars | Rank | ![Taneb/groups on Github](/img/github-icon.png) | groups | Haskell | 9 | 7,342 |
![Taneb/family-tree on Github](/img/github-icon.png) | family-tree | Haskell | 8 | 8,309 |
![Taneb/project-euler on Github](/img/github-icon.png) | project-euler | Agda | 6 | 384 |
![Taneb/spriggan on Github](/img/github-icon.png) | spriggan | Haskell | 4 | 14,318 |
![Taneb/net on Github](/img/github-icon.png) | net | Haskell | 4 | 13,439 |
![Taneb/hs-dcpu on Github](/img/github-icon.png) | hs-dcpu | Haskell | 2 | 25,229 |
![Taneb/Wordeger on Github](/img/github-icon.png) | Wordeger | Haskell | 2 | 24,948 |
![Taneb/Dominus on Github](/img/github-icon.png) | Dominus | Python | 2 | 1,282,125 |
![Taneb/countdown on Github](/img/github-icon.png) | countdown | Haskell | 2 | 24,288 |
![Taneb/acme-onecheck on Github](/img/github-icon.png) | acme-onecheck | Haskell | 2 | 24,103 |