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 293 105

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

   Cryptographic currency implementing Ouroboros PoS protocol

   Haskell 3.7k 615

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

   A type-safe Haskell SQL library

   Haskell 633 192

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

   Test monadic programs using state machine based models

   Haskell 205 27

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

   Haskell 99 11

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

   Official Wallet Backend & API for Cardano-SL

   Haskell 21 8