Statebox

Pinned Loading

1. idris-ct idris-ct Public

   formally verified category theory library

   Idris 273 26

2. idris-multibase idris-multibase Public

   Self-identifying base encodings in Idris

   Idris 6 1

3. idris-multihash idris-multihash Public

   Multihash for Idris

   Idris 9 1