@hackage/Agda
A dependently typed functional programming language and proof assistant
@hackage/AhoCorasick
Aho-Corasick string matching algorithm
@hackage/Allure
Near-future Sci-Fi roguelike and tactical squad combat game
@hackage/BiobaseInfernal
Infernal data structures and tools
@hackage/BiobaseTypes
Collection of types for bioinformatics
@hackage/BiobaseXNA
Efficient RNA/DNA/Protein Primary/Secondary Structure
@hackage/CTRex
Open records using closed type families.
@hackage/Cassava
A CSV parsing and encoding library
@hackage/ConcurrentUtils
Concurrent utilities
@hackage/CurryDB
CurryDB: In-memory Key/Value Database
@hackage/DSH
Database Supported Haskell
@hackage/Deadpan-DDP
Write clients for Meteor's DDP Protocol
@hackage/EtaMOO
A new implementation of the LambdaMOO server
@hackage/Frames
Data frames for working with tabular data files
@hackage/Frames-map-reduce
Frames wrapper for map-reduce-folds and some extra folds helpers.
@hackage/HGamer3D
Toolset for the Haskell Game Programmer
@hackage/HLearn-algebra
Algebraic foundation for homomorphic learning
@hackage/HLearn-classification
@hackage/HMap
Fast heterogeneous maps and unconstrained typeable-like functionality.
@hackage/HSet
Faux heterogeneous sets
@hackage/HUnit-Plus
A test framework building on HUnit.
@hackage/HaGL
Haskell-embedded OpenGL
@hackage/HaTeX
The Haskell LaTeX library.
@hackage/Hoed
Lightweight algorithmic debugging.
@hackage/HongoDB
A Simple Key Value Store
@hackage/InternedData
Data interning (with compact regions where possible)
@hackage/JsonGrammar
Combinators for bidirectional JSON parsing
@hackage/JuicyPixels-blp
BLP format decoder/encoder over JuicyPixels library
@hackage/JunkDB-driver-hashtables
@hackage/LambdaHack
A game engine library for tactical squad ASCII roguelike dungeon crawlers