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:
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆175Dec 25, 2025Updated 3 months ago
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆50May 19, 2020Updated 5 years ago
- A protolude-based custom prelude for the Cardano project☆16Feb 20, 2026Updated last month
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆265Jun 11, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Python implementation of cardano project.☆34Sep 25, 2023Updated 2 years ago
- Backend solution powering the cardano-explorer. See disclaimer below.☆19Apr 3, 2020Updated 5 years ago
- An experimental implementation of a treasury system based on Scorex framework☆13Jan 17, 2020Updated 6 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 2 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,242Dec 10, 2025Updated 3 months ago
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Oct 22, 2025Updated 5 months ago
- Official Wallet Backend & API for Cardano-SL☆21Feb 26, 2019Updated 7 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Oct 12, 2018Updated 7 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆42Sep 3, 2018Updated 7 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- NixOps deployment configuration for IOHK devops☆116Mar 5, 2020Updated 6 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- problem: it's extremely difficult to keep up with everything happening within the Cardano ecosystem☆11Apr 25, 2019Updated 6 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆84Jun 11, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Haskell implementation of RSCoin☆49Mar 23, 2017Updated 9 years ago
- privacy voting blockchain node☆369Mar 22, 2026Updated last week
- ☆13Dec 18, 2022Updated 3 years ago
- Session types for asynchronous networking☆21Nov 19, 2015Updated 10 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆293Updated this week
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- This paper aims to offer a collection of the most popular blockchain scalability solutions. The main goal is to give a fundamental unders…☆15Oct 26, 2018Updated 7 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Mar 20, 2026Updated last week
- Cryptographic currency implementing Ouroboros PoS protocol☆3,773Jul 30, 2020Updated 5 years ago
- Cardano node and Daedalus in Docker☆23Jun 28, 2018Updated 7 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated 9 months ago
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Apr 11, 2021Updated 4 years ago
- Simulations for the Hydra protocol☆15Jan 26, 2024Updated 2 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Apr 13, 2020Updated 5 years ago