Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage logict dependents

17 results

@hackage/autoapply
Template Haskell to automatically pass values to functions
BSD-3-Clausev0.4.1.3
@hackage/crux-llvm
A verification tool for C programs.
BSD-3-Clausev0.10
@hackage/deriving-trans
Derive instances for monad transformer stacks
BSD-3-Clausev0.9.1.0
@hackage/heftia-effects
higher-order algebraic effects done right
MPL-2.0v0.7.0.0
@hackage/hmt
Haskell Music Theory
GPL-3.0-onlyv0.20
@hackage/hnix
Haskell implementation of the Nix language
BSD-3-Clausev0.17.0
@hackage/incremental-parser
Generic parser library capable of providing partial results from partial input.
GPL-3.0-onlyv0.5.1
@hackage/lambdabot-haskell-plugins
Lambdabot Haskell plugins
LicenseRef-GPLv5.3.1.2
@hackage/list-t
ListT done right
MITv1.0.5.7
@hackage/logict-sequence
A backtracking logic-programming monad with asymptotic improvements to msplit
MITv0.2.0.2
@hackage/logict-state
Library for logic programming based on haskell package logict
BSD-3-Clausev0.1.1.0
@hackage/overeasy
A purely functional E-Graph library
BSD-3-Clausev0.2.0
@hackage/safe-gen
Recursive Arbitrary instances without headaches
BSD-3-Clausev1.0.1
@hackage/smallcheck
A property-based testing library
BSD-3-Clausev1.2.1.1
@hackage/streamt
Simple, Fair and Terminating Backtracking Monad Transformer
BSD-3-Clausev0.5.0.1
@hackage/tasty-sugar
Tests defined by Search Using Golden Answer References
ISCv2.2.2.0
@hackage/unification-fd
Simple generic unification algorithms.
BSD-3-Clausev0.12.0.2