input-output-hk / hydra-simLinks
Simulations for the Hydra protocol
☆15Updated last year
Alternatives and similar repositories for hydra-sim
Users that are interested in hydra-sim are comparing it to the libraries listed below
Sorting:
- ☆76Updated 2 years ago
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 5 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆16Updated 2 years ago
- This framework provides logging, benchmarking and monitoring.☆35Updated 5 months ago
- Code used throughout the Cardano eco-system☆102Updated this week
- A library of algorithms for coin selection and fee balancing.☆19Updated last year
- Metadata for Cardano's Haskell package repository☆36Updated this week
- A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…☆55Updated 11 months ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated last year
- Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be u…☆49Updated 2 years ago
- Helper libraries for Plutus.☆49Updated 3 years ago
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆30Updated 3 weeks ago
- Addresses and mnemonic manipulation & derivations☆160Updated 2 weeks ago
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Updated last year
- Helper Scripts For Cardano Plutus☆10Updated 4 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆289Updated this week
- ☆42Updated this week
- Top level repository for building the Cardano Haskell node and related components and dependencies.☆23Updated 2 years ago
- Smart contracts and specification of the AMM protocol on top of the Cardano blockchain☆36Updated 2 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆70Updated 4 years ago
- ☆14Updated last year
- Governance modules for Cardano protocols☆53Updated last year
- An untyped Plutus Core assembler☆34Updated 3 years ago
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆57Updated last week
- Unit testing with resource estimation for Plutus☆31Updated 10 months ago
- An optimizer for untyped plutus core☆42Updated 2 years ago
- Plutus Use Cases☆66Updated 3 years ago
- Formal specifications of the Cardano ledger☆49Updated this week
- COOP - Cardano open oracle protocol☆21Updated last year
- Cardano API☆39Updated this week