Popular repositories Loading

1. TrustChainPaper TrustChainPaper Public

   TeX 1

2. cabal cabal Public

   Forked from haskell/cabal

   Official upstream development repository for Cabal and cabal-install

   Haskell

3. daedalus daedalus Public

   Forked from GaloisInc/daedalus

   The Daedalus data description language

   Haskell

4. ouroboros-network ouroboros-network Public

   Forked from IntersectMBO/ouroboros-network

   An implementation of the Ouroboros family of consensus algorithms, with its networking support

   Haskell

5. cardano-node cardano-node Public

   Forked from IntersectMBO/cardano-node

   The core component that is used to participate in a Cardano decentralised blockchain.

   Haskell

6. ouroboros-consensus ouroboros-consensus Public

   Forked from IntersectMBO/ouroboros-consensus

   Implementation of a Consensus Layer for the Ouroboros family of protocols

   Haskell