@hackage logict dependents

47 results

@hackage/HaVSA
An implementation of the Version Space Algebra learning framework.
BSD-3-Clausev0.1.0.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/astar-monad
BSD-3-Clausev0.3.0.0
@hackage/autoapply
Template Haskell to automatically pass values to functions
BSD-3-Clausev0.4.1.3
@hackage/cflp
Constraint Functional-Logic Programming in Haskell
BSD-3-Clausev2009.2.1
@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/djinn-th
Generate executable Haskell code from a type
BSD-3-Clausev0.0.1
@hackage/ds-kanren
A subset of the miniKanren language
MITv0.2.0.1
@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/holmes
Tools and combinators for solving constraint problems.
MITv0.3.2.0
@hackage/incremental-parser
Generic parser library capable of providing partial results from partial input.
GPL-3.0-onlyv0.5.1
@hackage/lambdabot
Lambdabot is a development tool and advanced IRC bot
LicenseRef-GPLv5.3.1.2
@hackage/lambdabot-haskell-plugins
Lambdabot Haskell plugins
LicenseRef-GPLv5.3.1.2
@hackage/list-t
ListT done right
MITv1.0.5.7
@hackage/logicst
Backtracking mutable references in the ST and IO monads
BSD-3-Clausev0.1.0.0
@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/mad-props
Monadic DSL for building constraint solvers using basic propagators.
BSD-3-Clausev0.2.1.0
@hackage/monad-effect
A fast and lightweight effect system.
BSD-3-Clausev0.2.0.0
@hackage/monad-lgbt
Monad transformers for combining local and global state.
BSD-2-Clausev0.0.2
@hackage/overeasy
A purely functional E-Graph library
BSD-3-Clausev0.2.0
@hackage/peg
a lazy non-deterministic concatenative programming language
GPL-3.0-onlyv0.2
@hackage/pianola
Remotely controlling Java Swing applications
MITv0.1.1
@hackage/pipes-files
Fast traversal of directory trees using pipes
BSD-3-Clausev0.1.3
@hackage/planet-mitchell
Planet Mitchell
BSD-3-Clausev0.1.0
@hackage/prelude-generalize
Another kind of alternate Prelude file
LicenseRef-PublicDomainv0.4
@hackage/refinery
Toolkit for building proof automation systems
BSD-3-Clausev0.4.0.0