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–5 of 5 · Most stars
Interactively browse dependency graphs of Nix derivations.
- nix
- dependency-graph
- hacktoberfest
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
A discord frontend for an interactive interpreter bot