@hackage logict dependents

@hackage/astar-monad

@hackage/autoapply

Template Haskell to automatically pass values to functions

@hackage/crux-llvm

A verification tool for C programs.

@hackage/deriving-trans

Derive instances for monad transformer stacks

@hackage/hmt

Haskell Music Theory

@hackage/hnix

Haskell implementation of the Nix language

@hackage/holmes

Tools and combinators for solving constraint problems.

@hackage/incremental-parser

Generic parser library capable of providing partial results from partial input.

@hackage/lambdabot-haskell-plugins

Lambdabot Haskell plugins

@hackage/list-t

ListT done right

@hackage/logict-sequence

A backtracking logic-programming monad with asymptotic improvements to msplit

@hackage/logict-state

Library for logic programming based on haskell package logict

@hackage/mad-props

Monadic DSL for building constraint solvers using basic propagators.

@hackage/overeasy

A purely functional E-Graph library

@hackage/planet-mitchell

Planet Mitchell

@hackage/refinery

Toolkit for building proof automation systems

@hackage/reg-alloc-graph-color

Register allocation by graph colorization

@hackage/safe-gen

Recursive Arbitrary instances without headaches

@hackage/smallcheck

A property-based testing library

@hackage/smallcheck-series

Extra SmallCheck series and utilities

@hackage/spectacle

Embedded specification language & model checker in Haskell.

@hackage/streamt

Simple, Fair and Terminating Backtracking Monad Transformer

@hackage/sweet-egison

Shallow embedding implementation of non-linear pattern matching

@hackage/tasty-sugar

Tests defined by Search Using Golden Answer References

@hackage/trek

@hackage/trek-lens

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/util-logict

See README for more info