tweag / smtlib-backendsLinks
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
☆18Updated 3 months ago
Alternatives and similar repositories for smtlib-backends
Users that are interested in smtlib-backends are comparing it to the libraries listed below
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆69Updated this week
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- lowlevel set of cryptographic primitives for haskell☆37Updated 2 weeks ago
- ☆32Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Named parameters (keyword arguments) for Haskell☆98Updated 10 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 7 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 3 weeks ago
- Type Your Matrices For Great Good☆29Updated 5 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated last year
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 5 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆52Updated last week
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Source material for Certainty by Construction☆48Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated 3 weeks ago
- Free Algebras in Haskell☆38Updated last year
- Haskell to C compiler via Categorifier☆39Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated 2 weeks ago
- 💫 A curated list of awesome resources for the Haskell Cabal build tool.☆122Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated 3 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- Fast equality saturation in Haskell☆95Updated 2 weeks ago
- Simple adjunctions☆45Updated last month
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 5 months ago
- Language-generic workbench for building static analysis☆46Updated 2 years ago
- Eventually a practical 2-level TT-based compiler☆31Updated last week
- Sturdy is a library for developing sound static analyses in Haskell.☆62Updated 2 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Updated 3 years ago