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☆174May 28, 2026Updated 4 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☆16Updated this week
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Jun 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python implementation of cardano project.☆34Sep 25, 2023Updated 3 years ago
- Backend solution powering the cardano-explorer. See disclaimer below.☆18Apr 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,247Updated this 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 8 years ago
- AI Agents on 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.
- 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☆115Mar 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☆367Sep 20, 2026Updated last week
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆84Jun 11, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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…☆297Updated 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,744Jul 30, 2020Updated 6 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.
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last week
- 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 last year
- 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