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

GitHub action for executing scripts via nix-shell.

A gazelle extension to produce Haskell rules from cabal files

Liquid Types For Haskell

Designing, programming and deploying, in style.

A library to profile time in a Haskell program

Horn Clause Constraint Solving for Liquid Types

Language-generic workbench for building static analysis

A maintenance command of Haskell cabal packages

Just a test

A maintenance command of Haskell cabal packages