input-output-hk / ouroboros-leios
Documentation and tools relating to the design and prototyping of Ouroboros Leios
☆16Updated this week
Alternatives and similar repositories for ouroboros-leios:
Users that are interested in ouroboros-leios are comparing it to the libraries listed below
- Application backend for Plutus smart contracts on Cardano☆69Updated this week
- Unit testing with resource estimation for Plutus☆30Updated 3 months ago
- An optimizer for untyped plutus core☆42Updated 2 years ago
- ☆40Updated this week
- An open-source library for Cardano developers using Hydra (Head)☆38Updated last year
- Metadata for Cardano's Haskell package repository☆34Updated this week
- Cardano API☆31Updated this week
- PoC for stablecoin with freeze and seize functionalities☆14Updated 3 weeks ago
- An untyped Plutus Core assembler☆35Updated 3 years ago
- A monorepo for Liqwid Labs plutarch libraries.☆16Updated 7 months ago
- ☆44Updated 2 weeks ago
- Haskell SDK for Blockfrost.io☆28Updated last 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…☆56Updated 4 months ago
- Nix tools for building Liqwid projects☆16Updated last year
- Helper libraries for Plutus.☆49Updated 2 years ago
- A browser-based Cardano wallet for developers & testers☆12Updated 8 months ago
- Elm offchain package for Cardano☆20Updated this week
- Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build s…☆10Updated last year
- ☆14Updated 2 years ago
- A unified framework for Cardano Smart Contract testing and benchmarking m☆21Updated last month
- A Purescript library for building smart contract transactions on Cardano☆93Updated last week
- Unofficial PAB implementation☆21Updated last year
- Governance modules for Cardano protocols☆54Updated 7 months ago
- ☆23Updated last year
- 🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.☆37Updated 3 months ago
- Plutus Experience Modules☆23Updated 3 weeks ago
- A library of specialized Aiken functions for smart contracts on Cardano.☆17Updated this week
- Formal specifications of the cardano ledger☆40Updated this week
- account based model simplified and aerodynamic like a bullet☆17Updated 3 weeks ago
- Blueprints, specifications and documentation on how to build Cardano.☆14Updated 2 weeks ago