Intersect MBO
Results
8
repositories owned by
Intersect MBO
plutus
1.5k
Stars
461
Forks
Watchers
The Plutus language implementation and tools
cardano-addresses
139
Stars
40
Forks
Watchers
Addresses and mnemonic manipulation & derivations
cardano-ledger
244
Stars
155
Forks
Watchers
The ledger implementation and specifications of the Cardano blockchain.
ouroboros-network
266
Stars
86
Forks
Watchers
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.
cardano-coin-selection
19
Stars
9
Forks
Watchers
A library of algorithms for coin selection and fee balancing.
ouroboros-consensus
27
Stars
20
Forks
Watchers
Implementation of a Consensus Layer for the Ouroboros family of protocols
cardano-haskell-packages
31
Stars
24
Forks
Watchers
Metadata for Cardano's Haskell package repository
formal-ledger-specifications
31
Stars
12
Forks
Watchers
Formal specifications of the cardano ledger