runtimeverification / plutus-core-semantics
☆27Updated 9 months ago
Alternatives and similar repositories for plutus-core-semantics:
Users that are interested in plutus-core-semantics are comparing it to the libraries listed below
- ☆41Updated this week
- A library for stateful property-based testing☆29Updated last month
- Formal specifications of the cardano ledger☆40Updated this week
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆16Updated last year
- A protolude-based custom prelude for the Cardano project☆16Updated 3 months ago
- ☆21Updated 7 years ago
- Language-generic workbench for building static analysis☆47Updated last year
- Plutarch 2.0☆20Updated 3 weeks ago
- This framework provides logging, benchmarking and monitoring.☆34Updated last month
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆41Updated this week
- Cardano API☆31Updated last week
- An untyped Plutus Core assembler☆35Updated 3 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 11 months ago
- ☆14Updated last year
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Symbolic framework☆17Updated this week
- Minimal reproducible nix flake templates☆17Updated last week
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- ☆16Updated 5 months ago
- Propositional Logic Apropos Types☆14Updated 2 years ago
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆50Updated this week
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Better testing for Plutus☆11Updated 2 years ago
- Metadata for Cardano's Haskell package repository☆34Updated this week
- Principled and efficient binary serialization☆61Updated 2 years ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Updated 6 months ago
- Unofficial PAB implementation☆21Updated last year
- nix scripts shared across projects☆62Updated last week
- Haskell bindings for the Botan cryptography library☆37Updated 3 months ago
- ☆44Updated 3 weeks ago