@hackage pqueue dependents

21 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic
MPL-2.0v0.0.5.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/adict
Approximate dictionary searching
BSD-3-Clausev0.4.1
@hackage/apply-merge
Lift a binary, non-decreasing function onto ordered lists and order the output
BSD-3-Clausev0.1.1.0
@hackage/beam-migrate
SQL DDL support and migrations support library for Beam
MITv0.5.3.2
@hackage/cachix
Command-line client for Nix binary cache hosting https://cachix.org
Apache-2.0v1.9.1
@hackage/chr-core
Constraint Handling Rules
BSD-3-Clausev0.1.1.0
@hackage/conduit-algorithms
Conduit-based algorithms
MITv0.0.14.0
@hackage/exference
Tool to search/generate (haskell) expressions with a given type
BSD-3-Clausev1.6.0.0
@hackage/homplexity
Haskell code quality tool
BSD-3-Clausev0.4.8.1
@hackage/kdt
Fast and flexible k-d trees for various types of point queries.
MITv0.2.6
@hackage/magic-wormhole
Interact with Magic Wormhole
LicenseRef-Apachev0.3.4
@hackage/patch-image
Compose a big image from overlapping parts
BSD-3-Clausev0.3.3.2
@hackage/reactive-banana
Library for functional reactive programming (FRP).
BSD-3-Clausev1.3.2.0
@hackage/salak
Configuration (re)Loader and Parser.
MITv0.3.6
@hackage/second-transfer
Second Transfer HTTP/2 web server
BSD-3-Clausev0.10.0.4
@hackage/stable-heap
Purely functional stable heaps (fair priority queues)
MITv0.2.1.0
@hackage/time-warp
Distributed systems execution emulation
MITv1.1.1.2
@hackage/type-indexed-queues
Queues with verified and unverified versions.
MITv0.2.0.0
@hackage/uhc-util
UHC utilities
BSD-3-Clausev0.1.7.0