A GitHub action for publishing packages on Hackage

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Hackager tool for releasing Haskell packages to Hackage

Bit vectors: 8x less memory, up to 3500x faster than Vector Bool

A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

A monad for interfacing with external SMT solvers

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

The Yices SMT Solver

Haskell Wavefront OBJ loader library

SMTLib2 interface implementation for Haskell