Pinned

1. raaz raaz Public

   Cryptographic library for Haskell

   Haskell 67 24

2. verse-coq verse-coq Public

   VERified asSembler for cryptographic primitives

   Coq 12 5

3. libverse libverse Public

   The low level crypto library generated using the Verse eDSL.

   C 4 1

4. docker-haskell-ci docker-haskell-ci Public

   Abandoned: Dockerfile for a Haskell CI environment

   Dockerfile