Agda


Total Packages: 7

Popular Agda Packages See more »

agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 9 stars
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 2 stars
blagda
Please see the README on GitHub at https://github.com/isovector/blagda#readme
Latest release 0.1.0.1 - Updated - 9 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

New Agda Packages See more »

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
agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 9 stars

Updated Agda Packages See more »

agda-protocols
Shallow embedding of Protocols using Agda dependent types
Latest release 0.0.3 - Updated - 3 stars

Most Depended upon Agda Packages

agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 9 stars
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 2 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
agda-protocols
Shallow embedding of Protocols using Agda dependent types
Latest release 0.0.3 - Updated - 3 stars

Top Agda Licenses

BSD-3-Clause 5 projects

AGPL-3.0-only 1 project

Top Agda Package Managers

npm 5 projects

Hackage 1 project