agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 200 stars
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 stars
agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 8 stars
agda-protocols
Shallow embedding of Protocols using Agda dependent types
Latest release 0.0.3 - Updated - 3 stars
agda-explore
Big operators as exploration functions in Agda
Latest release 0.0.1 - Published - 3 stars
agda-libjs
JS bindings for Agda
Latest release 0.0.1 - Published
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search