runtimeverification / plutus-core-semantics
☆27Updated 2 months ago
Related projects: ⓘ
- ☆21Updated 6 years ago
- A protolude-based custom prelude for the Cardano project☆15Updated 3 months ago
- Formal specifications of the cardano ledger☆36Updated this week
- ☆39Updated last week
- This framework provides logging, benchmarking and monitoring.☆34Updated 3 weeks ago
- A library for stateful property-based testing☆27Updated 3 months ago
- Propositional Logic Apropos Types☆14Updated last year
- Language-generic workbench for building static analysis☆47Updated 11 months ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆14Updated last year
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆31Updated this week
- Plutarch 2.0☆19Updated 3 months ago
- An untyped Plutus Core assembler☆32Updated 2 years ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 2 years ago
- ☆24Updated this week
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 4 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Better testing for Plutus☆11Updated last year
- Flake Template for Haskell Projects☆16Updated this week
- This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Do…☆20Updated 4 months ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆37Updated 2 weeks ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆13Updated 5 years ago
- IPFS wrapper for Haskell☆43Updated last year
- Cardano API☆22Updated this week
- Nix tools for building Liqwid projects☆16Updated 8 months ago
- Unofficial PAB implementation☆21Updated last year
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- nix scripts shared across projects☆62Updated last month
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Issues and proposals related to the HF Stability Working Group☆26Updated this week
- ☆14Updated 6 months ago