Repos by Taneb
Taneb / repos
51 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | Categories | Agda | 0 | - |
| nix-overlays | Nix | 0 | - |
| metamath | Objective-C++ | 0 | - |
| aoc2019 | Haskell | 0 | - |
| suma | Haskell | 0 | - |
| agda-numbertheory | Agda | 0 | - |
| lenstalk | Jupyter Notebook | 0 | - |
| matrices | Agda | 0 | - |
| reals | Agda | 0 | - |
| aoc2021 | Haskell | 0 | - |