@hackage hashtables dependents

32 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/AsyncRattus
An asynchronous modal FRP language
BSD-3-Clausev0.2.1
@hackage/HSet
Faux heterogeneous sets
BSD-3-Clausev0.0.2
@hackage/NGLess
NGLess implements ngless, a DSL for processing sequencing data
MITv1.5.0
@hackage/TCache
A Transactional cache with user-defined persistence
BSD-3-Clausev0.13.3
@hackage/WidgetRattus
An asynchronous modal FRP language for GUI programming
BSD-3-Clausev0.4
@hackage/breve
a url shortener
GPL-3.0-onlyv0.5.1.0
@hackage/decision-diagrams
Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)
BSD-3-Clausev0.2.0.0
@hackage/ecta
BSD-3-Clausev1.0.0.3
@hackage/erebos
Decentralized messaging and synchronization
BSD-3-Clausev0.1.8.1
@hackage/eventlog2html
Visualise an eventlog
BSD-3-Clausev0.11.1
@hackage/greskell-websocket
Haskell client for Gremlin Server using WebSocket serializer
BSD-3-Clausev1.0.0.4
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.12.0.0
@hackage/gtk2hs-buildtools
Tools to build the Gtk2Hs suite of User Interface libraries.
GPL-2.0-onlyv0.13.12.0
@hackage/haskoin-store
Storage and index for Bitcoin and Bitcoin Cash
MITv1.5.16
@hackage/hasql
Fast PostgreSQL driver with a flexible mapping API
MITv1.9.1.2
@hackage/haxl
A Haskell library for efficient, concurrent, and concise data access.
BSD-3-Clausev2.5.1.1
@hackage/hledger-lib
A library providing the core functionality of hledger
GPL-3.0-onlyv1.42.1
@hackage/knit
Ties the knot on data structures that reference each other by unique keys.
BSD-3-Clausev0.4.0.0
@hackage/lambdasound
A libary for generating low-level sounds with high-level combinators
MITv1.2.0
@hackage/launchdarkly-server-sdk
Server-side SDK for integrating with LaunchDarkly
Apache-2.0v4.4.1
@hackage/linear-base
Standard library for linear types.
MITv0.5.0
@hackage/map-reduce-folds
foldl wrappers for map-reduce
BSD-3-Clausev0.1.2
@hackage/mongoDB
Driver (client) for MongoDB, a free, scalable, fast, document DBMS
Apache-2.0v2.7.1.4
@hackage/opentelemetry-extra
Apache-2.0v0.8.0
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
BSD-3-Clausev2.1.10.0
@hackage/quickcheck-state-machine
Test monadic programs using state machine based models
BSD-3-Clausev0.10.1
@hackage/sequitur
Grammar-based compression algorithms SEQUITUR
BSD-3-Clausev0.2.0.0
@hackage/stable-memo
Memoization based on argument identity
MITv0.4.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.9.0