Alternatives and similar repositories for smtlib-backends:

Users that are interested in smtlib-backends are comparing it to the libraries listed below

• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated last year
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆61Updated 10 months ago
• input-output-hk / nothunks
  ☆49Updated last month
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆82Updated last week
• keera-studios / haskell-titan
  Testing Infrastructure for Temporal AbstractioNs
  ☆23Updated 4 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆89Updated last month
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆42Updated 3 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆49Updated 3 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆24Updated last week
• haskell-perf / graphs
  ☆40Updated 5 years ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆36Updated this week
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆53Updated this week
• jonathanknowles / monoidmap
  Monoidal map type with support for semigroup and monoid subclasses.
  ☆19Updated this week
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆27Updated last month
• muesli4 / table-layout
  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
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 9 months ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆30Updated last year
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆42Updated this week
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 6 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 3 weeks ago
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆39Updated this week
• kazu-yamamoto / crypton
  lowlevel set of cryptographic primitives for haskell
  ☆28Updated last week
• haskell-cryptography / botan
  Haskell bindings for the Botan cryptography library
  ☆36Updated last month
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆91Updated 6 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 2 months ago