bienpulenta
Popular repositories Loading
-
cardano-ledger
cardano-ledger PublicForked from IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Haskell 1
-
formal-ledger-specifications
formal-ledger-specifications PublicForked from IntersectMBO/formal-ledger-specifications
Formal specifications of the cardano ledger
Agda
-
cardano-base
cardano-base PublicForked from IntersectMBO/cardano-base
Code used throughout the Cardano eco-system
Haskell
Repositories
- cardano-ledger Public Forked from IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
bienpulenta/cardano-ledger’s past year of commit activity - formal-ledger-specifications Public Forked from IntersectMBO/formal-ledger-specifications
Formal specifications of the cardano ledger
bienpulenta/formal-ledger-specifications’s past year of commit activity - cardano-base Public Forked from IntersectMBO/cardano-base
Code used throughout the Cardano eco-system
bienpulenta/cardano-base’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…