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
- A library for stateful property-based testing☆29Updated 3 weeks ago
- ☆40Updated this week
- A protolude-based custom prelude for the Cardano project☆16Updated 2 months ago
- ☆21Updated 7 years ago
- Language-generic workbench for building static analysis☆47Updated last year
- This framework provides logging, benchmarking and monitoring.☆34Updated 3 weeks ago
- Plutarch 2.0☆20Updated 9 months ago
- ☆16Updated 5 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 10 months ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 3 years ago
- Haskell bindings for the Botan cryptography library☆36Updated 2 months ago
- Formal specifications of the cardano ledger☆40Updated this week
- Propositional Logic Apropos Types☆14Updated 2 years ago
- ☆14Updated last year
- An untyped Plutus Core assembler☆35Updated 3 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆15Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆39Updated 3 weeks ago
- Better testing for Plutus☆11Updated 2 years ago
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated 4 months ago
- join and meet semilattices, lower and upper bounds.☆43Updated 5 months ago
- nix scripts shared across projects☆62Updated this week
- Language independent, reproducible, absolute types.☆22Updated 8 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆44Updated this week
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆48Updated this week
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago
- Haskell to C compiler via Categorifier☆32Updated last year
- Functor-parametric containers☆19Updated 2 months ago