@haskell binary dependents

395 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/BiobaseNewick
Newick file format parser.
BSD-3-Clausev0.0.0.2
@haskell/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.14.2.0
@hackage/Cabal-syntax
A library for working with .cabal files
BSD-3-Clausev3.14.2.0
@hackage/ClickHaskell
ClickHouse driver
BSD-3-Clausev0.2.0
@hackage/HPDF
Generation of PDF documents
BSD-3-Clausev1.7
@hackage/JuicyPixels
Picture loading/serialization (in png, jpeg, bitmap, gif, tga, tiff and radiance)
BSD-3-Clausev3.3.9
@hackage/LDAPv3
Lightweight Directory Access Protocol (LDAP) version 3
GPL-2.0-or-laterv0.1.2.0
@hackage/LambdaHack
A game engine library for tactical squad ASCII roguelike dungeon crawlers
BSD-3-Clausev0.11.0.1
@hackage/MultiChor
Type-safe and efficient choreographies with location-set polymorphism.
BSD-3-Clausev1.1.0.0
@hackage/Network-NineP
High-level abstraction over 9P protocol
LicenseRef-OtherLicensev0.4.7.4
@hackage/PropaFP
Auto-active verification of floating-point programs
MPL-2.0v0.1.2.0
@hackage/RSA
Implementation of RSA, using the padding schemes of PKCS#1 v2.1.
BSD-3-Clausev2.4.1
@hackage/RabbitMQ
AMQP 0-9-1 client library for RabbitMQ servers
BSD-3-Clause AND GPL-3.0-or-laterv0.1.0.0
@hackage/RandomDotOrg
Haskell bindings to the RANDOM.ORG Core API
BSD-3-Clausev1.0
@hackage/SpatialMath
3d math including quaternions/euler angles/dcms and utility functions
BSD-3-Clausev0.2.7.1
@hackage/Vis
Painless 3D graphics, no affiliation with gloss
BSD-3-Clausev1.0.0
@cardano/Win32-network
Win32 network API
Apache-2.0v0.2.0.1
@hackage/Workflow
Workflow patterns over a monad for thread state logging & recovery
BSD-3-Clausev0.8.3
@hackage/acid-state
Add ACID guarantees to any serializable Haskell data structure.
LicenseRef-PublicDomainv0.16.1.3
@hackage/aivika
A multi-method simulation library
BSD-3-Clausev6.1.1
@hackage/aivika-distributed
Parallel distributed discrete event simulation module for the Aivika library
BSD-3-Clausev1.5.1
@hackage/algebraic-graphs-io
I/O utilities and datasets for algebraic-graphs
BSD-3-Clausev0.5.0.1
@hackage/amqp
Client library for AMQP servers (currently only RabbitMQ)
BSD-3-Clausev0.24.0
@hackage/approximate
Approximate discrete values and numbers
BSD-3-Clausev0.3.5
@hackage/arbtt
Automatic Rule-Based Time Tracker
GPL-2.0-onlyv0.12.0.3
@hackage/ats-pkg
A build tool for ATS
BSD-3-Clausev3.5.0.3
@hackage/avro
Avro serialization support for Haskell
BSD-3-Clausev0.6.2.1
@hackage/b-tree
Immutable disk-based B* trees
BSD-3-Clausev0.1.4
@hackage/b9
A tool and library for building virtual machine images.
MITv3.2.3