GHC plugins to constrain the haskell source
BSD-3-CLAUSE License
An asdf plugin wrapping GHCup.
Constraint-based generics
A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode...
Monadic Constraint Programming framework
📤 defer instance resolution until runtime
A constraint solver for finite domains, written in Haskell.
A frontend plugin for GHC to compile source code from the standard input
Presburger arithmetic solver for built-in type-level naturals
IntelliJ plugin for Haskell
GHC plugin for constant math elimination
Convert Haskell source code to Coq source code.
building rio package configuration using cont monad with extensible
GHCup metadata repository
Tools for programming with ConstraintKinds in GHC