Popular repositories

1. crypto-agda crypto-agda Public

   Forked from np/crypto-agda

   Cryptographic Constructions in the Type Theory of Agda

   Agda 52 5

2. agda-nplib agda-nplib Public

   Proposed extensions to Agda standard's library

   Agda 9 3

3. explore explore Public

   Big operators as exploration functions in Agda

   Agda 3

4. protocols protocols Public

   Shallow embedding of Protocols using Agda dependent types

   Agda 3 1

5. agda-tactics agda-tactics Public

   Forked from xplat/agda-tactics

   Reflective proof tactics and metaprogramming for Agda.

   1

6. crypto-agda.github.io crypto-agda.github.io Public