input-output-hk / high-assurance-legacyView external linksLinks
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
Sorting:
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆50May 19, 2020Updated 5 years ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆177Dec 25, 2025Updated last month
- An experimental implementation of a treasury system based on Scorex framework☆13Jan 17, 2020Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆265Jun 11, 2022Updated 3 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated 8 months ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Jan 16, 2026Updated last month
- Session types for asynchronous networking☆21Nov 19, 2015Updated 10 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- The open source cryptocurrency wallet for ada, built to grow with the community☆1,246Dec 10, 2025Updated 2 months ago
- A minimalistic blockchain consensus implemented and verified in Coq☆114Apr 13, 2020Updated 5 years ago
- NixOps deployment configuration for IOHK devops☆117Mar 5, 2020Updated 5 years ago
- Cardano Settlement Layer Documentation☆35Feb 29, 2020Updated 5 years ago
- Backend solution powering the cardano-explorer. See disclaimer below.☆19Apr 3, 2020Updated 5 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 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
- Python implementation of cardano project.☆34Sep 25, 2023Updated 2 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- ☆21Feb 21, 2018Updated 7 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆42Sep 3, 2018Updated 7 years ago
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Oct 22, 2025Updated 3 months ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 5 months ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- tickdream rust event - Async IO similar to libevent☆11May 13, 2022Updated 3 years ago
- ☆23Apr 23, 2021Updated 4 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- React components with highly customizable logic, markup and styles.☆80Mar 1, 2023Updated 2 years ago