tweag / smtlib-backends
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
☆17Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for smtlib-backends
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated last week
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 5 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 2 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆38Updated this week
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Language-generic workbench for building static analysis☆47Updated last year
- ☆22Updated 10 months ago
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last month
- Moved to Haskell.org GitLab.☆62Updated 6 months ago
- Bindings to libsodium for Haskell☆31Updated 2 weeks ago
- Resources to look at in concert with my Haskell videos☆15Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- todo and unimplemented, robustly implemented☆33Updated 2 months ago
- Testing Infrastructure for Temporal AbstractioNs☆22Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 3 weeks ago
- ☆33Updated 6 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆42Updated 4 months ago
- A handy user guide for the Cabal build tool☆28Updated 3 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week