Packages tagged gpl

1085 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (762), program (530), sound (80), development (71), data (70), web (69), deprecated (65), bioinformatics (64), network (63), text (61), math (59), graphics (57), language (53), system (51), game (42), music (28), utils (24), control (19), benchmark (18), theorem-provers (18), yi (18), manatee (17), console (16), distribution (15), testing (15), compilers-interpreters (14), algorithms (13), codec (13), database (12), parsing (12), concurrency (11), natural-language-processing (11), ai (10), finance (10), ide (10), unclassified (10), application (9), data-structures (9), extension (9), ffi (8), crypto (7), desktop (7), xml (7), cryptography (6), editor (6), foreign (6), gui (6), user-interfaces (6), utility (6), compiler (5), formal-methods (5), networking (5), pup-events (5), security (5), smt (5), statistics (5), symbolic-computation (5), tools (5), demo (4), desktop-environment (4), frp (4), linguistics (4), operating-system (4), prelude (4), accessibility (3), audio (3), bindings (3), browser (3), constraints (3), education (3), enumerator (3), formal-languages (3), json (3), logic (3), numeric (3), optimisation (3), acme (2), algebra (2), automation (2), configuration (2), data-mining (2), debug (2), distributed-computing (2), documentation (2), download-manager (2), file-manager (2), generics (2), hardware (2), image (2), image-viewer (2), irc-client (2), latex (2), mail (2), multimedia (2), other (2), pdf (2), reactivity (2), regex (2), source-tools (2), yesod (2), animation (1), api (1), apple (1), argumentation (1), artificial-intelligence (1), atom (1), avers (1), benchmarking (1), chemistry (1), classification (1), cli (1), clustering (1), code-generation (1), combinators (1), command-line-tool (1), conduit (1), config (1), culinary (1), data-science (1), data-structure (1), database-design (1), datamining (1), debian (1), decompiler (1), dependent-types (1), eden (1), ...

AlignmentAlgorithms240.0Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)ChristianHoener
BNFC1680.0A compiler front-end generator. (development, gpl, library, program)AndreasAbel, GregoireDetrez, MarkusForsberg, ThomasHallgren
BNFC-meta680.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, library)JeanPhilippeBernardy, JonasDuregard
Baggins70.0Tools for self-assembly (gpl, library, math)pmeunier
Barracuda50.0An ad-hoc P2P chat program (gpl, library, network, program)GwernBranwen
BenchmarkHistory90.0Benchmark functions with history (benchmarking, gpl, library)ChristianHoener
BioHMM1060.0Libary for Hidden Markov Models in HMMER3 format. (bioinformatics, gpl, library)FlorianEggenhofer
Biobase200.0Base library for bioinformatics (bioinformatics, gpl, library)ChristianHoener
BiobaseBlast500.0BLAST-related tools (bioinformatics, gpl, library)ChristianHoener
BiobaseDotP50.0Vienna / DotBracket / ExtSS parsers (bioinformatics, gpl, library)ChristianHoener
BiobaseFR3D190.0Importer for FR3D resources (bioinformatics, gpl, library)ChristianHoener
BiobaseFasta220.0conduit-based FASTA parser (bioinformatics, gpl, library, program)ChristianHoener
BiobaseInfernal840.0Infernal data structures and tools (benchmark, bioinformatics, gpl, library, program)ChristianHoener
BiobaseMAF50.0Multiple Alignment Format (bioinformatics, gpl, library)ChristianHoener
BiobaseTrainingData220.0RNA folding training data (bioinformatics, gpl, library, program)ChristianHoener
BiobaseTurner480.0Import Turner RNA parameters (bioinformatics, gpl, library)ChristianHoener
BiobaseVienna370.0Import Vienna energy parameters (bioinformatics, gpl, library)ChristianHoener
BiobaseXNA1350.0Efficient RNA/DNA representations (bioinformatics, gpl, library, program)ChristianHoener
BirdPP70.0A preprocessor for Bird-style Literate Haskell comments with Haddock markup. (development, gpl, program)SeanMcLaughlin
BlastHTTP300.0Libary to interface with the NCBI blast REST interface (bioinformatics, gpl, library)FlorianEggenhofer
BlogLiterately1760.0A tool for posting Haskelly articles to blogs (gpl, library, program, web)BrentYorgey, RobertGreayer
Bookshelf420.0A simple document organizer with some wiki functionality (gpl, program, text)EmilAxelsson
CMCompare200.0Infernal covariance model comparison (bioinformatics, gpl, library, program)ChristianHoener
CV440.0OpenCV based machine vision library (ai, gpl, graphics, library, machine-vision)VilleTirronen
ClustalParser510.0Libary for parsing Clustal tools output (bioinformatics, gpl, library, program)FlorianEggenhofer
ConcurrentUtils280.0Concurrent utilities (concurrency, gpl, library)JamesCandy
DAG-Tournament90.0Real-Time Game Tournament Evaluator (game, gpl, program)JoachimBreitner
DAV2640.0RFC 4918 WebDAV support (gpl, library, program, web)ClintAdams
DMuCheck110.0Distributed Mutation Analysis framework for MuCheck (gpl, program, testing)RahulGopinath
DPM160.0Darcs Patch Manager (development, gpl, library, program)StefanWehr
Dao90.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)RaminHonary
DarcsHelpers40.0Code used by Patch-Shack that seemed sensible to open for reusability (gpl, library, web)ThomasHartman
Data-Rope (deprecated in favor of data-rope)150.0Ropes, an alternative to (Byte)Strings. (data, deprecated, gpl, library)PierreEtienneMeunier
DebugTraceHelpers150.0Convenience functions and instances for Debug.Trace (debug, gpl, library)ThomasHartman
DefendTheKing170.0A simple RTS game (frp, game, gpl, program)YairChuchem
DiscussionSupportSystem90.0Discussion support system (gpl, library, system)minamiyama1994
DnaProteinAlignment40.0Frameshift-aware alignment of protein sequences with DNA sequences (bioinformatics, gpl, library, program)ChristianHoener
Dust200.0Polymorphic protocol engine (gpl, library, network)BrandonWiley
Dust-crypto70.0Cryptographic operations (cryptography, gpl, library)BrandonWiley
Dust-tools270.0Network filtering exploration tools (gpl, library, network, program)BrandonWiley
Dust-tools-pcap120.0Network filtering exploration tools that rely on pcap (gpl, network, program)BrandonWiley
EditTimeReport40.0Query language and report generator for edit logs. (gpl, program, utils)BartSpaans
Emping320.0derives heuristic rules from nominal data (data-mining, gpl, program)HansVanThiel
Encode420.0Encoding character data (codec, gpl, library, program, text)OtakarSmrz
EntrezHTTP360.0Libary to interface with the NCBI Entrez REST service. (bioinformatics, gpl, library)FlorianEggenhofer
Etherbunny80.0A network analysis toolkit for Haskell (gpl, library, network, program)NicholasBurlett
FComp110.0Compose music (gpl, library, music, program)JosePedroMagalhaes
FM-SBLEX80.0A set of computational morphology tools for Swedish diachronic lexicons. (gpl, natural-language-processing, program)MarkusForsberg
FModExRaw (deprecated)190.0The Haskell FModEx raw API. (deprecated, gpl, library, sound)DimitriSabadie
FermatsLastMargin40.0Annotate ps and pdf documents (gpl, program, web)GwernBranwen
FormalGrammars430.0(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library, program)ChristianHoener
GLMatrix120.0Utilities for working with OpenGL matrices (gpl, graphics, library)fiendfan1
GPipe-Examples60.0Examples for the GPipes package (gpl, graphics, program)KreeColeMcLaughlin
GenI2060.0A natural language generator (specifically, an FB-LTAG surface realiser) (gpl, library, natural-language-processing, program)EricKow
Genbank180.0Libary for processing the NCBI genbank format (bioinformatics, gpl, library, program)FlorianEggenhofer
Gene-CluEDO190.0Hox gene clustering (bioinformatics, gpl, library, program)ChristianHoener
GenussFold90.0MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)ChristianHoener
GeocoderOpenCage52.0Geocoder and Reverse Geocoding Service Wrapper (gpl, library, web)juergenhah, jhahn
GiST60.0A Haskell implementation of a Generalized Search Tree (GiST) (data-structures, gpl, library)MihailBogojeski
GlomeTrace180.0Ray Tracing Library (gpl, graphics, library)JimSnow
GlomeVec190.0Simple 3D vector library (gpl, graphics, library)JimSnow
GlomeView70.0SDL Frontend for Glome ray tracer (gpl, graphics, program)JimSnow
GoogleSuggest150.0Interface to Google Suggest API (browser, gpl, library)AndyStewart
GoogleTranslate180.0Interface to Google Translate API (gpl, language, library)AndyStewart
GrammarProducts290.0Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)ChristianHoener
Graph500110.0Graph500 benchmark-related definitions and data set generator. (concurrency, gpl, library, program)AlexanderVershilov
GraphHammer40.0GraphHammer Haskell graph analyses framework inspired by STINGER. (concurrency, gpl, library)AlexanderVershilov
GraphHammer-examples40.0Test harness for TriangleCount analysis. (concurrency, gpl, library, program)AlexanderVershilov
Gtk2hsGenerics60.0Convenience functions to extend Gtk2hs. (gpl, gui, library)MichaelDever
HFrequencyQueue60.0A Queue with a random (weighted) pick function (data, gpl, library)Bellaz
HOpenCV430.0A binding for the OpenCV computer vision library (ai, gpl, graphics, library, program)NoamLewis
HPong130.0A simple OpenGL Pong game based on GLFW (game, gpl, program)RemcoNiemeijer
HSHHelpers280.0Convenience functions that use HSH, instances for HSH. (gpl, library, system)ThomasHartman
HStringTemplateHelpers240.0Convenience functions and instances for HStringTemplate (gpl, library, text)ThomasHartman
HTab170.0Tableau based theorem prover for hybrid logics (gpl, program, theorem-provers)GuillaumeHoffmann
HaMinitel40.0An Haskell library to drive the french Minitel through a serial port (gpl, library, terminal)zigazou
Haggressive130.0Aggression analysis for Tweets on Twitter (gpl, library, web)Pold87
Hangman120.0The classic game of Hangman. (game, gpl, program)lf94
HarmTrace720.0Harmony Analysis and Retrieval of Music (gpl, music, program)BasDeHaas, JosePedroMagalhaes
HasCacBDD100.0Haskell bindings for CacBDD (data, gpl, library)m4lvin
HasGP30.0A Haskell library for inference using Gaussian processes (ai, classification, datamining, gpl, library, statistics)SeanHolden
Hashell50.0Simple shell written in Haskell (gpl, program, user-interfaces)GwernBranwen
HaskRel70.0HaskRel, Haskell as a DBMS with support for the relational algebra (database, gpl, library)thormick
HaskellLM120.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (gpl, library, math)KietLam
HaskellNN170.0High Performance Neural Network in Haskell (ai, gpl, library)KietLam
Hmpf80.0An MPD client designed for a Home Theatre PC (application, gpl, program)TomBevan
Homology100.0Compute the homology of a chain complex (gpl, library, math)DamekDavis
Hungarian-Munkres240.0A Linear Sum Assignment Problem (LSAP) solver (algorithms, benchmark, gpl, library)kaizhang
IcoGrid90.0Library for generating grids of hexagons and pentagons mapped to a sphere. (gpl, graphics, library)JimSnow
ImperativeHaskell352.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)MatthewMirman
IndentParser (deprecated)130.0Combinators for parsing indentation based syntatic structures (deprecated, gpl, library, parsing)PiyushKurur
Irc50.0DSL for IRC bots (gpl, library, network)yunxing
JackMiniMix (deprecated in favor of jackminimix)60.0control JackMiniMix (deprecated, gpl, library, sound)RenickBell
LambdaShell140.0Simple shell for evaluating lambda expressions (compilers-interpreters, gpl, program)RobertDockins
Lattices280.0A library for lattices (gpl, library, math)BartCoppens
LazyVault70.0A simple sandboxing tool for Haskell packages. (development, gpl, program)KevinVanRooijen
Level050.0A Snake II clone written using SDL. (game, gpl, program)MikeLedger
MBot212.5Haskell interface for controlling the mBot educational robot (educational, gpl, library)cfscholl
MC-Fold-DP70.0Folding algorithm based on nucleotide cyclic motifs. (bioinformatics, gpl, library, program)ChristianHoener
Modulo120.0Modular arithmetic via Numeric-Prelude (gpl, library, math)NikolayMurzin
Monadius340.02-D arcade scroller (game, gpl, program)GwernBranwen, HideyukiTanaka
MorseCode180.0Morse code (gpl, library, text)AndyStewart
MuCheck280.0Automated Mutation Testing (gpl, library, testing)RahulGopinath
MuCheck-HUnit110.0Automated Mutation Testing for HUnit tests (gpl, library, program, testing)RahulGopinath
MuCheck-Hspec180.0Automated Mutation Testing for Hspec tests (gpl, library, program, testing)RahulGopinath
MuCheck-QuickCheck110.0Automated Mutation Testing for QuickCheck tests (gpl, library, program, testing)RahulGopinath
MuCheck-SmallCheck120.0Automated Mutation Testing for SmallCheck tests (gpl, library, program, testing)RahulGopinath
MusicBrainz760.0interface to MusicBrainz XML2 and JSON web services (gpl, library, network)ClintAdams
MutationOrder100.0Most likely order of mutation events in RNA (bioinformatics, gpl, library, program)ChristianHoener
NTRU90.0NTRU Cryptography (cryptography, gpl, library, math)mikewest
NameGenerator50.0A name generator written in Haskell (gpl, library, text)pommicket
NestedSampling140.0A port of John Skilling's nested sampling C code to Haskell. (gpl, library, statistics)IssacTrotts
NumberTheory180.0A library for number theoretic computations, written in Haskell. (gpl, library, math)cfredric
Nussinov78130.0Nussinov78 using the ADPfusion library. (bioinformatics, gpl, library, program)ChristianHoener
PDBtools120.0A library for analysis of 3-D protein coordinates (bioinformatics, gpl, library)GrantRotskoff
Parry80.0A proven synchronization server for high performance computing. (gpl, library, parry)pmeunier
ParsecTools380.0Parsec combinators for more complex objects. (gpl, library, parsing)ChristianHoener
PastePipe240.0CLI for pasting to (gpl, library, program, utils)MateuszKowalczyk, RoganCreswick
Phsu90.0Personal Happstack Server Utils (gpl, program, web)utkarshl
Plural90.0Pluralize English words (gpl, language, library)AndyStewart
Pollutocracy60.0An imaginary world (game, gpl, program)IsaacDupree
PortFusion240.0high-performance distributed reverse / forward proxy & tunneling for TCP (gpl, network, program, system)CetinSert
Pup-Events40.0A networked event handling framework for hooking into other programs. (gpl, library, networking, program, pup-events)DanielWilson
Pup-Events-Client130.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)DanielWilson
Pup-Events-Demo120.0A networked event handling framework for hooking into other programs. (demo, gpl, networking, program, pup-events)DanielWilson
Pup-Events-PQueue80.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)DanielWilson
Pup-Events-Server190.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)DanielWilson
QuickCheckVariant230.0Generator of "valid" and "invalid" data in a type class (gpl, library, testing)sanjorgek
QuickPlot90.0Quick and easy data visualization with Haskell (gpl, graphics, library)tepf
RNAFold470.0RNA secondary structure prediction (bioinformatics, gpl, library, program)ChristianHoener
RNAFoldProgs90.0RNA secondary structure folding (bioinformatics, gpl, program)ChristianHoener
RNAdesign130.0Multi-target RNA sequence design (bioinformatics, gpl, library, program)ChristianHoener
RNAdraw70.0Draw RNA secondary structures (bioinformatics, gpl, library, program)ChristianHoener
RNAlien432.0Unsupervized construction of RNA family models (bioinformatics, gpl, library, program)FlorianEggenhofer
RNAwolf240.0RNA folding with non-canonical basepairs and base-triplets. (bioinformatics, gpl, library, program)ChristianHoener
Ranka30.0HTTP to XMPP omegle chats gate. (gpl, network, program)OlegIvanov
Referees40.0A utility for computing distributions of material to review among reviewers. (gpl, library, program, utils)PabloCouto
RollingDirectory60.0Limits the size of a directory's contents (file-manager, gpl, program, tools)FalcoHirschenberger
SGdemo110.0An example of using the SG and OpenGL libraries (gpl, graphics, program)NeilBrown
ScratchFs90.0Size limited temp filesystem based on fuse (gpl, program, system)FalcoHirschenberger
SelectSequencesFromMSA170.0SelectSequences is a tool for selection of a represenative subset of sequences from a multiple sequence alignment in clustal format. (bioinformatics, gpl, library, program)FlorianEggenhofer
ShellCheck14550.0Shell script analysis tool (gpl, library, program, static-analysis)koala_man, vidarhol
SimpleTableGenerator110.0Simple table generator (gpl, library, text)klntsky
SizeCompare70.0Fast size comparison for standard containers. (data, gpl, library)BramSchuur
Sonnex120.0Sonnex is an alternative to Soundex for french language (gpl, library, natural-language-processing, text)zigazou
SourceGraph590.0Static code analysis using graph-theoretic techniques. (development, gpl, program)IvanMiljenovic
StatisticalMethods80.0Collection of useful statistical methods. (gpl, library, statistics)ChristianHoener
StockholmAlignment520.0Libary for Stockholm aligmnent format (bioinformatics, gpl, library)FlorianEggenhofer
StrictBench90.0Benchmarking code through strict evaluation (gpl, library, testing)RemcoNiemeijer
Taxonomy270.0Libary for parsing, processing and vizualization of taxonomy data (bioinformatics, gpl, library)FlorianEggenhofer
TaxonomyTools120.0Tool for parsing, processing, comparing and visualizing taxonomy data (bioinformatics, gpl, program)FlorianEggenhofer
TeX-my-math90.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math)leftaroundabout
Theora60.0 (gpl, library, unclassified)PierreEtienneMeunier
ThreadObjects70.0Mutable objects that reside in their own threads. (concurrency, gpl, library)TimothyHobbs
TigerHash30.0TigerHash with C implementation (cryptography, gpl, library)NikolayOrlyuk
Titim110.0Game for Lounge Marmelade (game, gpl, program)Jefffrey
Top90.0Constraint solving framework employed by the Helium Compiler. (constraints, gpl, library, program)JurriaanHage
TypingTester170.0Command Line Typing speed tester (game, gpl, program)AlanHawkins
UMM260.0A small command-line accounting tool (finance, gpl, program)UweHollerbach
ViennaRNAParser760.0Libary for parsing ViennaRNA package output (bioinformatics, gpl, library)FlorianEggenhofer
WordAlignment110.0Bigram word pair alignments. (gpl, library, linguistics, program)ChristianHoener
XAttr (deprecated in favor of linux-xattr)100.0Read, set, and list extended attributes (deprecated, gpl, library, system)NicolaSquartini
XMLParser282.0A library to parse xml (gpl, library, xml)AlanHawkins
a50120.0Compare genome assemblies (bioinformatics, gpl, program)KetilMalde
acme-cutegirl130.0Maybe gives you a cute girl (acme, gpl, library, program)MateuszKowalczyk
adblock2privoxy530.0Convert adblock config files to privoxy format (gpl, program, web)zubr
adhoc-network60.0Ad-hoc P2P network protocol (gpl, library, network)GwernBranwen, StephanFriedrichs
agum290.0Unification and Matching in an Abelian Group (algebra, gpl, library, program)JohnRamsdell
ajhc252.0Haskell compiler that produce binary through C language (compiler, gpl, library, program)KiwamuOkabe
alga (deprecated)140.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)mrkkrp
alsa-midi (deprecated in favor of alsa-seq)120.0Bindings for the ALSA sequencer API (MIDI stuff) (deprecated, gpl, library, music, program, sound)HenningThielemann
ampersand120.0Toolsuite for automated design of business processes. (database-design, gpl, program)hanjoosten
amqp-utils430.0Generic Haskell AMQP Consumer (gpl, network, program)woffs
amrun190.0Interpreter for AM (compilers-interpreters, gpl, program)DanielSeidel, JanisVoigtlaender
anansi510.0Simple literate programming preprocessor (development, gpl, library, program)JohnMillikin
anansi-hscolour90.0Colorized looms for Anansi (development, gpl, library)JohnMillikin
anansi-pandoc110.0Looms which use Pandoc to parse and produce a variety of formats. (development, gpl, library)JohnMillikin
android80.0Android methods exposed to Haskell (gpl, library, system)IvanPerez, keera_studios_ci
angle40.0A small, general-purpose programming language. (benchmark, compilers-interpreters, gpl, library, program)GuiltyDolphin
antimirov80.0Define the language containment (=subtyping) relation on regulare expressions. (gpl, language, library, math, program)RickKaudewitz
anydbm120.0Interface for DBM-like database systems (database, gpl, library)JohnGoerzen
apelsin140.0Server and community browser for the game Tremulous (gpl, network, program)ChristofferOjeling
applicative-parsec30.0An applicative parser combinator library (gpl, language, library)KarlVoelker
arbtt660.0Automatic Rule-Based Time Tracker (desktop, gpl, program)JoachimBreitner
arghwxhaskell30.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)HenkJanVanTuyl
arguedit50.0A computer assisted argumentation transcription and editing software. (argumentation, gpl, program)hrazel
armada50.0Space-based real time strategy game (game, gpl, program)TimothyCarstens
array-forth90.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)TikhonJelvis
arrowp70.0preprocessor translating arrow notation into Haskell 98 (development, gpl, program)RossPaterson
arrowp-qq270.0A preprocessor and quasiquoter for translating arrow notation (development, gpl, library, program)PepeIborra
ascii-vector-avc60.0Process Ascii Vectors for Advantest 93k (data, gpl, library, program)m
aterm90.0serialisation for Haskell values with sharing support (data, gpl, library, parsing)ChristianMaeder
attoparsec-arff60.0An ARFF file parser using Attoparsec (ai, data, gpl, library, text)PaulWilson
aur482.0Access metadata from the Arch Linux User Repository. (gpl, library, linux)fosskers
autom70.0Generates and displays patterns from next nearest neighbors cellular automata (gpl, graphics, library)infrared
avers322.0Server-side implementation of the Avers storage model (avers, benchmark, gpl, library)wereHamster
awesome-prelude40.0A prelude which I can be happy with. Based on base-prelude. (gpl, library, prelude)kozross
azubi440.0A simple DevOps tool which will never "reach" enterprice level. (gpl, library, system)palo
babylon120.0An implementation of a simple 2-player board game (game, gpl, program)PedroVasconcelos
backdropper30.0Rotates backdrops for X11 displays using Imagemagic. (gpl, library, program, unclassified)YannGolanski
bamboo310.0A blog engine on Hack (gpl, library, web)JinjingWang
bamboo-launcher90.0bamboo-launcher (gpl, program, web)JinjingWang
bamboo-plugin-highlight30.0A highlight middleware (gpl, library, web)JinjingWang
bamboo-theme-mini-html530.0bamboo mini html5 theme (gpl, library, web)JinjingWang
bamstats130.0A program to extract various information from BAM alignmnet files. (bioinformatics, gpl, library, program)KetilMalde
barrie80.0Declarative Gtk GUI library (gpl, gui, library)FraserWilson
base-io-access100.0The IO functions included in base delimited into small, composable classes (gpl, library, system)bheklilr
baskell80.0An interpreter for a small functional language (compilers-interpreters, gpl, program)GwernBranwen
bbdb180.0Ability to read, write, and examine BBDB files (database, gpl, library)HenryLaxen
beautifHOL50.0A pretty-printer for higher-order logic (gpl, program, text)LeePike
bein (deprecated)100.0Bein is a provenance and workflow management system for bioinformatics. (application, deprecated, gpl, program)FrederickRoss
benchmark-function140.0Test the time it takes to run a haskell function (gpl, library, testing)AlanHawkins
bighugethesaurus110.0API wrapper for Big Huge Thesaurus (api, gpl, language, library)TheKing
binary-derive60.0Automatic deriving of Binary using GHC.Generics (data, gpl, library)JaredHance
binary-shared1390.0Sharing for the binary package (data, gpl, library)HamishMackenzie, JuergenNicklischFranken
bindings-cctools70.0Bindings to the CCTools WorkQueue C library (ffi, gpl, library)BadiAbdulWahid
bindings-codec280.0Very low-level FFI bindings for Codec2 (bindings, codec, ffi, gpl, library, program)RickyElrod
bindings-libftdi20.0Low level bindings to libftdi. (ffi, gpl, library)SivaramGowkanapalli
bindings-nettle140.0bindings to nettle crypto library (bindings, gpl, library)ClintAdams
bindings-potrace70.0Low-level bindings to the potrace bitmap tracing library (gpl, graphics, library)cchalmers
bindings-saga-cmd70.0Wrapping saga_cmd (gpl, library, math, program)michelk
bindings-sc390.0Low-level bindings to the SuperCollider synthesis engine library. (ffi, gpl, library, sound)StefanKersten
bindynamic30.0A variation of Data.Dynamic.Dynamic with a Binary instance (data, gpl, library)lspitzner
bioace50.0Library for reading ace assembly files (bioinformatics, gpl, library)DanFornika
bioalign90.0Data structures and helper functions for calculating alignments (bioinformatics, gpl, library)DanFornika
biofasta120.0Library for reading fasta sequence files (bioinformatics, gpl, library)DanFornika
biophd200.0Library for reading phd sequence files (bioinformatics, gpl, library)DanFornika
bitspeak70.0Proof-of-concept tool for writing using binary choices. (accessibility, gpl, program)MauricioAntunes
black-jewel110.0The pirate bay client. (application, gpl, program)DmitryBogatov
blosum140.0BLOSUM generator (bioinformatics, gpl, library, program)GregorySchwartz
bloxorz120.0OpenGL Logic Game (game, gpl, program)ViktorDevecseri
blubber30.0The blubber client; connects to the blubber server. (game, gpl, program)alexander
board-games190.0Three games for inclusion in a web server (game, gpl, library, web)HenningThielemann
boolean-list80.0convert numbers to binary coded lists (data, gpl, library)AlanHawkins
boomange720.0A bookmarks manager with an HTML generator (gpl, program, web)mgmillani
botpp80.0Build tool for Lambdabot (development, gpl, library, program, web)GwernBranwen
bowntz120.0audio-visual pseudo-physical simulation of colliding circles (demo, gpl, program)ClaudeHeilandAllen
brainfuck780.0Brainfuck interpreter (compilers-interpreters, gpl, library, program)GwernBranwen, abbradar
breakout30.0A simple Breakout game implementation. (game, gpl, program)EyalLotem
burst-detection30.0Burst detection algorithms (benchmark, gpl, library, math)AlexanderVershilov
butterflies20.0butterfly tilings (gpl, graphics, library, program)ClaudeHeilandAllen
c0check70.0Simple C0 Syntax Check (gpl, language, program)DanielSeidel, JanisVoigtlaender
c0parser80.0Simple C0 Parser (gpl, language, library)DanielSeidel, JanisVoigtlaender
c2ats110.0Translate C code into ATS (gpl, language, library, program)KiwamuOkabe
c2hs5770.0C->Haskell FFI tool that gives some cross-language type safety (development, gpl, program)DuncanCoutts, IanRoss, deech
cabal-plan160.0Library and utiltity for processing cabal's plan.json file (development, gpl, library)HerbertValerioRiedel
cabal-rpm872.0RPM packaging tool for Haskell Cabal-based packages (distribution, gpl, program)BryanOSullivan, JensPetersen
cabal2spec20.0Generates RPM Spec files from cabal files (gpl, program, system)YaakovNemoy
cabalmdvrpm10.0Create mandriva rpm from cabal package (distribution, gpl, library, program)OlivierThauvin
cabalrpmdeps30.0Autogenerate rpm dependencies from cabal files (distribution, gpl, library, program)OlivierThauvin
cake170.0A build-system library and driver (development, gpl, library, program)JeanPhilippeBernardy
cal3d-examples50.0Examples for the Cal3d animation library. (animation, gpl, graphics, program)GregoryWeber
calculator352.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)sumitsahrawat
caldims10.0Calculation tool and library supporting units (gpl, library, math, program)RickKaudewitz
caledon192.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)MatthewMirman
cao40.0CAO Compiler (compiler, cryptography, gpl, language, program)paufil, tfaoliveira, mbbarbosa
carettah302.0A presentation tool written with Haskell. (gpl, graphics, program)KiwamuOkabe
carte72.0Carte: A commandline pastebin server. (gpl, network, program)cdetroye
cctools-workqueue40.0High-level interface to CCTools' WorkQueue library (distributed-computing, gpl, library)BadiAbdulWahid
cedict80.0Convenient Chinese phrase & character lookup. (gpl, library, program, text)JasonDusek
cereal-derive40.0Automatic deriving of Serialize using GHC.Generics (data, gpl, library)JaredHance
cg30.0Parser for categorial grammars. (gpl, language, program)pepijnkokke
cgrep810.0Command line tool (gpl, program, utils)awgn, NicolaBonelli
chain-codes80.0Library decoding chain codes from images (data, gpl, library)MateuszKowalczyk
checkmate1190.0Generate checklists relevant to a given patch (development, gpl, library, program)hongminhee
citeproc-hs-pandoc-filter20.0A Pandoc filter for processing bibliographic references with citeproc-hs (gpl, program, text)AndreaRossato
clac80.0Simple CLI RPN calculator (gpl, math, program)alexander
classy-parallel20.0Fork of the monad-parallel package using monad-control (control, gpl, library)SamAnklesaria
clumpiness110.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)GregorySchwartz
clustertools90.0Tools for manipulating sequence clusters (bioinformatics, gpl, program)GwernBranwen, KetilMalde
cmu210.0Unification in a Commutative Monoid (algebra, gpl, library, program)JohnRamsdell
cmv521.5Detailed visualization of CMs, HMMs and their comparisions (bioinformatics, gpl, library, program)FlorianEggenhofer
coin160.0Simple account manager (application, gpl, program)piotrborek
colour-space110.0Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)leftaroundabout
combinatorial-problems112.0A number of data structures to represent and allow the manipulation of standard combinatorial problems, used as test problems in computer science. (gpl, library, optimisation)RichardSenington
compilation90.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)AndreiLapets
concrete-haskell310.0Library for the Concrete data format. (data, gpl, library, program)TomLippincott
concrete-haskell-autogen200.0Automatically generated Thrift definitions for the Concrete data format. (data, gpl, library)TomLippincott
concrete-relaxng-parser60.0A parser driven by a standard RELAX NG schema with concrete syntax extensions. (gpl, parsing, program, xml)MarioBlazevic
conductive-base190.0a library for live coding and real-time musical applications (gpl, library, music, sound)RenickBell
conductive-clock120.0a library for displaying musical time in a terminal-based clock (gpl, library, music, sound)RenickBell
conductive-hsc3110.0a library with examples of using Conductive with hsc3 (gpl, library, music, sound)RenickBell
conductive-song80.0a library of functions which are useful for composing music (gpl, library, music, sound)RenickBell
config-manager160.0Configuration management (configuration, data, gpl, library)guyonvarch
config-select30.0A small program for swapping out dot files. (gpl, program, system)TimothyHobbs
constrained-categories210.0Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)leftaroundabout
convert-annotation150.0Convert the annotation of a gene to another in a delimited file using a variety of different databases. (bioinformatics, gpl, library, program)GregorySchwartz
coroutine-enumerator (deprecated)40.0Bridge between the monad-coroutine and enumerator packages. (concurrency, deprecated, enumerator, gpl, library)MarioBlazevic
coroutine-iteratee (deprecated)40.0Bridge between the monad-coroutine and iteratee packages. (concurrency, data, deprecated, gpl, library)MarioBlazevic
cpuid170.0Binding for the cpuid machine instruction on x86 compatible processors (foreign-binding, gpl)HenningThielemann, MartinGrabmueller
cpython210.0Bindings for libpython (foreign, gpl, library)JohnMillikin
cr80.0Code review tool (control, gpl, network, program, system)AlexandruScvortov
crack60.0A haskell binding to cracklib (gpl, library, system)TrevorElliott
crocodile70.0An offline renderer supporting ray tracing and photon mapping (gpl, graphics, program)TomHammersley
csv-nptools70.0A collection of CSV tools (development, gpl, program, text, utils)NicolasPouillard
ctpl30.0A programming language for text modification. (gpl, library, program, text)implementation
custom-prelude50.0An enhanced prelude, serving as a foundation for my projects (control, gpl, library)AnupamJain
cv-combinators250.0Functional Combinators for Computer Vision (ai, gpl, graphics, library, program)NoamLewis
cyclotomic210.0A subfield of the complex numbers for exact calculation. (gpl, library, math)ScottWalck
daemonize-doublefork80.0Start background daemons by double-forking (gpl, library, web)AlexandruScvortov
daemons180.0Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)AlexandruScvortov
dao50.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)RaminHonary
darcs1590.0a distributed, interactive, smart revision control system (development, gpl, library)EricKow, FlorentBecker, GaneshSittampalam, GuillaumeHoffmann, JasonDagit, PetrRockai, ReinierLamers
darcs-beta (deprecated in favor of darcs)290.0a distributed, interactive, smart revision control system (deprecated, development, gpl)FlorentBecker, GaneshSittampalam, GuillaumeHoffmann, PetrRockai, ReinierLamers
darcs-buildpackage70.0Tools to help manage Debian packages with Darcs (gpl, program, system)JohnGoerzen
darcs-cabalized (deprecated in favor of darcs)80.0David's Advanced Version Control System (deprecated, development, gpl, program)GwernBranwen
darcs-monitor130.0Darcs repository monitor (sends email) (distribution, gpl, program)AnttiJuhaniKaijanaho, MarcoSilva
darcsden70.0Darcs repository UI and hosting/collaboration app ( branch). (development, distribution, gpl, program, web)AlexSuraci, SimonMichael
darcswatch90.0Track application of Darcs patches (distribution, gpl, program)JoachimBreitner
darkplaces-demo20.0Utility and parser for DarkPlaces demo files (benchmark, game, gpl, library, program)slava
darkplaces-rcon70.0Darkplaces rcon client library (game, gpl, library)slava
darkplaces-rcon-util50.0Darplaces rcon utility (game, gpl, library, program)slava
darkplaces-text70.0Parser for darkplaces colorful text (game, gpl, library)slava
data-list-sequences70.0Utilities for working with sequences within lists. (data, gpl, library)JonasKramer
data-rope40.0Ropes, an alternative to (Byte)Strings. (data, gpl, library)PierreEtienneMeunier
datapacker80.0Tool to help pack files into the minimum number of CDs/DVDs/etc (gpl, program, system)JohnGoerzen
datetime410.0Utilities to make Data.Time.* easier to use (data, gpl, library)EricSessoms, EugenyDzhurinsky, jsl, stackbuilders
datetime-sb90.0Utilities to make Data.Time.* easier to use. (data, gpl, library)jsl
dbus1710.0A client library for the D-Bus IPC system. (benchmark, desktop, gpl, library, network)JohnMillikin, blaze
dbus-client (deprecated in favor of dbus)130.0Monadic and object-oriented interfaces to DBus (deprecated, desktop, gpl, library, network)JohnMillikin
dbus-core (deprecated in favor of dbus)1130.0Low-level D-Bus protocol implementation (deprecated, desktop, gpl, library, network)JohnMillikin
ddate80.0Discordian Date Types for Haskell (data, gpl, library)hellerve
decimal-literals100.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)leftaroundabout
dedukti100.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, gpl, library, program, theorem-provers)MathieuBoespflug
dephd90.0Analyze quality of nucleotide sequences. (bioinformatics, gpl, program)GwernBranwen, KetilMalde
derangement60.0Find derangements of lists (gpl, library, unclassified)DennisGriffith
derivation-trees50.0Typeset Derivation Trees via MetaPost (gpl, graphics, library, math)JeanPhilippeBernardy
derive-enumerable50.0Generic instances for enumerating complex data types (data, generics, gpl, library)mgoszcz2
descrilo930.0Loads a list of items with fields (configuration, data, gpl, library, parser)mgmillani
dfsbuild90.0Build Debian From Scratch CD/DVD images (gpl, program, system)JohnGoerzen
dice2tex130.0Convert a Diceware wordlist into a printer-ready LaTeX file. (gpl, program, text)mgmillani
dicom70.0A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax. (data, gpl, library, medical)PhilFreeman, karchie
digestive-functors-aeson570.0Run digestive-functors forms against JSON (gpl, json, library, web)OliverCharles
dihaa180.0ASCII based Diagram drawing in Haskell (Idea based on ditaa) (gpl, graphics, program)wilde
diophantine120.0A quadratic diophantine equation solving library. (gpl, library, math)joejev
dist-upload100.0Generate/Upload cabal package to Hackage. (distribution, gpl, library, program)AndyStewart
diversity510.0Quantify the diversity of a population (bioinformatics, gpl, library, program)GregorySchwartz
doccheck50.0Checks Haddock comments for pitfalls and version changes. (documentation, gpl, program)MateuszKowalczyk
double-metaphone100.0Haskell bindings to a C double-metaphone implementation. (data, gpl, library)ChristianMarie
dozenal40.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)siddhanathan
dpkg120.0libdpkg bindings (debian, gpl, library)ClintAdams
drawille610.0A port of asciimoo's drawille to haskell (gpl, library, system)yamadapc
dson70.0Haskell DogeScript Object Notation Parser (data, gpl, library)lcycon
dsp220.0Haskell Digital Signal Processing (gpl, library, math, sound)HenningThielemann
dtab70.0Harmonix (Guitar Hero, Rock Band) DTA/DTB metadata library (data, gpl, library, program)mtolly
dumb-cas70.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)leftaroundabout
dvdread70.0A monadic interface to libdvdread (gpl, library, system)NicolaSquartini
dynamic-plot140.0Interactive diagram windows (gpl, graphics, library)leftaroundabout
dynamic-state970.0Optionally serializable dynamic state keyed by type (data, gpl, library, yi)DmitryIvanov, MateuszKowalczyk, fread2281, JaroReinders
dzen-utils110.0Utilities for creating inputs for dzen. (gpl, library, system)FelipeLessa, ianclement
easyrender240.0User-friendly creation of EPS, PostScript, and PDF files (gpl, graphics, library)PeterSelinger
edentv80.0A Tool to Visualize Parallel Functional Program Executions (development, eden, gpl, profiling, program, trace)MischaDieterle, JostBerthold, horstmeyer
edge200.0Top view space combat arcade game (game, gpl, program)ChristopherHoward, infrared
ehaskell100.0like eruby, ehaskell is embedded haskell. (gpl, program, text)YoshikuniJujo
eibd-client-simple80.0EIBd Client (automation, gpl, library)vapourismo
electrum-mnemonic150.0easy to remember mnemonic for a high-entropy value (gpl, library, natural-language-processing)JoeyHess
email-validator50.0Perform basic syntax and deliverability checks on email addresses. (gpl, program, utils)MichaelOrlitzky
embroidery20.0support for embroidery formats in haskell (codec, gpl, library, program)JimSnavely
epanet-haskell70.0Haskell binding for EPANET (algorithms, gpl, hydraulics, library)psibi
equal-files190.0Shell command for finding equal files (console, gpl, program)HenningThielemann
erf-native80.0Native Haskell implementation of the interface from the erf package (gpl, library, math)JamesCook
erlang130.0FFI interface to Erlang. (foreign, gpl, library)EricSessoms, gombocarti
ert60.0Easy Runtime Templates (gpl, library, program, text)kayo
estreps30.0Repeats from ESTs (bioinformatics, gpl, program)GwernBranwen, KetilMalde
event-list400.0Event lists with relative or absolute time stamps (data, gpl, library)HenningThielemann
exherbo-cabal130.0Exheres generator for cabal packages (distribution, gpl, library, program)NikolayOrlyuk
exp-pairs170.0Linear programming over exponent pairs (gpl, library, math)Bodigrim
explicit-determinant30.0explicit computation of determinant of small matrices (gpl, library, math)JohannesWaldmann
factory300.0Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)AlistairWard, LennartAugustsson
fallingblocks100.0A fun falling blocks game. (game, gpl, program)BenSanders
fast-digits120.0The fast library for integer-to-digits conversion. (benchmark, data, gpl, library)Bodigrim
fasta390.0A simple, mindless parser for fasta files. (data, gpl, library)GregorySchwartz
fathead-util20.0Utilities for working with DuckDuckHack's FatHead Instant Answers (development, gpl, library)GuiltyDolphin
fec80.0Forward error correction of ByteStrings (codec, gpl, library)AdamLangley
fences60.0To be written (gpl, library, unclassified)HansHoglund
fenfire60.0Graph-based notetaking system (gpl, program, user-interfaces)BenjaFallenstein
filepath-io-access20.0IO Access for filepath (development, gpl, library)bheklilr
find-clumpiness570.0Find the clumpiness of labels in a tree (gpl, library, math, program)GregorySchwartz
fishfood210.0Calculates file-size frequency-distribution. (gpl, library, program, utils)AlistairWard
fitsio90.0A library for reading and writing data files in the FITS data format. (data, gpl, library, physics)EricSessoms
flaccuraterip250.0Verify FLAC files ripped form CD using AccurateRip™ (gpl, program, sound)NicolaSquartini
flat-tex80.0flatten a latex multi-file latex document (gpl, program, text)JohannesWaldmann
flower160.0Analyze 454 flowgrams (.SFF files) (bioinformatics, gpl, program)KetilMalde
flowsim100.0Simulate 454 pyrosequencing (bioinformatics, gpl, program)KetilMalde
folgerhs150.0Toolset for Folger Shakespeare Library's XML annotated plays (gpl, library, program, text)unaizalakain
follower20.0Follow Tweets anonymously (application, console, gpl, program, web)EmreBasar
foo90.0Paper soccer, an OpenGL game. (game, gpl, program)DonaldStewart
fordo50.0Run a command on files with magic substituion support (sequencing and regexp) (gpl, program, utils)ChengqiSong
forth-hll (deprecated)30.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)TikhonJelvis
frag80.0A 3-D First Person Shooter Game (game, gpl, program)DonaldStewart, GwernBranwen
freekick240.0A soccer game (game, gpl, program)AnttiSalonen
frown160.0LALR(k) parser generator (gpl, program, unclassified)MatthewFarkasDyck
frp-arduino100.0Arduino programming without the hassle of C. (gpl, language, library)RickardLindberg
funcmp160.0Functional MetaPost (gpl, graphics, library)PeterSimons
futun110.0Simple IP-over-UDP tunnel using TUNTAP (gpl, network, program, system)JussiMaki
fuzzytime270.0A 'ten past six' style clock (gpl, library, program, utils)KamilStachowski
gact80.0General Alignment Clustering Tool (bioinformatics, gpl, program)KetilMalde
game-tree190.0Searching game trees with alpha-beta pruning (data, gpl, library)ColinAdams
gameclock100.0Game clock that shows two analog clock faces (game, gpl, program)AbramClark
gdo190.0recursive atomic build system (distribution, gpl, program)seppeljordan
gearbox170.0zooming rotating fractal gears graphics demo (demo, gpl, program)ClaudeHeilandAllen
geek-server40.0Geek blog engine server (gpl, library, program, web)JinjingWang
gemstone70.0A simple library of helpers for SDL+GL games. (game, gpl, library)CorbinSimpson
geni-gui920.0GenI graphical user interface (gpl, library, natural-language-processing, program)EricKow
geni-util910.0Companion tools for use with the GenI surface realiser (gpl, library, natural-language-processing, program)EricKow
geniconvert40.0Conversion utility for the GenI generator (gpl, natural-language-processing, program)EricKow
geniserver630.0Simple HTTP server for GenI results (gpl, library, natural-language-processing, program)EricKow
geom2d80.0package for geometry in euklidean 2d space (gpl, library, math)seppeljordan
ggtsTC70.0A type checker and runtime system of rCOS/g (impl. of ggts-FCS). (gpl, program, system)brianchon
ght80.0Trivial routines for inspecting git repositories (development, gpl, library, program)ConradParker
gist50.0A reliable command-line client for (gpl, program, web)SimonMichael
git-annex6750.0manage files with git, without checking their contents into git (gpl, program, utility)JoeyHess
git-checklist40.0Maintain per-branch checklists in Git (desktop, development, gpl, program)dougalstanton
git-date80.0Bindings to the date parsing from Git. (data, gpl, library)StephenWeber
git-mediate182.0Remove trivial conflict markers in a git repository (development, gpl, program)EyalLotem
git-repair412.0repairs a damanged git repisitory (gpl, program, utility)JoeyHess
github-backup340.0backs up everything github knows about a repository, to the repository (gpl, program, utility)JoeyHess
gitit1482.0Wiki using happstack, git or darcs, and pandoc. (gpl, library, network, program)JohnMacFarlane
glapp (deprecated)70.0An OpenGL micro framework. (deprecated, gpl, graphics, library, program)SchellScivally
glicko200.0Glicko-2 implementation in Haskell. (gpl, library, math)rprecenth
glome-hs60.0ray tracer (gpl, graphics, library, program)DonaldStewart, JimSnow
gloss-banana60.0An Interface for gloss in terms of a reactive-banana Behavior. (gpl, graphics, library)Twey
gmndl110.0Mandelbrot Set explorer using GTK (gpl, graphics, program)ClaudeHeilandAllen
gnome-desktop50.0Randomly set a picture as the GNOME desktop background (gpl, program, utility)ColinAdams
gnome-keyring220.0Bindings for libgnome-keyring (desktop, gpl, library)JohnMillikin
gnomevfs20.0Binding to the GNOME Virtual File System library. (gpl, library, system)AxelSimon
gnuidn550.0Bindings for GNU IDN (codec, gpl, library, text)JohnMillikin
gnutls500.0Bindings for GNU libgnutls (gpl, library, network)JohnMillikin
gopher-proxy162.25proxy gopher over http (gpl, network, program)sternenseemann
gopherbot60.0Spidering robot to download files from Gopherspace (gpl, network, program)JohnGoerzen
gruff120.0fractal explorer GUI using the ruff library (gpl, graphics, library, program)ClaudeHeilandAllen
gruff-examples70.0Mandelbrot Set examples using ruff and gruff (gpl, graphics, program)ClaudeHeilandAllen
gsasl410.0Bindings for GNU libgsasl (gpl, library, network)JohnMillikin
gt-tools150.0Console and GUI interface for Google Translate service (gpl, program, tools)MikhailPobolovets, SergeiTrofimovich
gtk-jsinput130.0A simple custom form widget for gtk which allows inputing of JSON values (gpl, graphics, library)TimothyHobbs
gtk-simple-list-view120.0A simple custom form widget for gtk which allows single LOC creation/updating of list views. (gpl, graphics, library)TimothyHobbs
gtk-toggle-button-list120.0A simple custom form widget for gtk which allows single LOC creation/updating of toggle button lists. (gpl, graphics, library)TimothyHobbs
gtk2hs-buildtools9020.0Tools to build the Gtk2Hs suite of User Interface libraries. (development, gpl, library, program)AndyStewart, AxelSimon, DanielWagner, DuncanCoutts, HamishMackenzie
gtkrsync70.0Gnome rsync progress display (gpl, network, program)JohnGoerzen
gulcii30.0graphical untyped lambda calculus interactive interpreter (gpl, gui, music, program, sound)ClaudeHeilandAllen
gutenberg-fibonaccis120.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)JustinHanekom
h-booru100.0Haskell library for retrieving data from various booru image sites (gpl, library, program, web)MateuszKowalczyk
hVOIDP80.0Optimal variable selection in chain graphical model. (ai, gpl, library, program)QiQi
hack-contrib-press40.0Hack helper that renders Press templates (gpl, library, text, web)BrandonBickford
hack-handler-evhttp50.0Hack EvHTTP (libevent) Handler (gpl, library, web)BrandonBickford
hack-handler-kibro (deprecated)90.0Hack Kibro handler (deprecated, gpl, library, web)JinjingWang
hackport1340.0Hackage and Portage integration tool (distribution, gpl, program)LennartKolmodin, SergeiTrofimovich
hails-bin (deprecated in favor of hails)40.0Dynamic launcher of Hails applications (deprecated, gpl, program, web)DeianStefan
hake320.0make tool. ruby : rake = haskell : hake (development, gpl, library, program)YoshikuniJujo
hakyll-shortcode370.0A shortcode extension module for Hakyll (gpl, library, web)nbloomf
halipeto (deprecated)80.0Haskell Static Web Page Generator (deprecated, gpl, library, text)PeterSimons
haltavista60.0looks for functions given a set of example input/outputs (development, gpl, program)PaulBrauner
hamsql52.0Interpreter for SQL-structure definitions in YAML (YamSql) (database, gpl, library, program)quabla
harchive60.0Networked content addressed backup and restore software. (gpl, program, system)DavidBrown
hark10.0A Gentoo package query tool. (gpl, program, system)MarkusDittrich
harmony92.0A web service specification compiler that generates implementation and tests. (development, gpl, library, program)SantiMunin
hascal230.0tiny calculator library and command-line program (console, gpl, library, math, parsing, program, tools, utility, utils)DagOdenhall, MekeorMelire
hascar250.0Decompress SAPCAR archives (codec, gpl, library, program)hc
haskarrow40.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)TimothyHobbs
haskeem90.0A small scheme interpreter (compilers-interpreters, gpl, program)UweHollerbach
haskelisp170.0Write Emacs module in Haskell, using Emacs 25's Dynamic Module feature (editor, emacs, gpl, library)shintak
haskell-coffee40.0Simple CoffeeScript API (gpl, language, library)KevinVanRooijen
haskell-compression70.0compress files (gpl, library, program, system)AlanHawkins
haskell-formatter50.0Haskell source code formatter (development, gpl, library, program)evolutics
haskell-pdf-presenter90.0Tool for presenting PDF-based presentations. (application, gpl, graphics, image-viewer, pdf, program)MichaelAdams
haskell-plot50.0A library for generating 2D plots painlessly. (gpl, graphics, library)kaizhang
haskell-rules40.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)spacekitteh
haskell-typescript20.0Simple TypeScript API (gpl, language, library)DavidJohnson
haskell-updater400.0Rebuild Haskell dependencies in Gentoo (distribution, gpl, program)AlexanderVershilov, IvanMiljenovic, SergeiTrofimovich
haskellscrabble180.0A scrabble library capturing the core game logic of scrabble. (game, gpl, library)happy0
haskore260.0The Haskore Computer Music System (gpl, library, music, sound)HenningThielemann
haskore-realtime60.0Routines for realtime playback of Haskore songs (gpl, library, music, sound)HenningThielemann
haskore-supercollider100.0Haskore back-end for SuperCollider (gpl, library, music, program, sound)HenningThielemann
haskore-synthesizer60.0Music rendering coded in Haskell (gpl, library, music, sound)HenningThielemann
haste-perch150.0Create, navigate and modify the DOM tree with composable syntax, with the haste compiler (gpl, library, web)AlbertoCorona
hchesslib50.0Chess library (game, gpl, library)MiikaPetteriMatikainen
hcwiid730.0Library to interface with the wiimote (gpl, library, system)IvanPerez, KiwamuOkabe, keera_studios_ci
hdbc-tuple60.0Type save tuples for HDBC (database, gpl, library)RickKaudewitz
hdf120.0HDF: Uniform Rate Audio Signal Processing in Haskell (gpl, library, sound)RohanDrape
hdm70.0a small display manager. (gpl, program, system)TimothyHobbs
hdr-histogram30.0Haskell implementation of High Dynamic Range (HDR) Histograms (benchmark, gpl, library, math, statistics)joshbohde
helium50.0The Helium Compiler. (compiler, gpl, library, program)JurriaanHage
hellnet30.0Simple, distributed, anonymous data sharing network. (gpl, library, network, program)JaroslavGridin
herms270.0A command-line manager for delicious kitchen recipes (cli, command-line-tool, culinary, gpl, program)JackKiefer
hesql130.0Haskell's embedded SQL (database, gpl, program)ChristophBauer
hetris80.0Text Tetris (game, gpl, program)GwernBranwen
hg-buildpackage70.0Tools to help manage Debian packages with Mercurial (gpl, program, system)JohnGoerzen
hgal100.0library for computation automorphism group and canonical labelling of a graph (algorithms, data-structures, gpl, library)JeanPhilippeBernardy
hgen40.0Random generation of modal and hybrid logic formulas (gpl, program, theorem-provers)GuillaumeHoffmann
hgl-example20.0Various animations generated using HGL (gpl, graphics, program)HenningThielemann
hgom90.0An haskell port of the java version of gom (compiler, gpl, program)PaulBrauner
hgrib70.0Unofficial bindings for GRIB API (data, gpl, library)mjakob
hiccup50.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, gpl, program)KyleConsalus
hichi60.0haskell robot for IChat protocol (gpl, network, program)SergeiTrofimovich
highWaterMark (deprecated)70.0Memory usage statistics (deprecated, development, gpl, program)GwernBranwen
highlighting-kate (deprecated in favor of skylighting)4680.0Syntax highlighting (deprecated, gpl, library, text)JohnMacFarlane
himerge50.0Haskell Graphical User Interface for Emerge (gpl, gui, program)LuisAraujo
himg30.0Simple gtk2hs image viewer. Point it at an image and fire away. (gpl, graphics, library, program)MateuszKowalczyk
hinvaders10.0Space Invaders (game, gpl, program)GwernBranwen
hircules90.0IRC client (gpl, network, program)JensPetersen
hjugement150.0Majority Judgment. (gpl, language, library)julm
hledger2152.5Command-line interface for the hledger accounting tool (console, finance, gpl, library, program)SimonMichael
hledger-api800.0Web API server for the hledger accounting tool (finance, gpl, program)SimonMichael
hledger-chart (deprecated in favor of hledger-web)90.0A pie chart image generator for the hledger accounting tool. (deprecated, finance, gpl, program)SimonMichael
hledger-diff670.0Compares the transactions in two ledger files. (console, finance, gpl, program)gebner
hledger-lib1860.0Core data types, parsers and functionality for the hledger accounting tools (finance, gpl, library)SimonMichael
hledger-ui1270.0Curses-style user interface for the hledger accounting tool (console, finance, gpl)SimonMichael
hledger-vty (deprecated in favor of hledger-web)160.0A curses-style console interface for the hledger accounting tool. (deprecated, finance, gpl, program)SimonMichael
hledger-web1750.0Web interface for the hledger accounting tool (finance, gpl, library)SimonMichael
hls70.0Haskell Lindenmayer Systems (gpl, graphics, library)RohanDrape
hly110.0Haskell LilyPond (gpl, library, music)RohanDrape
hmatrix-glpk260.0Linear Programming based on GLPK (gpl, library, math)AlbertoRuiz
hmatrix-gsl380.0Numerical computation (gpl, library, math)AlbertoRuiz
hmatrix-special190.0Interface to GSL special functions (gpl, library, math)AlbertoRuiz
hmatrix-static70.0hmatrix with vector and matrix sizes encoded in types (gpl, library, math)ReinerPope
hmatrix-syntax60.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)ReinerPope
hmeap140.0Haskell Meapsoft Parser (gpl, library, sound)RohanDrape
hmeap-utils40.0Haskell Meapsoft Parser Utilities (gpl, program, sound)RohanDrape
hmk220.0A make alternative based on Plan9's mk. (control, development, distribution, gpl, library, program)MathieuBoespflug
hmp3160.0An ncurses mp3 player written in Haskell (gpl, program, sound)DonaldStewart, IsaacJones
hmt180.0Haskell Music Theory (gpl, library, music)RohanDrape
hmt-diagrams50.0Haskell Music Theory Diagrams (gpl, library, music)RohanDrape
hmumps30.0Interpreter for the MUMPS langugae (development, gpl, program)AntoineLatter
hob30.0A source code editor aiming for the convenience of use (gpl, ide, library, program)rakatan
hommage-ds30.0DirectSound extension (Windows) for the Hommage sound library (gpl, library, sound)DanielVanDenEijkel
hoodie10.0A small, toy roguelike (game, gpl, program)dvolk
hoodle260.0Executable for hoodle (application, gpl, library, program)IanWooKim
hoodle-extra30.0extra hoodle tools (application, gpl, program)IanWooKim
hoq90.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)valis
hosc3610.0Haskell Open Sound Control (benchmark, gpl, library, sound)HenningThielemann, PaoloVeronelli, RohanDrape
hosc-json80.0Haskell Open Sound Control JSON Serialisation (gpl, library, sound)RohanDrape
hosc-utils40.0Haskell Open Sound Control Utilities (gpl, program, sound)RohanDrape
hosts-server60.0An dns server which is extremely easy to config. (gpl, network, program)YiHuang
hpaste80.0Haskell paste web site. (gpl, program, web)ChrisDone, DonaldStewart
hplaylist70.0Application for managing playlist files on a music player (gpl, program, sound)TimChevalier
hpodder180.0Podcast Aggregator (downloader) (gpl, network, program)JohnGoerzen
hps100.0Haskell Postscript (gpl, graphics, library)RohanDrape
hps-cairo50.0Cairo rendering for the haskell postscript library (gpl, graphics, library, program)RohanDrape
hps-kmeans30.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)RodrigoGadea
hpylos52.0AI of Pylos game with GLUT interface. (ai, game, gpl, program)BartoszWojcik
hs-bibutils4630.0Haskell bindings to bibutils, the bibliography conversion utilities. (gpl, library, text)AndreaRossato, wilx
hs-twitterarchiver60.0Commandline Twitter feed archiver (gpl, network, program)DeepakJois
hsay50.0(ab)Use Google Translate as a speech synthesiser (accessibility, gpl, program)alexander
hsc3410.0Haskell SuperCollider (gpl, library, sound)HenningThielemann, RohanDrape
hsc3-auditor110.0Haskell SuperCollider Auditor (gpl, library, sound)RohanDrape
hsc3-cairo60.0haskell supercollider cairo drawing (gpl, library, sound)RohanDrape
hsc3-data30.0haskell supercollider data (gpl, library, sound)RohanDrape
hsc3-db150.0Haskell SuperCollider Unit Generator Database (gpl, library, sound)RohanDrape
hsc3-dot140.0haskell supercollider graph drawing (gpl, library, sound)RohanDrape
hsc3-forth50.0FORTH SUPERCOLLIDER (gpl, program, sound)RohanDrape
hsc3-graphs70.0Haskell SuperCollider Graphs (gpl, library, program, sound)RohanDrape
hsc3-lang150.0Haskell SuperCollider Language (gpl, library, sound)RohanDrape
hsc3-lisp50.0LISP SUPERCOLLIDER (gpl, program, sound)RohanDrape
hsc3-plot50.0Haskell SuperCollider Plotting (gpl, library, sound)RohanDrape
hsc3-process190.0Create and control scsynth processes (gpl, library, sound)StefanKersten
hsc3-rec110.0Haskell SuperCollider Record Variants (gpl, library, sound)RohanDrape
hsc3-rw60.0hsc3 re-writing (gpl, library, sound)RohanDrape
hsc3-server170.0SuperCollider server resource management and synchronization. (gpl, library, sound)StefanKersten
hsc3-sf120.0Haskell SuperCollider SoundFile (gpl, library, sound)RohanDrape
hsc3-sf-hsndfile170.0Haskell SuperCollider SoundFile (gpl, library, sound)RohanDrape
hsc3-unsafe120.0Unsafe Haskell SuperCollider (gpl, library, sound)RohanDrape
hsc3-utils30.0Haskell SuperCollider Utilities (gpl, library, program, sound)RohanDrape
hsclock60.0An elegant analog clock using Haskell, GTK and Cairo (gpl, program, system)DonaldStewart
hsdif60.0Haskell SDIF (gpl, library, sound)RohanDrape
hsfacter (deprecated in favor of language-puppet)100.0A small and ugly library that emulates the output of the puppet facter program. (deprecated, gpl, library, system)SimonMarechal
hsgtd70.0Console-based gettings-things-done application (gpl, other, program)MichaelLesniak
hsharc80.0Haskell SHARC bindings (gpl, library, sound)RohanDrape
hspear60.0Haskell Spear Parser (gpl, library, sound)RohanDrape
hspecVariant100.0Spec for testing properties for variant types (gpl, library, testing)sanjorgek
hsprocess (deprecated in favor of haskell-awk)40.0The Haskell Stream Processor command line utility (console, deprecated, gpl, library, program)MarioPastorelli
hstorchat60.0Distributed instant messaging over Tor (gpl, library, network, program)creichert, ChristopherReichert
hswip20.0embedding prolog in haskell (foreign, gpl, language, library)EvgenyTarasov
htirage150.0Equiprobable draw from publicly verifiable random data. (gpl, language, library)julm
html-minimalist140.0Minimalist haskell html library (gpl, library, text)RohanDrape
hts110.0Haskell Music Typesetting (gpl, library, music)RohanDrape
htsn (deprecated)200.0Parse XML files from The Sports Network feed. (deprecated, gpl, program, utils)MichaelOrlitzky
htsn-common (deprecated)60.0Display/logging facilities used by both htsn and htsn-import. (deprecated, gpl, library, utils)MichaelOrlitzky
htsn-import (deprecated)240.0Import XML files from The Sports Network into an RDBMS. (deprecated, gpl, program, utils)MichaelOrlitzky
https-everywhere-rules-raw40.0Low-level (i.e. XML) access to HTTPS Everywhere rulesets. (data, gpl, library)vi
hums230.0Haskell UPnP Media Server (gpl, network, program)BardurArantsson
hunp40.0Unpacker tool with DWIM (console, gpl, program, utils)DenizDogan
husky60.0A simple command line calculator. (console, gpl, program)MarkusDittrich
hydrogen30.0An alternate Prelude (gpl, library, prelude)KarlVoelker
hylolib130.0Tools for hybrid logics related programs (gpl, library, theorem-provers)GuillaumeHoffmann
hylotab40.0Tableau based theorem prover for hybrid logics (gpl, program, theorem-provers)GuillaumeHoffmann
hyloutils30.0Very small programs for hybrid logics (gpl, program, theorem-provers)GuillaumeHoffmann
hzulip312.0A haskell wrapper for the Zulip API. (gpl, library, web)yamadapc
ib-api60.0An API for the Interactive Brokers Trading Workstation written in pure Haskell (gpl, library, network, program)rbermani
ideas-math80.0Interactive domain reasoner for logic and mathematics (education, gpl, program)BastiaanHeeren
ieee754-parser (deprecated in favor of data-binary-ieee754)50.0 (data, deprecated, gpl, library)JohnMillikin
iff190.0Constructing and dissecting IFF files (codec, gpl, library)HenningThielemann
ige181.25An keyboard-driven interactive graph editor (editing, gpl, program)olynch
imbib20.0Minimalistic reference manager. (gpl, program, text)JeanPhilippeBernardy
imparse40.0Multi-platform parser analyzer and generator. (gpl, library, program, text)AndreiLapets
incremental-parser760.0Generic parser library capable of providing partial results from partial input. (benchmark, gpl, library, parsing)MarioBlazevic
inf-interval60.0Non-contiguous interval data types with potentially infinite ranges. (gpl, library, numeric)RaminHonary
infernu80.0Type inference and checker for JavaScript (experimental) (gpl, library, program, unclassified)NoamLewis
infix90.0Infix expression re-parsing (for HsParser library) (gpl, library, parsing)GwernBranwen
inject-function80.0Monadic functions with injected parameters. (control, gpl, library)DimitriSabadie
inquire20.0Console client for encyclopedias (gpl, program, web)orbifx
instant-zipper30.0Heterogenous Zipper in Instant Generics (generics, gpl, library)BramSchuur
instrument-chord240.0Render Instrument Chords (gpl, library, music)AlanHawkins
interlude80.0Replaces some Prelude functions for enhanced error reporting (development, gpl, library)GwernBranwen, KetilMalde
internetmarke60.0Shell command for constructing custom stamps for German Post (console, gpl, graphics, program)HenningThielemann
interpol110.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)AlexandruScvortov
interval110.0Intervals with adherences. (data-structures, gpl, library)julm
intricacy290.0A game of competitive puzzle-design (game, gpl)mbays
ipatch60.0interactive patch editor (development, gpl, program)JoachimBreitner
iron-mq40.0Iron.IO message queueing client library (gpl, library, network)arnoblalam
isotope150.0Isotopic masses and relative abundances. (chemistry, gpl, library)Michaelt293
iyql120.0CLI (command line interface) to YQL (gpl, network, program)DiegoSouza
jack220.0Bindings for the JACK Audio Connection Kit (gpl, library, sound)HenningThielemann
jackminimix30.0control JackMiniMix (gpl, library, sound)RenickBell
jalla100.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (gpl, library, math)ChristianGosch
jammittools550.0Export sheet music and audio from Windows/Mac app Jammit (gpl, library, program, sound)mtolly
jarfind80.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, gpl, language, library, program, utils)EugeneKirpichov
jdi40.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)VictorDenisov
jsonrpc-conduit160.0JSON-RPC 2.0 server over a Conduit. (conduit, gpl, library)GabrieleSales
kanji30.0Perform 漢字検定 (Japan Kanji Aptitude Test) level analysis on Japanese Kanji. (data, gpl, library)fosskers
kbq-gu70.0Rpoku spoken word programming language (gpl, language, program)AndriiZvorygin
kdesrc-build-extra50.0Build profiles for kdesrc-build (development, gpl, program)ivan
kevin330.0a dAmn ↔ IRC proxy (gpl, program, utils)JoelTaylor
korfu40.0The Korfu ORF Utility (bioinformatics, gpl, program)KetilMalde
lambda2js71.5Untyped Lambda calculus to JavaScript compiler (compiler, gpl, program)MatejKollar
lambdaFeed20.0RSS 2.0 feed generator (gpl, program, web)DonaldStewart
lambdabot480.0Lambdabot is a development tool and advanced IRC bot (development, gpl, program, web)BertramFelgenhauer, DmitryMalikov, GwernBranwen, IsaacJones, JamesCook
lambdabot-core350.0Lambdabot core functionality (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-haskell-plugins350.0Lambdabot Haskell plugins (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-irc-plugins350.0IRC plugins for lambdabot. (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-misc-plugins270.0Lambdabot miscellaneous plugins (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-novelty-plugins310.0Novelty plugins for Lambdabot (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-reference-plugins400.0Lambdabot reference plugins. (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-social-plugins320.0Social plugins for Lambdabot (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-trusted380.0Lambdabot trusted code. (development, gpl, library, web)BertramFelgenhauer, JamesCook
lambdabot-utils (deprecated in favor of lambdabot)60.0Utility libraries for the advanced IRC bot, Lambdabot (deprecated, development, gpl, library, web)GwernBranwen, JanStolarek
lambdatex170.0Type-Safe LaTeX EDSL (gpl, library, text)Norfair
language-dockerfile220.0Dockerfile linter, parser, pretty-printer and embedded DSL (development, gpl, library)yamadapc
language-go100.0A library for analysis and synthesis of Go code. (gpl, language, library)AndrewRobbins
lat40.0Tool to track security alerts on LWN (gpl, program, utils)MagnusTherning
lazy-hash120.0Identifiers for not-yet-computed values (data, gpl, library)leftaroundabout
lazy-hash-cache110.0Storing computed values for re-use when the same program runs again. (data, gpl, library)leftaroundabout
leaf40.0A simple portfolio generator (gpl, program, web)DimitriSabadie
leksah1230.0Haskell IDE written in Haskell (development, editor, gpl, ide, library, program)HamishMackenzie, JuergenNicklischFranken
leksah-server1130.0Metadata collection for leksah (gpl, ide, library, program)HamishMackenzie, JuergenNicklischFranken
lentil632.0frugal issue tracker (development, gpl, program)fffaaa, lwm
lfst100.0L-Fuzzy Set Theory implementation in Haskell (gpl, library, math)claudiogreco
lhae (deprecated)30.0Simple spreadsheet program (data, deprecated, gpl, program)AlexanderBau
lhs2tex2400.0Preprocessor for typesetting Haskell sources with LaTeX (development, gpl, language, program)AndresLoeh
libGenI (deprecated in favor of GenI)170.0A natural language generator (specifically, an FB-LTAG surface realiser) (deprecated, gpl, library, natural-language-processing)EricKow
liblawless760.0Prelude based on protolude for GHC 8 and beyond. (gpl, library, prelude)misandrist
libmolude (deprecated in favor of liblawless)50.0Prelude based on protolude for GHC 8 and beyond. (deprecated, gpl, library, prelude)misandrist
libpafe40.0Wrapper for libpafe (ffi, gpl, library)haru2036
line-break140.0Convert newlines in text (gpl, program, text)AlanHawkins
line-size100.0Display the number of bytes of each line (data, gpl, program)AlanHawkins
linearmap-category170.0Native, complete, matrix-free linear algebra. (gpl, library, math)leftaroundabout
linkchk30.0linkchk is a network interface link ping monitor. (gpl, program, system)GwernBranwen
lio392.0Labeled IO Information Flow Control Library (gpl, library, security)AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)60.0Labeled IO library (deprecated, gpl, library, security)AlejandroRusso
lio-fs90.0Labeled File System interface for LIO (gpl, library, security)DeianStefan
list-prompt110.0A simple list prompt UI for the terminal. (gpl, library, system)yamadapc
list-remote-forwards40.0List all remote forwards for mail accounts stored in a SQL database. (gpl, mail, program, utils)MichaelOrlitzky
lit120.0A simple tool for literate programming (development, gpl, program)cdosborn
live-sequencer170.0Live coding of MIDI music (gpl, gui, library, music, program, sound)HenningThielemann
local-search120.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, gpl, library, local-search, optimisation)RichardSenington
log2json30.0Turn log file records into JSON. (gpl, json, library, logging, program, text, tools, utils)HaroldLee
logic-TPTP390.0Import, export etc. for TPTP, a syntax for first-order logic (codec, gpl, library, math, theorem-provers)DanielSchuessler, KiYungAhn
lol180.0A library for lattice cryptography. (crypto, gpl, library)crockeea
lol-apps100.0Lattice-based cryptographic applications using < lol>. (benchmark, crypto, gpl, library, program)crockeea
lol-benches120.0A library for benchmarking < lol>. (crypto, gpl, library)crockeea
lol-calculus60.0Calculus for LOL (λω language). (gpl, language)julm
lol-cpp70.0A fast C++ backend for < lol>. (benchmark, crypto, gpl, library)crockeea
lol-repa70.0A repa backend for < lol>. (benchmark, crypto, gpl, library)crockeea
lol-tests30.0A library for testing < Λ ∘ λ>. (crypto, gpl, library)crockeea
lol-typing20.0Type inferencer for LOL (λω language) (gpl, language, library)julm
loris50.0interface to Loris API (gpl, library, music, sound)JohnLato
lostcities30.0An implementation of an adictive two-player card game (game, gpl, program)PedroVasconcelos
lp-diagrams-svg40.0SVG Backend for lp-diagrams (gpl, graphics, library)JeanPhilippeBernardy
ltk852.0Leksah tool kit (gpl, gui, library)HamishMackenzie, JuergenNicklischFranken
luachunk20.0Library functions for reading and writing Lua chunks (gpl, library, scripting)AnupamJain
lucienne (deprecated)20.0Server side feed aggregator/reader (deprecated, gpl, program, web)AlexanderBau
lxd-client1020.0LXD client written in Haskell. (gpl, library, program, system)hverr
lxd-client-config600.0Read the configuration file of the standard LXD client. (gpl, library, system)hverr
macbeth-lib10.0Macbeth - A beautiful and minimalistic FICS client (game, gpl, library, program)tgass
machines-amazonka100.0Machine transducers for Amazonka calls. (gpl, library, network)misandrist
mahoro60.0ImageBoards to XMPP gate (gpl, program, web)OlegIvanov
mailbox-count60.0Count mailboxes in a SQL database. (gpl, mail, program, utils)MichaelOrlitzky
make-hard-links70.0Change duplicated files into hard-links. (gpl, program, system)FelipeLessa
manatee280.0The Haskell/Gtk+ Integrated Live Environment (desktop-environment, gpl, ide, library, manatee, operating-system, program)AndyStewart
manatee-all20.0Virtual package to install all Manatee packages. (desktop-environment, gpl, ide, library, manatee, operating-system, program)AndyStewart
manatee-anything80.0Multithread interactive input/search framework for Manatee (desktop-environment, gpl, ide, library, manatee, operating-system, program)AndyStewart
manatee-browser140.0Browser extension for Manatee. (browser, gpl, library, manatee, network, program)AndyStewart
manatee-core100.0The core of Manatee. (desktop-environment, gpl, ide, library, manatee, operating-system)AndyStewart
manatee-curl110.0Download Manager extension for Manatee. (download-manager, gpl, library, manatee, network, program)AndyStewart
manatee-editor100.0Editor extension for Manatee. (editor, gpl, ide, library, manatee, program)AndyStewart
manatee-filemanager130.0File manager extension for Manatee. (file-manager, gpl, library, manatee, program)AndyStewart
manatee-imageviewer120.0Image viewer extension for Manatee. (gpl, image, image-viewer, library, manatee, program)AndyStewart
manatee-ircclient120.0IRC client extension for Manatee. (gpl, irc, irc-client, library, manatee, program)AndyStewart
manatee-mplayer120.0Mplayer client extension for Manatee. (gpl, library, manatee, multimedia, multimedia-player, program)AndyStewart
manatee-pdfviewer130.0PDF viewer extension for Manatee. (gpl, library, manatee, pdf, pdf-viewer, program)AndyStewart
manatee-processmanager120.0Process manager extension for Manatee. (gpl, library, manatee, process-manager, program, system)AndyStewart
manatee-reader130.0Feed reader extension for Manatee. (atom, feed, gpl, library, manatee, program, rss, rss-atom-reader)AndyStewart
manatee-template60.0Template code to create Manatee application. (gpl, ide, library, manatee, program, template)AndyStewart
manatee-terminal70.0Terminal Emulator extension for Manatee. (download-manager, gpl, library, manatee, network, program)AndyStewart
manatee-welcome20.0Welcome module to help user play Manatee quickly. (gpl, ide, library, manatee, program, welcome)AndyStewart
mandulia90.0A zooming visualisation of the Mandelbrot Set as many Julia Sets. (gpl, graphics, program)ClaudeHeilandAllen
manifold-random90.0Sampling random points on general manifolds. (gpl, library, math)leftaroundabout
manifolds200.0Coordinate-free hypersurfaces (gpl, library, math)leftaroundabout
manifolds-core140.0The basic classes for the manifolds hierarchy. (gpl, library, math)leftaroundabout
markov-chain370.0Markov Chains for generating random sequences with a user definable behaviour. (algorithms, gpl, library)HenningThielemann
markup-preview130.0A simple markup document preview (markdown, textile, reStructuredText) (gpl, program, text)MariusGhita
mars90.0Generates mountainous terrain using a random walk algorithm. (gpl, graphics, library)infrared
marxup130.0Markup language preprocessor for Haskell (gpl, library, program, text)JeanPhilippeBernardy
masakazu-bot50.0@minamiyama1994_bot on haskell (gpl, program, web)minamiyama1994
mathexpr150.0Parse and evaluate math expressions with variables and functions (gpl, library, math)mdibaiee
mathgenealogy210.0Discover your (academic) ancestors! (gpl, program, web)PeterRobinson
matsuri40.0ncurses XMPP client (gpl, network, program)OlegIvanov
maxent-learner-hw180.0Hayes and Wilson's maxent learning algorithm for phonotactic grammars. (gpl, library, linguistics, program)gtsteel
maxent-learner-hw-gui140.0GUI for maxent-learner-hw (gpl, linguistics, program)gtsteel
mcm122.0Manages the contents of files and directories (gpl, language, program, system, text)AnthonyDoggett
mcmc-synthesis90.0MCMC applied to probabilistic program synthesis (gpl, language, library)TikhonJelvis
med-module150.0Parse song module files from Amiga MED and OctaMED (gpl, library, sound)HenningThielemann
mediawiki2latex170.0Convert MediaWiki text to LaTeX (gpl, program, text)dhun
medium-sdk-haskell40.0Haskell SDK for communicating with the Medium API (gpl, library, web)timmy_tofu
memscript110.0Command line utility for memorizing scriptures or any other text (education, gpl, program)KiYungAhn
mida (deprecated)100.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)mrkkrp
midair80.0Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)TomMurphy
midi400.0Handling of MIDI messages and files (gpl, library, music, sound)HenningThielemann
midi-utils20.0Utilities for working with MIDI data (gpl, library, sound)GuiltyDolphin
mikrokosmos260.0Lambda calculus interpreter (gpl, language, program)mroman42
miniball100.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)GardSpreemann
minilens122.0A minimalistic lens library, providing only the simplest, most basic lens functionality. (data, gpl, lens, library)RaminHonary
minst-idx (deprecated in favor of mnist-idx)60.0Read and write IDX data that is used in e.g. the MINST database. (data, deprecated, gpl, library)muzzle
mios130.0A Minisat-based SAT solver in Haskell (artificial-intelligence, constraints, gpl, program)shnarazk
mirror-tweet20.0Tweet mirror (gpl, program, web)minamiyama1994
missing-py250.0Haskell interface to Python (foreign, gpl, library)domdere
mkbndl20.0Makes an OS X .app bundle from a binary. (distribution, gpl, program)ThomasDavie
mkcabal130.0Generate cabal files for a Haskell project (distribution, gpl, program)DonaldStewart
modify-fasta210.0Modify fasta (and CLIP) files in several optional ways (bioinformatics, gpl, library, program)GregorySchwartz
modulo140.0Modular C code generator (ffi, gpl, language, library, program)HansHoglund
monad-coroutine320.0Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, gpl, library, monads)MarioBlazevic
monadbi (deprecated)70.0Extract underlying monads from monad transformers (control, deprecated, gpl, library)AnupamJain
monadfibre (deprecated)100.0Monadic functions which provide Choice and Parallelism. (control, deprecated, gpl, library)AnupamJain
mount (deprecated in favor of linux-mount)90.0Mounts and umounts filesystems (deprecated, gpl, library, system)NicolaSquartini
mp80.0Music player for linux. (gpl, program, sound)piotrborek
mpppc70.0Multi-dimensional parametric pretty-printer with color (gpl, library, text)DarinMorrison
mpris40.0Interface for MPRIS (gpl, library, media)Fuco
mpvguihs20.0A minimalist mpv GUI written in I/O heavy Haskell. (gpl, multimedia, program)pse
mqtt-hs240.0A MQTT client library. (gpl, library, network)LukasBraun
mrifk190.0Decompiles Glulx files (decompiler, gpl, program, util)MicroTransactions
mucipher70.0A library to produce simple ciphers for use with lambdabot. (codec, gpl, library)AndrewRobbins
musicbrainz-email (deprecated)30.0Send an email to all MusicBrainz editors (deprecated, gpl, library, musicbrainz, program)OliverCharles
mute-unmute30.0Watches your screensaver and (un)mutes music when you (un)lock the screen. (gpl, program, system)KrzysztofSkrzetnicki
namecoin-update140.0Tool to keep namecoin names updated and well (gpl, library, network, program)rnhmjoj
nanq70.0Performs 漢字検定 (Japan Kanji Aptitude Test) level analysis on given Kanji. (gpl, natural-language-processing, program)fosskers
naver-translate60.0Interface to Naver Translate (gpl, language, library)hongminhee
ncurses840.0Modernised bindings to GNU ncurses (foreign, gpl, library, user-interfaces)JohnMillikin
neet90.0A NEAT library for Haskell (ai, gpl, library)hijiri
nested-sets430.0Nested set model implementation (data-structures, gpl, library)rakatan
netclock130.0Netclock protocol (gpl, library, network)AlexMcLean
netrc60.0Parser for .netrc files (gpl, library, network)HerbertValerioRiedel
netstring-enumerator (deprecated)40.0Enumerator-based netstring parsing (deprecated, enumerator, gpl, library, network, parsing)JohnMillikin
network-house60.0data and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, TFTP (gpl, library, network)NiklasHambuechen
network-protocol-xmpp610.0Client library for the XMPP protocol. (gpl, library, network)JohnMillikin
network-server80.0A light abstraction over sockets & co. for servers (gpl, library, network, program, system)RickKaudewitz
network-stream40.0ByteString and Text streams for networking (data, gpl, library)JaredHance
newsynth290.0Exact and approximate synthesis of quantum circuits (gpl, library, program, quantum)PeterSelinger
nix-eval550.0Evaluate Haskell expressions using Nix to get packages (gpl, language, library)chriswarbo
non-negative1100.0Non-negative numbers (gpl, library, math)HenningThielemann
nonlinear-optimization170.0Various iterative algorithms for optimization of nonlinear functions. (gpl, library, math)FelipeLessa
nonlinear-optimization-ad90.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)MasahiroSakai
notmuch-web70.0A web interface to the notmuch email indexer (gpl, library, web)JohnLenz
number-show110.0Flexible and accurate (for a given precision) numerical->string conversion (gpl, library, text)leftaroundabout
numeric-quest120.0Math and quantum mechanics (gpl, library, math)HenningThielemann
oauth10a110.0Fully Automatic Luxury OAuth 1.0a headers (gpl, library, web)gatlin
obd110.0Communicate to OBD interfaces over ELM327 (gpl, hardware, library, program)hverr
obdd230.0Ordered Reduced Binary Decision Diagrams (gpl, library, logic)JohannesWaldmann
octopus50.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)ZankokuOkuno
once110.0memoization for IO actions and functions (data, gpl, library)KAction
only100.0A grep-like tool for filtering on words or lines. (console, gpl, program)AndrewRobbins
oo-prototypes660.0Support for OO-like prototypes (data, gpl, library)DmitryIvanov, MateuszKowalczyk
open-haddock40.0Open haddock HTML documentation (development, gpl, program)jml
open-pandoc (deprecated in favor of pandoc)60.0Conversion between markup formats (deprecated, gpl, text)PeterSimons
openexr-write140.0Library for writing images in OpenEXR HDR file format. (gpl, graphics, library)pavolzetor
opensoundcontrol-ht70.0Haskell OpenSoundControl utilities (gpl, library, sound)HenningThielemann
org2anki110.0Basic org to anki exporter (gpl, language, program)mroman42
organize-imports60.0Organize scala imports (development, gpl, program)lcycon
orgstat670.0Statistics visualizer for org-mode (gpl, library, program, unclassified)volhovm
oscpacking70.0Implements an osculatory packing (kissing circles) algorithm and display. (gpl, graphics, library)infrared
oso2pdf50.0Better conversion of Oxford Scholarship Online material to PDF (gpl, program, text)spwhitton
packed-multikey-map400.0Efficient “spreadsheet table” like maps with multiple marginals (data, gpl, library)leftaroundabout
panda (deprecated in favor of bamboo)360.0A simple static blog engine (deprecated, gpl, library, web)JinjingWang
pandoc34862.75Conversion between markup formats (gpl, library, program, text)JohnMacFarlane
pandoc-citeproc-preamble420.0Insert a preamble before pandoc-citeproc's bibliography (gpl, program, text)spwhitton
pandoc-crossref2260.0Pandoc filter for cross-references (gpl, library, program, text)lierdakil
pandoc-japanese-filters30.0Japanese-specific markup filters for pandoc. (gpl, program, text)HiromiIshii
pandoc-placetable140.0Pandoc filter to include CSV files (gpl, program, text)mb21
pang-a-lambda60.0A super-pang clone (game, gpl, program)keera_studios_ci
paphragen110.0A passphrase generator. (gpl, program, security)mgmillani
parport60.0Simply interfacing the parallel port on linux (gpl, hardware, library)RickKaudewitz
parsek160.0Parallel Parsing Processes (gpl, library, parsing)JeanPhilippeBernardy
pasty70.0A simple command line pasting utility (console, gpl, program)MarkusDittrich
patat390.0Terminal-based presentations using Pandoc (gpl, program, text)JasperVanDerJeugt
pdf2line120.0Simple command-line utility to convert PDF into text (gpl, program, text)AudreyTang
pdynload70.0pdynload is polymorphic dynamic linking library. (development, gpl, library, other)AndyStewart
peg80.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)DustinDeWeese
persist2er30.0Transforms persist's quasi-quoted syntax into ER format (database, gpl, program)fgaray
pesca130.0Proof Editor for Sequent Calculus (compilers-interpreters, gpl, program, theorem-provers)GwernBranwen
phash150.0Haskell bindings to pHash, the open source perceptual hash library (data, gpl, library)MichaelXavier
phizzle80.0Library for checking if a given link is in a phishtank json file (gpl, library, phishing)bmcg
phraskell90.0A fractal viewer. (gpl, graphics, program)DimitriSabadie
pi-calculus60.0Applied pi-calculus interpreter (gpl, program, web)renzyq19
pia-forward50.0Set up port forwarding with the Private Internet Access VPN service. (gpl, network, program)EchoNolan
picedit180.0simple image manipulation functions (gpl, image, library, matrix, picture, program)mdibaiee
pictikz150.0Converts a svg image to tikz code. (gpl, graphics, program)mgmillani
pkcs180.0RSA encryption with PKCS1 padding (cryptography, gpl, library)GwernBranwen
plailude142.0plaimi's prelude (data, gpl, library)alexander
plot-gtk-ui190.0A quick way to use Mathematica like Manipulation abilities (gpl, library, math)sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)80.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)sumitsahrawat
plotfont80.0Plotter-like fonts i.e. a series of straight lines which make letter shapes. (gpl, graphics, library)mjoldfield
polynomials-bernstein130.0A solver for systems of polynomial equations in bernstein form (gpl, library, math)JeanPhilippeBernardy, PierreEtienneMeunier
pomodoro40.0pomodoro timer (gpl, office, program)zohl
popenhs20.0popenhs is a popen-like library for Haskell. (gpl, library, system)GwernBranwen
poppler280.0Binding to the Poppler. (gpl, graphics, library)AndyStewart, IanWooKim
postgresql-orm222.5An ORM (Object Relational Mapping) and migrations DSL for PostgreSQL. (database, gpl, library, program)AmitLevy, DavidMazieres
postmaster (deprecated)200.0Postmaster ESMTP Server (deprecated, gpl, network, program)PeterSimons
potato-tool60.0Command line Dreamcast VMU filesystem toolset. (gpl, program, system)RossMeikleham
potrace70.0Trace bitmap images to paths using potrace (gpl, graphics, library)cchalmers
potrace-diagrams30.0Potrace bindings for the diagrams library (gpl, graphics, library)cchalmers
pragmatic-show790.0Alternative Show class that gives shorter view if possible. (gpl, library, text)leftaroundabout
press100.0Text template library targeted at the web / HTML generation (gpl, library, text, web)BrandonBickford
pretty-compact260.0Pretty-printing library (benchmark, gpl, library, text)JeanPhilippeBernardy
primula-board10.0ImageBoard on Happstack and HSP (gpl, program, web)OlegIvanov
primula-bot40.0Jabber-bot for primula-board ImageBoard (gpl, program, web)OlegIvanov
proc130.0Parse process information for Linux (gpl, library, system)AndyStewart
proj4-hs-bindings70.0Haskell bindings for the Proj4 C dynamic library. (data, gpl, library)PavelPenev
puppetresources (deprecated in favor of language-puppet)90.0A program that displays the puppet resources associated to a node given .pp files. (deprecated, gpl, program, system)SimonMarechal
pwstore-cli100.0Command line interface for the pwstore library (console, cryptography, gpl, program)RobertHelgesson
pxsl-tools70.0Parsimonious XML Shorthand Language--to-XML compiler (gpl, program, xml)TomMoertel
quickbench90.0quick & easy benchmarking of command-line programs (development, gpl, library, program)SimonMichael
quicklz180.0QuickLZ compression for ByteStrings (codec, gpl, library)AustinSeipp
quickterm162.0An interface for describing and executing terminal applications (development, gpl, library, program)sgschlesinger
quickwebapp80.0A quick webapp generator for any file processing tool (gpl, library, web)jtanguy
rabocsv2qif180.0A library and program to create QIF files from Rabobank CSV exports. (finance, gpl, library, program)SanderVenema
random-tree120.0Create random trees (data-structures, gpl, library)GregorySchwartz
rank-product190.0Find the rank product of a data set. (bioinformatics, gpl, library)GregorySchwartz
rasa180.0A modular text editor (executable, gpl, library, text-editor)ChrisPenner
rasa-example-config100.0Example user config for Rasa (config, gpl, program)ChrisPenner
rasa-ext-cmd70.0Rasa Ext for running commands (extension, gpl, library)ChrisPenner
rasa-ext-cursors110.0Rasa Ext adding cursor(s) (extension, gpl, library)ChrisPenner
rasa-ext-files120.0Rasa Ext for filesystem actions (extension, gpl, library)ChrisPenner
rasa-ext-logger80.0Rasa Ext for logging state/actions (extension, gpl, library)ChrisPenner
rasa-ext-slate120.0Rasa extension for rendering to terminal with vty (extension, gpl, library)ChrisPenner
rasa-ext-status-bar80.0Rasa Ext for populating status-bar (extension, gpl, library)ChrisPenner
rasa-ext-style110.0Rasa Ext managing rendering styles (extension, gpl, library)ChrisPenner
rasa-ext-views70.0Rasa Ext managing rendering views (extension, gpl, library)ChrisPenner
rasa-ext-vim90.0Rasa Ext for vim bindings (extension, gpl, library)ChrisPenner
rbr40.0Mask nucleotide (EST) sequences in Fasta format (bioinformatics, gpl, program)GwernBranwen, KetilMalde
reactive-banana-sdl40.0Reactive Banana bindings for SDL (gpl, graphics, library)JeanPhilippeMoresmau
reactivity120.0An alternate implementation of push-pull FRP. (frp, gpl, reactivity)JamesCandy
readline1950.0An interface to the GNU readline library (console, gpl, library)JanStolarek
reexport-crypto-random50.0 (gpl, library, miscellaneous)JamesCandy
regexchar210.0A POSIX, extended regex-engine. (gpl, library, program, regex, text)AlistairWard
regexdot190.0A polymorphic, POSIX, extended regex-engine. (gpl, library, regex, search)AlistairWard
reheat30.0to make notes and reduce impact on idle time on writing other programms. (gpl, program, tools)palo
reify40.0Serialize data (data, gpl, library, program)GwernBranwen
resolv360.0Domain Name Service (DNS) lookup via the libresolv standard library routines (gpl, library, network)HerbertValerioRiedel
resolve-trivial-conflicts (deprecated in favor of git-mediate)230.0Remove trivial conflict markers in a git repository (deprecated, development, gpl, program)EyalLotem
restless-git620.0Easy Git repository serialization (git, gpl, library, serialization)mbrock
revdectime60.0A French revolutionary decimal time (metric) clock (gpl, program, utils)KamilStachowski
rezoom (deprecated)50.0Github resume generator (deprecated, gpl, program, utils)JoelTaylor
riot20.0Riot is an Information Organisation Tool (gpl, program, system)DonaldStewart
rlwe-challenges90.0Ring-LWE/LWR challenges using Lol. (crypto, gpl, library, program)crockeea
robin70.0A build daemon for Haskell development (development, gpl, program)KarlVoelker
roller100.0Playing with applicatives and dice! (acme, gpl, library, program)ljsc, PiotrJustyna
rosa220.0Query the namecoin blockchain (gpl, program, utility)rnhmjoj
rose-trie100.0Trees with polymorphic paths to nodes, combining properties of Rose Trees and Tries. (data, gpl, library)RaminHonary
rtorrent-state20.0Parsing and manipulation of rtorrent state file contents (data, gpl, library)MateuszKowalczyk
rts-loader (deprecated)70.0Dynamically load Haskell libraries (deprecated, distribution, gpl, library, program)DanielG
rubberband100.0Binding to the C++ audio stretching library Rubber Band (gpl, library, sound)mtolly
runghc110.0runghc replacement for fast repeated runs (console, gpl, program)MikeZuser
sat110.0CNF SATisfier (algorithms, gpl, program)AndriiZvorygin
satchmo670.0SAT encoding monad (gpl, library, logic)JohannesWaldmann
satchmo-backends100.0driver for external satchmo backends (algorithms, gpl, library)JohannesWaldmann
satchmo-examples60.0examples that show how to use satchmo (algorithms, gpl, program)JohannesWaldmann
satchmo-funsat20.0funsat driver as backend for satchmo (algorithms, gpl, library)JohannesWaldmann
satchmo-minisat30.0minisat driver as backend for satchmo (gpl, library, unclassified)JohannesWaldmann
sc3-rdu50.0Haskell bindings to sc3-rdu (sc3 rd ugens) (gpl, library, sound)RohanDrape
scc310.0Streaming component combinators (combinators, concurrency, control, gpl, library, program)MarioBlazevic
scholdoc100.0Converts ScholarlyMarkdown documents to HTML5/LaTeX/Docx format (benchmark, gpl, library, program, text)timtylin
scholdoc-texmath40.0Scholdoc fork of texmath (gpl, library, text)timtylin
scholdoc-types50.0Scholdoc fork of pandoc-types (gpl, library, text)timtylin
scons2dot30.0Generates graphviz file of scons dependency information (development, gpl, program)LeandroPenz
scrape-changes120.0Scrape websites for changes (gpl, library, network)2chilled
scroll382.0scroll(6), a roguelike game (game, gpl, program)JoeyHess
scyther-proof180.0Automatic generation of Isabelle/HOL correctness proofs for security protocols. (gpl, program, security, theorem-provers)SimonMeier, lochbihl
sdl2-compositor140.0image compositing with sdl2 - declarative style (gpl, graphics, library)seppeljordan
secret-santa40.0Secret Santa game assigner using QR-Codes (game, gpl, program)RodrigoSetti
sednaDBXML80.0Sedna C API XML Binding (database, ffi, gpl, library)EricJones
sessions310.0Session Types for Haskell (control, gpl, library)MatthewSackman
sessiontypes740.0Session types library (control, gpl, library, program)ferdinandvw
sessiontypes-distributed410.0Session types distributed (control, gpl, library)ferdinandvw
sexp110.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)AlexandruScvortov
sgrep10.0Sgrep - grep Fasta files for sequences matching a regular expression (bioinformatics, gpl, program)KetilMalde
shake-persist40.0Shake build system on-disk caching (development, gpl, library, program)KAction
shell-pipe (deprecated in favor of process)60.0Pipe streams through external shell commands (deprecated, gpl, library, program, system)HenningThielemann
shelltestrunner4310.0A tool for testing command-line programs. (gpl, program, testing)SimonMichael
show770.0'Show' instances for Lambdabot (gpl, language, library)CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
sibe220.0Machine Learning algorithms (data-science, gpl, library, machine-learning, program, web)mdibaiee
sieve60.0Sieve is an implementation of the Sieve abstract data type. (data, gpl, library)JohnSingleton
simgi50.0stochastic simulation engine (gpl, program, scientific-simulation)MarkusDittrich
simple-eval40.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)m
simple-server90.0Simple Server interface (gpl, library, network)JosephCollard
simplex110.0A simple markup language that translates to LaTeX (gpl, latex, program)JulianFleischer
simseq30.0Simulate sequencing with different models for priming and errors (bioinformatics, gpl, program)GwernBranwen
simtreelo900.0Loader for data organized in a tree (data, gpl, library)mgmillani
skylighting15310.0syntax highlighting library (gpl, text)JohnMacFarlane
sleep140.0zZzzZz (gpl, library, program, system)AlanHawkins
slidemews40.0ws convert markdown to reveal-js (gpl, program, web)j4pe
slope-field150.0Visualize mathematical function's slope fields (gpl, library, program, web)mdibaiee
smtlib2192.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-debug40.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-pipe60.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-quickcheck120.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
smtlib2-timing100.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)HenningGuenther
snaplet-coffee30.0CoffeeScript for Snap, auto-compilation and pre-compilation. (gpl, library, snap, web)KevinVanRooijen
snaplet-sedna10.0Snaplet for Sedna Bindings. Essentailly a rip of snaplet-hdbc. (database, gpl, library)EricJones
sneakyterm30.0Tiny, declarative wrapper around ncurses (gpl, library, user-interfaces)pimiddy
snm50.0The Simple Nice-Looking Manual Generator. (documentation, gpl, library, program)JohnnyMorrice
snorkels20.0Strategic board game of medium complexity (game, gpl, library, program)unaizalakain
snowglobe150.0randomized fractal snowflakes demo (demo, gpl, program)ClaudeHeilandAllen
sonic-visualiser50.0Sonic Visualiser (gpl, library, program, sound)StefanKersten
sox420.0Play, write, read, convert audio signals using Sox (gpl, library, sound)HenningThielemann
sparse-linear-algebra762.0Numerical computation in native Haskell (gpl, library, numeric)ocramz
spline320.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (gpl, math, program)MichaelOrlitzky
spoonutil60.0Spoon's utilities. Simple testing and nice looking error reporting. (gpl, library, program, testing)JohnnyMorrice
squeeze320.0A file-packing application. (application, gpl, library, program, utils)AlistairWard
srcinst80.0Build and install Debian packages completely from source (gpl, program, system)JohnGoerzen
sscan70.0text UI for scanning with SANE (gpl, graphics, program)spwhitton
state-record (deprecated in favor of lens)50.0Better records for State monad states (data, deprecated, gpl, library)KarlVoelker
staticanalysis70.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)AndreiLapets
stats40.0command line statistics (gpl, math, program)cheecheeo
stdf60.0Parse Structured Test Data Format (STDF) (data, gpl, library, program)m
stochastic70.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)chokboy
structured-mongoDB60.0Structured MongoDB interface (database, gpl, library)DeianStefan
stylized40.0Ways to output stylized text on ANSI consoles. (gpl, library, user-interfaces)LucaMolari
styx480.0A generator of nix files (development, gpl, program)JeanPhilippeBernardy
subleq-toolchain60.0Toolchain of subleq computer. (gpl, language, library, program)na4zagin3
submark450.0Extract a part from CommonMark/Markdown docs (gpl, library, program, text)hongminhee
suffixarray80.0n log n implementation of suffix array. (data, gpl, library, program)DanielDeKok, VictorDenisov
sugarhaskell50.0Library-based syntactic extensibility for Haskell (code-generation, gpl, language, program, source-tools)SebastianErdweg
supercollider-ht80.0Haskell SuperCollider utilities (gpl, library, sound)HenningThielemann
supercollider-midi60.0Demonstrate how to control SuperCollider via ALSA-MIDI (gpl, program, sound)HenningThielemann
svm80.0A support vector machine written in Haskell (ai, gpl, library)AndrewDougherty
sylvia30.0Lambda calculus visualization (game, gpl, program)ChrisWong
symantic220.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)julm
symantic-document130.0Document symantics. (gpl, library, text)julm
symantic-grammar190.0Library for symantic grammars. (gpl, language, library)julm
symantic-lib100.0Symantics for common types. (gpl, language, library)julm
symon110.0Minimal implementation(s) of the classic electronic memory game. (development, gpl, program)SimonMichael
synthesizer (deprecated in favor of synthesizer-core, synthesizer-dimensional, synthesizer-inference)50.0Audio signal processing coded in Haskell (deprecated, gpl, library, sound)HenningThielemann
synthesizer-alsa190.0Control synthesizer effects via ALSA/MIDI (gpl, library, music, sound)HenningThielemann
synthesizer-core410.0Audio signal processing coded in Haskell: Low level part (benchmark, gpl, library, sound)HenningThielemann
synthesizer-dimensional290.0Audio signal processing with static physical dimensions (gpl, library, sound)HenningThielemann
synthesizer-filter100.0Audio signal processing coded in Haskell: Filter networks (gpl, library, sound)HenningThielemann
synthesizer-inference10.0Audio signal processing with dynamic physical dimensions (gpl, library, sound)HenningThielemann
synthesizer-llvm170.0Efficient signal processing using runtime compilation (gpl, library, music, sound)HenningThielemann
synthesizer-midi120.0Render audio signals from MIDI files or realtime messages (gpl, library, music, sound)HenningThielemann
tagchup190.0alternative package for processing of tag soups (benchmark, gpl, library, xml)HenningThielemann
tagsoup-ht (deprecated in favor of tagchup)40.0alternative parser for the tagsoup package (deprecated, gpl, library, program, xml)HenningThielemann
tamarin-prover (deprecated)200.0The Tamarin prover for security protocol analysis. (deprecated, gpl, program, theorem-provers)BenediktSchmidt, SimonMeier
tamarin-prover-term (deprecated)130.0Term manipulation library for the tamarin prover. (deprecated, gpl, library, theorem-provers)BenediktSchmidt, SimonMeier
tamarin-prover-theory (deprecated)60.0Term manipulation library for the tamarin prover. (deprecated, gpl, library, theorem-provers)BenediktSchmidt, SimonMeier
tamarin-prover-utils (deprecated)160.0Utility library for the tamarin prover. (deprecated, gpl, library, theorem-provers)BenediktSchmidt, SimonMeier
teams80.0Graphical modeling tools for sequential teams (algorithms, gpl, library, stochastic-control)AdityaMahajan
telegram30.0Telegram API client (gpl, library, network)sgillis
tellbot300.0IRC tellbot (gpl, network, program)DimitriSabadie
template-toolkit291.5Template Toolkit implementation for Haskell (gpl, library, text)kobargh
templateify80.0Make template from website (gpl, program, web)AlanHawkins
tensor160.0A completely type-safe library for linear algebra (data, gpl, library, math)NicolaSquartini
termcolor120.0Composable terminal colors (gpl, library, program, web)mdibaiee
terrahs110.0A Haskell GIS Programming Environment (gis-programs, gpl, library)SergioCosta
tersmu80.0A semantic parser for lojban (gpl, language, program)mbays
testCom1180.0Write your tests in comments (gpl, library, test)nobrakal
testrunner70.0Easy unit test driver framework (gpl, library, testing)ReinierLamers
tex2txt40.0LaTeX to plain-text conversion (gpl, library, program, text)vdaudaravicius
texbuilder960.0View your latex output while editing (gpl, latex, program)xaverdh
texmath18160.0Conversion between formats used to represent mathematics. (gpl, library, text)JohnMacFarlane
text-containers180.0Memory-efficient string-indexed container types. (data, data-structures, gpl, library)HerbertValerioRiedel
text-icu-normalized120.0Dealing with Strict Text in NFC normalization. (data, gpl, library, text)misandrist
threadPool80.0Runs other programs in the manner of a thread pool (gpl, program, system)BrianJaress
tictactoe3d70.03D Tic-Tac-Toe game (game, gpl, library)ryo0ka
tidal3952.5Pattern language for improvised music (gpl, library, sound)AlexMcLean, kindohm, lennart
tidal-midi590.0MIDI support for tidal (gpl, library, sound)AlexMcLean, kindohm, lennart
tidal-serial30.0Serial support for tidal (gpl, library, sound)AlexMcLean, kindohm, lennart
tidal-vis300.0Visual rendering for Tidal patterns (gpl, library, sound)AlexMcLean
time-io-access20.0IO Access for time (development, gpl, library)bheklilr
time-series60.0Time series analysis. (data, gpl, library, program)AtsuroHoshino
timeconsole170.0time each line of terminal output (gpl, program, testing)AlanHawkins
titan70.0Testing Infrastructure for Temporal AbstractioNs (gpl, program, testing)keera_studios_ci
tmpl50.0simple executable for templating (data, gpl, program)michelk
toilet40.0Manage the toilet queue at the IMO (console, gpl, program)HenningThielemann
token-bucket150.0Rate limiter using lazy bucket algorithm (concurrency, gpl, library)HerbertValerioRiedel
toktok10.0 (gpl, library, natural-language-processing, program)GregoireDetrez
toolshed210.0Ill-defined library. (gpl, library, utils)AlistairWard
topkata140.0OpenGL Arcade Game (game, gpl, program)ChristophBauer
tpb200.0Applications for interacting with the Pushbullet API (gpl, program, web)tsani
tpdb230.0Data Type for Rewriting Systems (gpl, library, logic)JohannesWaldmann
transformations30.0Generic representation of tree transformations (gpl, language, library, program)JeroenBransen, JosePedroMagalhaes
tree-fun480.0Library for functions pertaining to tree exploration and manipulation (data-structure, gpl, library)GregorySchwartz
treemap120.0A tree of Data.Map. (data-structures, gpl, library)julm
tremulous-query170.0Library for polling Tremulous servers (gpl, library, network)ChristofferOjeling
trimpolya20.0Search for, annotate and trim poly-A tail (bioinformatics, gpl, program)KetilMalde
trivial-constraint110.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)leftaroundabout
tubes250.0Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)gatlin
turing60.0A simple simulator for Turing machines (education, gpl, library)SebastianPoeplau
turingMachine60.0An implementation of Turing Machine and Automaton (gpl, library, math)sanjorgek
twidge280.0Unix Command-Line Twitter and Identica Client (gpl, network, program)JohnGoerzen
txt2rtf70.0Filter to convert plain text files to RTF (gpl, program, text)JohnGoerzen
typical60.0Type level numbers, vectors, list. This lib needs to be extended. (data, gpl, library)RickKaudewitz
typography-geometry110.0Drawings for printed text documents (gpl, library, typography)JeanPhilippeBernardy, PierreEtienneMeunier
uhttpc70.0Minimal HTTP client library optimized for benchmarking (gpl, library, network, program)HerbertValerioRiedel
unlambda820.0Unlambda interpreter (compilers-interpreters, gpl, library, program)GwernBranwen, abbradar
unm-hip150.0A Library for the manipulation of images (gpl, image-processing, library)JosephCollard
unmed2 (deprecated in favor of med-module)130.0Extract useful information from Amiga MED files (deprecated, gpl, program, sound)HenningThielemann
uxadt90.0Cross-language extensible representation for algebraic data type instances. (data, gpl, library)AndreiLapets
uzbl-with-source60.0Utility function for reading a source of loaded uzbl pages. (gpl, library, uzbl, web)MateuszKowalczyk
vampire70.0Analyze and visualize expression trees. (development, gpl, library, program)benzrf
varan90.0Process mpileup output to identify significant differences (bioinformatics, gpl, program)KetilMalde
vcsgui840.0GUI library for source code management systems (development, gpl, library, program)HamishMackenzie, StephanFortelny
vcswrapper1010.0Wrapper for source code management systems (development, gpl, library, program)HamishMackenzie, StephanFortelny
vector-clock110.0Vector clocks for versioning message flows (data, data-structures, distributed-computing, gpl, library)AlexandruScvortov, hansonkd
vision110.0An XMMS2 client. (gpl, program, sound)OlegBelozeorov
vivid482.0Sound synthesis with SuperCollider (audio, gpl, library, music, sound)TomMurphy
vivid-osc222.0Open Sound Control encode/decode (audio, codec, gpl, library, music, sound)TomMurphy
vivid-supercollider210.0Implementation of SuperCollider server specifications (audio, gpl, library, music, sound)TomMurphy
vty-menu70.0A lib for displaying a menu and getting a selection using VTY (gpl, graphics, library, program)TimothyHobbs
wai-lite (deprecated in favor of simple)40.0DEPCRECATED (use package "simple" instead) A minimalist web framework for WAI web applications (deprecated, gpl, library, web)AmitLevy
wai-middleware-preprocessor20.0WAI middleware for preprocessing static files (gpl, library, web)taktoa
web-browser-in-haskell60.0Web Browser In Haskell (browser, gpl, library)AkashJagdhane
whitespace20.0Whitespace, an esoteric programming language. (compilers-interpreters, gpl, program)HaroldLee
withdependencies200.0Run computations that depend on one or more elements in a stream. (control, gpl, library)SimonMarechal
word-trie500.0Implementation of a finite trie over words. (data, gpl, library)DmitryIvanov, MateuszKowalczyk
workflow-osx40.0a "Desktop Workflow" monad with Objective-C bindings (accessibility, apple, automation, bindings, desktop, ffi, gpl, library, program)sboo
wraxml140.0Lazy wrapper to HaXML, HXT, TagSoup via custom XML tree structure (gpl, library, xml)HenningThielemann
wsdl60.0WSDL parsing in Haskell (gpl, library, xml)pikajude
wsedit30.0A small tool to list, add and remove webseeds from a torrent file (gpl, network, program)LinusLuessing
x-dsp (deprecated)40.0A embedded DSL for manipulating DSP languages in Haskell (deprecated, gpl, library, music, sound)JohnLato
xchat-plugin70.0XChat (gpl, irc-client, library, program)CedricAuger
xcp130.0Partial implementation of the XCP protocol with ethernet as transport layer. (gpl, library, network)ChristianGosch
xfconf30.0FFI bindings to xfconf (gpl, library, system, xfce)JohnObbele
xml-parsec90.0Parsing XML with Parsec (gpl, library, parsing)GwernBranwen, StephanFriedrichs
xml2x220.0Convert BLAST output in XML format to CSV or HTML (bioinformatics, gpl, program)GwernBranwen, KetilMalde
xmonad-contrib-gpl30.0Third party extensions for xmonad (gpl, library, system)DmitryBogatov
xsact80.0Cluster EST sequences (bioinformatics, gpl, program)GwernBranwen, KetilMalde
yajl200.0Bindings for YAJL, an event-based JSON implementation (codec, foreign, gpl, library)JohnMillikin
yajl-enumerator (deprecated)110.0Enumerator-based interface to YAJL, an event-based JSON implementation (deprecated, enumerator, gpl, json, library, parsing, text)JohnMillikin
yampa-glfw30.0Connects GLFW-b (GLFW 3+) with the Yampa FRP library (gpl, graphics, library, program)_deepfire
yampa-glut70.0Connects Yampa and GLUT (frp, gpl, graphics, library)NikolayOrlyuk
yesod-markdown550.0Tools for using markdown in a yesod application (gpl, library, web, yesod)AlexanderDunlap, PatrickBrisbin
yesod-rst100.0Tools for using reStructuredText (RST) in a yesod application (gpl, library, web, yesod)PascalWittmann
yi1102.0Yi editor (gpl, program, yi)CoreyOConnor, DmitryIvanov, JeanPhilippeBernardy, JeffWheeler, MateuszKowalczyk, JaroReinders
yi-contrib (deprecated in favor of yi-fuzzy-open, yi-snippet)160.0Add-ons to Yi, the Haskell-Scriptable Editor (deprecated, development, editor, gpl, library)CoreyOConnor, DmitryIvanov, JeffWheeler, MateuszKowalczyk
yi-core1040.0Yi editor core library (gpl, library, yi)DmitryIvanov, JaroReinders
yi-dynamic-configuration530.0Dynamic configuration support for Yi (gpl, library, yi)DmitryIvanov, JaroReinders
yi-emacs-colours70.0Simple mapping from colour names used in emacs to Color (gpl, library, yi)MateuszKowalczyk
yi-frontend-pango890.0Pango frontend for Yi editor (gpl, library, yi)DmitryIvanov, JaroReinders
yi-frontend-vty930.0Vty frontend for Yi editor (gpl, library, yi)DmitryIvanov, JaroReinders
yi-fuzzy-open692.0Fuzzy open plugin for yi (gpl, library, yi)DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-gtk (deprecated in favor of yi)120.0The Haskell-Scriptable Editor, helper package (deprecated, editor, gpl, library)GwernBranwen, JeanPhilippeBernardy
yi-ireader740.0Yi editor incremental reader (gpl, library, yi)DmitryIvanov, JaroReinders
yi-keymap-cua750.0Cua keymap for Yi editor (gpl, library, yi)DmitryIvanov, JaroReinders
yi-keymap-emacs940.0Emacs keymap for Yi editor (gpl, library, yi)DmitryIvanov, JaroReinders
yi-keymap-vim662.0Vim keymap for Yi editor (gpl, library, yi)DmitryIvanov, JaroReinders
yi-language1620.0Collection of language-related Yi libraries. (gpl, library, yi)DmitryIvanov, JaredHance, MateuszKowalczyk, JaroReinders
yi-misc-modes1010.0Yi editor miscellaneous modes (gpl, library, yi)DmitryIvanov, JaroReinders
yi-mode-haskell970.0Yi editor haskell mode (gpl, library, yi)DmitryIvanov, JaroReinders
yi-mode-javascript930.0Yi editor javascript mode (gpl, library, yi)DmitryIvanov, JaroReinders
yi-rope1202.25A rope data structure used by Yi (gpl, library, yi)DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-snippet690.0Snippet support for yi (gpl, library, yi)DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-vty (deprecated in favor of yi)90.0The Haskell-Scriptable Editor, helper package (deprecated, editor, gpl, library)GwernBranwen, JeanPhilippeBernardy
yjftp150.0CUI FTP client like 'ftp', 'ncftp' (gpl, library, network, program)YoshikuniJujo
yjftp-libs60.0CUI FTP client like 'ftp', 'ncftp' (gpl, library, network, program)YoshikuniJujo
yst400.0Builds a static website from templates and data in YAML or CSV files. (gpl, program, text)JohnMacFarlane
yxdb-utils120.0Utilities for reading and writing Alteryx .yxdb files (database, gpl, library, program)MichaelBurge
zim-parser90.0Read and parse ZIM files (codec, gpl, library)robbinch