Pinned Loading

1. pagda pagda Public

   A package manager for Agda, using Nix as a backend

   Haskell 6 1

2. input-output-hk/categorical-crypto input-output-hk/categorical-crypto Public

   A library for composable state machines and cryptography

   Agda 3 1

3. agda/agda-stdlib-meta agda/agda-stdlib-meta Public

   Meta-programming utilities for Agda.

   Agda 25 5

4. input-output-hk/agda-sets input-output-hk/agda-sets Public

   An abstract set theory library that can be instantiated in various ways

   Agda 6 3

5. meta-cedille meta-cedille Public

   Minimalistic dependent type theory with syntactic metaprogramming

   Agda 61

6. IntersectMBO/formal-ledger-specifications IntersectMBO/formal-ledger-specifications Public

   Formal specifications of the Cardano ledger

   Agda 52 20