Agda


Total Packages: 7


Popular Agda Packages See more »

agda-mode
agda-mode on Atom
Latest release 0.9.7 - Updated - 47 stars
agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 201 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-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 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 - 8 stars

Updated Agda Packages See more »

agda-mode
agda-mode on Atom
Latest release 0.9.7 - Updated - 47 stars
agda-protocols
Shallow embedding of Protocols using Agda dependent types
Latest release 0.0.3 - Updated - 3 stars
agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 201 stars

Most Used Agda Packages

agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 8 stars
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 stars

Most Depended upon Agda Packages

agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 8 stars
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 stars

Top Agda Licenses

BSD-3-Clause 5 projects

MIT 2 projects

Top Agda Package Managers

npm 6 projects

Atom 1 project

Top Agda Keywords

agda 7 projects

library 5 projects

agda-mode 1 project

atom 1 project

big-operators 1 project

deriving 1 project

fold 1 project

foldable 1 project

parametricity 1 project

proof 1 project