| 🌟 | Name | Description | 🌍 |
|---|---|---|---|
| 8 | @konn/sdg-agda | Synthetic Differential Geometry in Agda | |
| 8 | @myuon/agda-cate | Category Theory in Agda | |
| 5 | @Fuuzetsu/agdoparsec | Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library. | |
| 5 | @kino3/PiMLTT | Formalization of "Programming in Martin-Löf's Type Theory". |