Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Repository Index
71,372 visible repositories in the index
1–2 of 2 · Most stars
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game