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 2 years ago
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated last year
• keera-studios / haskell-titan
  Testing Infrastructure for Temporal AbstractioNs
  ☆23Updated 4 years ago
• kazu-yamamoto / crypton
  lowlevel set of cryptographic primitives for haskell
  ☆35Updated last month
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• idris-community / idris2-http
  a http(s) client in idris
  ☆28Updated 7 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆102Updated last week
• stoeffel / haskell-simple-dsl-examples
  Simple examples on how to implement a DSL in Haskell.
  ☆19Updated 5 years ago
• simonpj / gadts-meet-their-match
  The paper "GADTs meet their match" and related materials
  ☆10Updated 6 years ago
• frex-project / idris-frex
  ☆48Updated last month
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 6 months ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 8 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated 3 weeks ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 weeks ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆51Updated 3 weeks ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆25Updated 2 months ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• input-output-hk / nothunks
  ☆49Updated 3 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated this week
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆61Updated last month
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆41Updated last week
• IntersectMBO / lsm-tree
  A Haskell library for on-disk tables based on LSM-Trees
  ☆44Updated this week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆58Updated last week
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• agra-uni-bremen / libriscv
  Extensible implementation of the RISC-V ISA based on FreeMonads
  ☆15Updated last year