A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
☆18Oct 28, 2025Updated 4 months ago
Alternatives and similar repositories for smtlib-backends
Users that are interested in smtlib-backends are comparing it to the libraries listed below
Sorting:
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 2 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Faktory Worker for Haskell☆17Feb 20, 2026Updated last week
- 🏂🏻 Haskell based Retro board☆16Mar 25, 2022Updated 3 years ago
- Lightweight frontend library for GHC with JavaScript Backend☆18Dec 17, 2024Updated last year
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- ☆42Feb 20, 2026Updated last week
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Asynchronous and concurrent computations in Idris2☆25Feb 17, 2026Updated 2 weeks ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Jun 7, 2022Updated 3 years ago
- Compositional Representable Executable Machines☆122Nov 20, 2025Updated 3 months ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆35Feb 3, 2025Updated last year
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- ☆37Apr 14, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A library for stateful property-based testing☆34Jan 19, 2026Updated last month
- Lightweight and composable servers for Haskell☆67Feb 20, 2026Updated last week
- Visualise eventlog events as a static webpage☆72Jun 3, 2025Updated 9 months ago
- Servant servers utilities☆36Apr 30, 2024Updated last year
- ☆41Dec 27, 2025Updated 2 months ago
- Scarf Gateway is a universal redirect layer for any digital artifact or URL, anywhere online. Scarf Gateway acts much like a customizable…☆93Nov 15, 2025Updated 3 months ago
- Linear types in Scala☆46Feb 21, 2026Updated last week
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- Unofficial Temporal Haskell SDK☆44Updated this week
- Standalone client for proxies of Opera VPN. Android Wrapper☆34Updated this week
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Simple Telegram Bot written on FORTRAN for generating LaTeX pictures in private messages and inline mode☆10Jan 26, 2019Updated 7 years ago
- OpenTelemetry support for the Haskell programming language☆98Feb 19, 2026Updated last week
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆43Sep 1, 2025Updated 6 months ago
- High-reproducibility CWL runner powered by Guix☆21Jan 28, 2026Updated last month
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago
- ☆12Updated this week
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- OpenAPI 3.0 data model☆47May 17, 2025Updated 9 months ago
- ☆13Updated this week