Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
☆79Feb 4, 2022Updated 4 years ago
Alternatives and similar repositories for high-assurance-legacy
Users that are interested in high-assurance-legacy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆130Jul 20, 2023Updated 3 years ago
- A protolude-based custom prelude for the Cardano project☆16Sep 23, 2026Updated last month
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆50May 19, 2020Updated 6 years ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆174May 28, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Sep 23, 2026Updated last month
- Backend solution powering the cardano-explorer. See disclaimer below.☆18Apr 3, 2020Updated 6 years ago
- Python implementation of cardano project.☆34Sep 25, 2023Updated 3 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Jun 11, 2022Updated 4 years ago
- Cardano Settlement Layer Documentation☆35Feb 29, 2020Updated 6 years ago
- The open source cryptocurrency wallet for ada, built to grow with the community☆1,247Updated this week
- An experimental implementation of a treasury system based on Scorex framework☆12Jan 17, 2020Updated 6 years ago
- ERC20 in K☆49Apr 25, 2019Updated 7 years ago
- Official Wallet Backend & API for Cardano-SL☆21Feb 26, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- chain-libs javascript SDK☆18Nov 10, 2022Updated 3 years ago
- Haskell implementation of RSCoin☆50Mar 23, 2017Updated 9 years ago
- Cryptographic currency implementing Ouroboros PoS protocol☆3,744Jul 30, 2020Updated 6 years ago
- Simulations for the Hydra protocol☆15Jan 26, 2024Updated 2 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆297Updated this week
- NixOps deployment configuration for IOHK devops☆115Mar 5, 2020Updated 6 years ago
- Makefile DSL☆12Apr 3, 2018Updated 8 years ago
- privacy voting blockchain node☆368Nov 1, 2026Updated last week
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Semantics for Cryptol☆16Apr 9, 2018Updated 8 years ago
- problem: it's extremely difficult to keep up with everything happening within the Cardano ecosystem☆11Apr 25, 2019Updated 7 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆42Sep 3, 2018Updated 8 years ago
- React components with highly customizable logic, markup and styles.☆80Mar 1, 2023Updated 3 years ago
- Library for invertible parsing and printing☆34Aug 25, 2025Updated last year
- The Plutus language implementation and tools☆1,633Updated this week
- ☆13Dec 18, 2022Updated 3 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Oct 12, 2018Updated 8 years ago
- New Yoroi data-importer (replacement for the `project-icarus-importer`)☆16Jul 18, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆84Jun 11, 2022Updated 4 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 6 years ago
- Code used throughout the Cardano eco-system☆106Oct 28, 2026Updated last week
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago
- jormungandr QA☆15Mar 6, 2023Updated 3 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month