Unit testing with resource estimation for Plutus
☆31Jan 8, 2025Updated last year
Alternatives and similar repositories for plutus-simple-model
Users that are interested in plutus-simple-model are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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…☆55Nov 24, 2024Updated last year
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 3 years ago
- Unofficial PAB implementation☆21May 5, 2023Updated 2 years ago
- Helper libraries for Plutus.☆49Aug 10, 2022Updated 3 years ago
- Better testing for Plutus☆11Nov 15, 2022Updated 3 years ago
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆133Mar 15, 2026Updated last week
- A helper library for working with compiled, parameterized Plutus Scripts☆19Mar 1, 2026Updated 3 weeks ago
- COOP - Cardano open oracle protocol☆21Mar 20, 2024Updated 2 years ago
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 2 years ago
- ☆15Mar 15, 2023Updated 3 years ago
- The smart contracts powering jpg.store☆15Jul 2, 2024Updated last year
- Advanced techniques in the plutus smart contract language☆199Sep 12, 2024Updated last year
- Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be u…☆49Jan 31, 2023Updated 3 years ago
- Hydrozoa: Lightweight multi-party state channels for Cardano☆17Updated this week
- Plutus Use Cases☆13Dec 8, 2022Updated 3 years ago
- ☆14Feb 21, 2024Updated 2 years ago
- ☆42Feb 28, 2026Updated 3 weeks ago
- ☆52Mar 12, 2026Updated last week
- A Purescript library for building smart contract transactions on Cardano☆93Feb 26, 2026Updated 3 weeks ago
- Cardano Data Node☆113Mar 13, 2026Updated last week
- A set of development tools for building on Cardano by creating a local devnet.☆65Mar 6, 2026Updated 2 weeks ago
- Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.☆15Feb 22, 2020Updated 6 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Mar 15, 2026Updated last week
- 🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.☆43Dec 4, 2025Updated 3 months ago
- Plutarch 2.0☆19Mar 31, 2025Updated 11 months ago
- Application backend for Plutus smart contracts on Cardano☆76Feb 3, 2026Updated last month
- Lucid is a library designed to simplify creating Cardano transactions and writing off-chain code for Plutus contracts.☆363Feb 4, 2026Updated last month
- account based model simplified and aerodynamic like a bullet☆23Mar 25, 2025Updated 11 months ago
- A simple wallet connector hook for Cardano☆16Jul 24, 2024Updated last year
- Cardano API☆40Updated this week
- Implementation experiments as part of the design process of Starstream VM☆39Updated this week
- Symbolic framework☆23Mar 16, 2026Updated last week
- Formal specifications of the Cardano ledger☆49Updated this week
- An optimizer for untyped plutus core☆41Jan 19, 2023Updated 3 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆15May 18, 2023Updated 2 years ago
- Plutus Starter Template☆44Dec 15, 2022Updated 3 years ago
- The plutus pioneer program repository from IOHK (21.3.2022)☆31Dec 2, 2025Updated 3 months ago
- A highly scalable, production-ready transaction builder and off-chain framework for dApps and devs on Cardano.☆91Jul 28, 2025Updated 7 months ago
- A modern smart contract platform for Cardano☆578Updated this week