runtimeverification / plutus-core-semanticsLinks
☆27Updated 11 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
Sorting:
- A library for stateful property-based testing☆30Updated 2 months ago
- ☆41Updated last week
- ☆21Updated 7 years ago
- Formal specifications of the cardano ledger☆41Updated this week
- This framework provides logging, benchmarking and monitoring.☆34Updated this week
- A protolude-based custom prelude for the Cardano project☆16Updated 4 months ago
- Plutarch 2.0☆20Updated 2 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- Language-generic workbench for building static analysis☆47Updated last year
- Propositional Logic Apropos Types☆14Updated 2 years ago
- IPFS wrapper for Haskell☆43Updated 2 years ago
- ☆16Updated 7 months ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- An untyped Plutus Core assembler☆35Updated 3 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Better testing for Plutus☆11Updated 2 years ago
- Haskell bindings for secp256k1 library☆24Updated 3 weeks ago
- Comprehensive framework to build network actors and distributed applications☆43Updated 6 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Updated 3 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 4 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- A code generation tool for purescript-web3☆22Updated 5 months ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆16Updated 2 years ago
- Explorer of cardano-sl☆10Updated 2 years ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 3 years ago
- Inspecting tool for GHC compilation pipeline☆33Updated last year
- Haskell bindings for the Botan cryptography library☆37Updated 4 months ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago