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:
- ☆21Updated 7 years ago
- ☆41Updated last month
- Formal specifications of the Cardano ledger☆45Updated this week
- A library for stateful property-based testing☆32Updated 2 months ago
- Language-generic workbench for building static analysis☆47Updated last year
- A protolude-based custom prelude for the Cardano project☆16Updated 2 weeks ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- An append only list in a compact region☆25Updated 7 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆45Updated 2 weeks ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Comprehensive framework to build network actors and distributed applications☆43Updated 6 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Language independent, reproducible, absolute types.☆22Updated 4 months ago
- generate haskell types for Squeal from a running postgresql database.☆27Updated this week
- IPFS wrapper for Haskell☆43Updated 2 years ago
- Fast base16 (hexadecimal) encoding and decoding for Haskell bytestrings.☆30Updated last year
- This framework provides logging, benchmarking and monitoring.☆34Updated 3 months ago
- Authenticated Data Structures☆16Updated 10 years ago
- Unofficial OpenAI Haskell Bindings☆53Updated last year
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Concurrency features for the Haskell machines package☆16Updated 3 years ago
- Futuristic New Age Golden Test management☆15Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Haskell bindings for the Botan cryptography library☆40Updated 3 weeks ago
- Type-safe time units in Haskell☆50Updated 7 months ago
- Extensible type-safe unions for Haskell☆34Updated 6 months ago
- Haskell to C compiler via Categorifier☆35Updated last year