@hackage/AC-Colour
Efficient RGB colour types.
@hackage/AC-VanillaArray
Immutable arrays with plain integer indicies.
@hackage/ADPfusion
Efficient, high-level dynamic programming.
@hackage/Agda
A dependently typed functional programming language and proof assistant
@hackage/Allure
Near-future Sci-Fi roguelike and tactical squad combat game
@hackage/AspectAG
First-class Attribute Grammars implemented using type-level programming.
@hackage/BinderAnn
Source-to-source plugin for enhancing EDSLs with static annotations
@hackage/Biobase
Base library for bioinformatics
@hackage/CCA
preprocessor and library for Causal Commutative Arrows (CCA)
@hackage/CSPM-Frontend
A CSP-M parser compatible with FDR-2.91
@hackage/CSPM-ToProlog
some modules specific for the ProB tool
@haskell/Cabal
A framework for packaging Haskell software
@hackage/Cabal-ide-backend
A framework for packaging Haskell software
@hackage/Cascade
Playing with reified categorical composition
@hackage/Cassava
A CSV parsing and encoding library
@hackage/ConstraintKinds
Repackages standard type classes with the ConstraintKinds extension
@hackage/DSA
Implementation of DSA, based on the description of FIPS 186-4
@hackage/Dust
Polymorphic protocol engine
@hackage/Dust-crypto
Cryptographic operations
@hackage/Dust-tools
Network filtering exploration tools
@hackage/Dust-tools-pcap
Network filtering exploration tools that rely on pcap
@hackage/Euterpea
Library for computer music research and education
@hackage/FComp
Compose music
@hackage/Frames
Data frames for working with tabular data files
@hackage/Frames-streamly
A streamly layer for Frames I/O
@hackage/GenericPretty
A generic, derivable, haskell pretty printer.
@hackage/HGamer3D
Toolset for the Haskell Game Programmer
@hackage/HLearn-algebra
Algebraic foundation for homomorphic learning
@hackage/HList
Heterogeneous lists
@hackage/HSoM
Library for computer music education