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☆176May 28, 2026Updated 2 months ago
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆50May 19, 2020Updated 6 years ago
- A protolude-based custom prelude for the Cardano project☆16Apr 30, 2026Updated 2 months ago
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆266Jun 11, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Python implementation of cardano project.☆34Sep 25, 2023Updated 2 years ago
- Backend solution powering the cardano-explorer. See disclaimer below.☆19Apr 3, 2020Updated 6 years ago
- An experimental implementation of a treasury system based on Scorex framework☆12Jan 17, 2020Updated 6 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 3 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,243Jul 22, 2026Updated last week
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Updated this week
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆42Sep 3, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Oct 12, 2018Updated 7 years ago
- problem: it's extremely difficult to keep up with everything happening within the Cardano ecosystem☆11Apr 25, 2019Updated 7 years ago
- NixOps deployment configuration for IOHK devops☆116Mar 5, 2020Updated 6 years ago
- Semantics for Cryptol☆15Apr 9, 2018Updated 8 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 3 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- privacy voting blockchain node☆367Updated this week
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆84Jun 11, 2022Updated 4 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.
- Haskell implementation of RSCoin☆50Mar 23, 2017Updated 9 years ago
- Official Wallet Backend & API for Cardano-SL☆21Feb 26, 2019Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆13Dec 18, 2022Updated 3 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 6 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
- Session types for asynchronous networking☆21Nov 19, 2015Updated 10 years ago
- Cryptographic currency implementing Ouroboros PoS protocol☆3,748Jul 30, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18May 13, 2026Updated 2 months ago
- Cardano node and Daedalus in Docker☆23Jun 28, 2018Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Library for invertible parsing and printing☆34Aug 25, 2025Updated 11 months ago
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Apr 11, 2021Updated 5 years ago
- Simulations for the Hydra protocol☆15Jan 26, 2024Updated 2 years ago
- `uhttpc` - µHTTP client library☆27May 29, 2019Updated 7 years ago