Agda is a dependently typed programming language / interactive theorem prover.
📊 Project Info
- Language
- Haskell
- Stars
- ⭐ 2,862
- Forks
- 413
- Today
- +1
- Ranking
- #6
- Collection
- Language
- Trending Date
- June 2, 2026
- Last Push
- 5/31/2026
🏷️ Topics
agdadependent-typesprogramming-languageproof-assistanttype-theory