Alternatives and similar repositories for smtlib-backends:

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

• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated last year
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• keera-studios / haskell-titan
  Testing Infrastructure for Temporal AbstractioNs
  ☆23Updated 4 years ago
• well-typed / ghc-debugger
  WIP: A modern step-through debugger for GHC Haskell
  ☆18Updated this week
• haskell-perf / graphs
  ☆40Updated 5 years ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆24Updated last week
• simonpj / gadts-meet-their-match
  The paper "GADTs meet their match" and related materials
  ☆10Updated 5 years ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated last month
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 3 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆43Updated 3 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆71Updated 4 months ago
• gallais / agda-nbe
  Formalizing nbe in agda
  ☆30Updated 12 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 5 months ago
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆61Updated 11 months ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆23Updated 2 weeks ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 11 months ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• kazu-yamamoto / crypton
  lowlevel set of cryptographic primitives for haskell
  ☆30Updated 3 weeks ago
• frex-project / idris-frex
  ☆47Updated 5 months ago
• stoeffel / haskell-simple-dsl-examples
  Simple examples on how to implement a DSL in Haskell.
  ☆19Updated 5 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 months ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆55Updated 2 weeks ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated last month