Alternatives and similar repositories for smtlib-backends

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

• idris-community / idris2-http
  a http(s) client in idris
  ☆27Updated 5 months ago
• input-output-hk / nothunks
  ☆49Updated last month
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated 2 months ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last month
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 4 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆99Updated 3 weeks ago
• well-typed / ghc-debugger
  WIP: A modern step-through debugger for GHC Haskell
  ☆20Updated 2 weeks ago
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆72Updated this week
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 3 months ago
• kazu-yamamoto / crypton
  lowlevel set of cryptographic primitives for haskell
  ☆32Updated 2 months ago
• stoeffel / haskell-simple-dsl-examples
  Simple examples on how to implement a DSL in Haskell.
  ☆19Updated 5 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆24Updated 3 weeks ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 2 months ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• haskell-works / hw-xml
  ☆15Updated last year
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated this week
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• keera-studios / haskell-titan
  Testing Infrastructure for Temporal AbstractioNs
  ☆23Updated 4 years ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated last year
• haskell-actions / run-ormolu
  Ormolu GitHub action
  ☆31Updated 4 months ago
• frex-project / haskell-frex
  ☆23Updated last year
• agra-uni-bremen / libriscv
  Extensible implementation of the RISC-V ISA based on FreeMonads
  ☆13Updated 10 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆27Updated 2 months ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated last month
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated last week
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated last year