runtimeverification / plutus-core-semanticsLinks
☆27Updated last year
Alternatives and similar repositories for plutus-core-semantics
Users that are interested in plutus-core-semantics are comparing it to the libraries listed below
Sorting:
- This framework provides logging, benchmarking and monitoring.☆34Updated 3 weeks ago
- A protolude-based custom prelude for the Cardano project☆16Updated 5 months ago
- ☆41Updated last week
- A library for stateful property-based testing☆30Updated 3 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- Formal specifications of the cardano ledger☆41Updated this week
- ☆21Updated 7 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- An untyped Plutus Core assembler☆35Updated 3 years ago
- Plutarch 2.0☆20Updated 2 months ago
- Language-generic workbench for building static analysis☆47Updated last year
- ☆16Updated 7 months ago
- Haskell bindings for secp256k1 library☆24Updated last month
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- IPFS wrapper for Haskell☆43Updated 2 years ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 3 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Language independent, reproducible, absolute types.☆22Updated last month
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆16Updated 2 years ago
- Create environments with GHC HEAD artefacts☆27Updated last year
- Better testing for Plutus☆11Updated 2 years ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- Inspecting tool for GHC compilation pipeline☆34Updated last year
- Futuristic New Age Golden Test management☆15Updated 2 years ago
- Comprehensive framework to build network actors and distributed applications☆43Updated 6 years ago
- ☆14Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆41Updated 2 weeks ago
- Simple Structured logger☆14Updated 2 weeks ago