runtimeverification / haskell-backend
The symbolic execution engine powering the K Framework
☆214Updated this week
Alternatives and similar repositories for haskell-backend:
Users that are interested in haskell-backend are comparing it to the libraries listed below
- Horn Clause Constraint Solving for Liquid Types☆141Updated this week
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- Fake dependent types in Haskell using singletons☆288Updated this week
- Randomized Property-Based Testing Plugin for Coq☆260Updated this week
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Embedded specification language & model checker in Haskell☆174Updated 2 years ago
- Software Transactional Memory☆102Updated 2 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆259Updated 4 months ago
- GRIN backend for GHC☆144Updated 3 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆249Updated this week
- A language experiment -- irc.freenode.net ##coda☆162Updated 9 months ago
- Examples for Haskell bindings to LLVM☆71Updated 3 years ago
- A function definition package for Coq☆226Updated last month
- Assorted concrete container types☆323Updated this week
- Convert Haskell source code to Coq source code.☆81Updated 4 months ago
- Standard library for linear types in Haskell.☆338Updated 2 months ago
- CQL: Categorical Query Language implementation in Haskell☆164Updated last year
- An implementation of Pie in Haskell☆204Updated 5 years ago
- Implementation of cryptographic primitives using Idris☆120Updated 6 years ago
- a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features☆119Updated 6 years ago
- Generalized bananas, lenses and barbed wire☆342Updated last month
- Compiling Agda code to readable Haskell☆182Updated this week
- A modern, extensible and well-documented prettyprinter.☆297Updated 2 months ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆204Updated 2 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Extensional capabilities and deriving combinators☆215Updated 6 months ago
- Symbolic formula representation and solver interaction library☆156Updated 3 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated this week
- ☆120Updated 2 years ago
- Test monadic programs using state machine based models☆202Updated 3 years ago