tweag / smtlib-backends
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
☆19Updated last month
Alternatives and similar repositories for smtlib-backends:
Users that are interested in smtlib-backends are comparing it to the libraries listed below
- Language-generic workbench for building static analysis☆47Updated last year
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated last year
- Moved to Haskell.org GitLab.☆61Updated 10 months ago
- ☆49Updated last month
- Fast equality saturation in Haskell☆82Updated last week
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 4 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆89Updated last month
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 3 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated 3 months ago
- Reimplementation of a subset of Cabal☆24Updated last week
- ☆40Updated 5 years ago
- Automatically generate Haskell bindings from C header files☆36Updated this week
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Get your IO right on the first try☆53Updated this week
- Monoidal map type with support for semigroup and monoid subclasses.☆19Updated this week
- A special-purpose processor for pure, non-strict functional languages☆27Updated last month
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 7 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 9 months ago
- A modern Haskell debugger☆30Updated last year
- Generic functions for single-sorted first-order structural unification☆42Updated this week
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 6 months ago
- Fine-grained lattice primitives for Haskell☆36Updated 3 weeks ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆39Updated this week
- lowlevel set of cryptographic primitives for haskell☆28Updated last week
- Haskell bindings for the Botan cryptography library☆36Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 6 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago