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:
- ☆41Updated 2 weeks ago
- Formal specifications of the Cardano ledger☆44Updated this week
- A library for stateful property-based testing☆31Updated last month
- A protolude-based custom prelude for the Cardano project☆16Updated 2 weeks ago
- This framework provides logging, benchmarking and monitoring.☆34Updated 2 months ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- ☆21Updated 7 years ago
- Symbolic framework☆21Updated this week
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆44Updated last week
- Unpacked containers using backpack☆52Updated 5 years ago
- ☆44Updated 5 months ago
- IPFS wrapper for Haskell☆43Updated 2 years ago
- Language-generic workbench for building static analysis☆47Updated last year
- An append only list in a compact region☆25Updated 6 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Provide embedded swagger UI for servant and swagger☆48Updated 2 weeks ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 6 months ago
- generate haskell types for Squeal from a running postgresql database.☆27Updated 4 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated last week
- Haskell bindings for the Botan cryptography library☆40Updated this week
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Plutarch 2.0☆20Updated 5 months ago
- Shamir Secret Sharing☆21Updated 5 years ago
- ☆45Updated 3 years ago
- Golden test support for Tasty☆40Updated 9 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆75Updated 8 months ago
- mtl friendly exceptions☆52Updated 2 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago