Pinned Loading

1. IntersectMBO/ouroboros-consensus IntersectMBO/ouroboros-consensus Public

   Implementation of a Consensus Layer for the Ouroboros family of protocols

   Haskell 57 32

2. runtimeverification/haskell-backend runtimeverification/haskell-backend Public

   The symbolic execution engine powering the K Framework

   Haskell 223 44

3. tuura/selective-theory-coq tuura/selective-theory-coq Public

   Selective applicative functors laws and theorems

   Coq 14