Pinned Loading

1. IntersectMBO/ouroboros-network IntersectMBO/ouroboros-network Public

   Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

   Haskell 286 89

2. input-output-hk/cardano-sl input-output-hk/cardano-sl Public archive

   Cryptographic currency implementing Ouroboros PoS protocol

   Haskell 3.8k 630

3. haskell-beam/beam haskell-beam/beam Public

   A type-safe, non-TH Haskell SQL library and ORM

   Haskell 604 182

4. advancedtelematic/quickcheck-state-machine advancedtelematic/quickcheck-state-machine Public archive

   Test monadic programs using state machine based models

   Haskell 204 26

5. well-typed/visualize-cbn well-typed/visualize-cbn Public

   Haskell 99 9

6. input-output-hk/cardano-wallet-legacy input-output-hk/cardano-wallet-legacy Public archive

   Official Wallet Backend & API for Cardano-SL

   Haskell 21 12