@hackage pqueue dependents

8 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic
MPL-2.0v0.0.5.0
@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/chr-core
Constraint Handling Rules
BSD-3-Clausev0.1.1.0
@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/stable-heap
Purely functional stable heaps (fair priority queues)
MITv0.2.1.0