runtimeverification / haskell-backend
The symbolic execution engine powering the K Framework
☆218Updated this week
Alternatives and similar repositories for haskell-backend
Users that are interested in haskell-backend are comparing it to the libraries listed below
Sorting:
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆254Updated this week
- Fake dependent types in Haskell using singletons☆290Updated last month
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Randomized Property-Based Testing Plugin for Coq☆264Updated this week
- Software Transactional Memory☆105Updated 6 months ago
- A language experiment -- irc.freenode.net ##coda☆162Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 8 months ago
- Standard library for linear types in Haskell.☆343Updated last month
- Embedded specification language & model checker in Haskell☆173Updated 3 weeks ago
- Generalized bananas, lenses and barbed wire☆346Updated 5 months ago
- Test monadic programs using state machine based models☆203Updated 4 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- Horn Clause Constraint Solving for Liquid Types☆145Updated 3 weeks ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆209Updated 3 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 7 years ago
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆264Updated 7 years ago
- Compiling to Categories☆450Updated last year
- Programming library for Agda☆128Updated 8 months ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A function definition package for Coq☆230Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 4 months ago
- Symbolic formula representation and solver interaction library☆160Updated last month
- Spartan type theory☆266Updated 11 months ago
- Optics as an abstract interface☆384Updated 3 weeks ago
- Add ACID guarantees to any serializable Haskell data structure☆302Updated 2 months ago
- Extensional capabilities and deriving combinators☆216Updated 10 months ago
- CQL: Categorical Query Language implementation in Haskell☆170Updated 2 years ago