Packages tagged gpl

1119 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (792), program (547), deprecated (92), sound (79), web (76), development (73), data (71), network (65), text (65), bioinformatics (64), math (59), graphics (58), language (57), system (50), game (43), music (27), utils (24), control (19), theorem-provers (18), yi (18), distribution (17), manatee (17), console (16), compilers-interpreters (15), testing (15), benchmark (14), algorithms (13), codec (13), database (13), data-structures (12), parsing (12), concurrency (11), natural-language-processing (11), ai (10), finance (10), ide (10), unclassified (10), application (9), extension (9), ffi (8), crypto (7), desktop (7), utility (7), xml (7), cryptography (6), editor (6), foreign (6), security (6), user-interfaces (6), compiler (5), formal-methods (5), frp (5), gui (5), networking (5), pup-events (5), smt (5), statistics (5), symbolic-computation (5), tools (5), bindings (4), demo (4), desktop-environment (4), linguistics (4), logic (4), operating-system (4), prelude (4), accessibility (3), audio (3), browser (3), constraints (3), education (3), enumerator (3), formal-languages (3), json (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), password (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), conversion (1), culinary (1), data-science (1), data-structure (1), database-design (1), datamining (1), debian (1), decompiler (1), dependent-types (1), eden (1), editing (1), educational (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
AlignmentAlgorithms340.0Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)2017-03-14ChristianHoener
BNFC1330.0A compiler front-end generator. (development, gpl, library, program)2016-02-04AndreasAbel, GregoireDetrez, MarkusForsberg, ThomasHallgren
BNFC-meta1490.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, library)2017-11-24JeanPhilippeBernardy, JonasDuregard
Baggins80.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
Barracuda80.0An ad-hoc P2P chat program (gpl, library, network, program)2008-04-05GwernBranwen
BenchmarkHistory160.0Benchmark functions with history (benchmarking, gpl, library)2015-11-19ChristianHoener
BioHMM1710.0Libary for Hidden Markov Models in HMMER3 format. (bioinformatics, gpl, library)2017-06-09FlorianEggenhofer
Biobase410.0Base library for bioinformatics (bioinformatics, gpl, library)2011-04-08ChristianHoener
BiobaseBlast200.0BLAST-related tools (bioinformatics, gpl, library)2017-09-28ChristianHoener
BiobaseDotP70.0Vienna / DotBracket / ExtSS parsers (bioinformatics, gpl, library)2011-08-22ChristianHoener
BiobaseFR3D340.0Importer for FR3D resources (bioinformatics, gpl, library)2012-02-16ChristianHoener
BiobaseFasta320.0conduit-based FASTA parser (bioinformatics, gpl, library, program)2013-12-06ChristianHoener
BiobaseInfernal1130.0Infernal data structures and tools (benchmark, bioinformatics, gpl, library, program)2017-03-14ChristianHoener
BiobaseMAF90.0Multiple Alignment Format (bioinformatics, gpl, library)2011-07-29ChristianHoener
BiobaseTrainingData330.0RNA folding training data (bioinformatics, gpl, library, program)2011-09-29ChristianHoener
BiobaseTurner850.0Import Turner RNA parameters (bioinformatics, gpl, library)2013-04-25ChristianHoener
BiobaseVienna780.0Import Vienna energy parameters (bioinformatics, gpl, library)2013-04-22ChristianHoener
BiobaseXNA2290.0Efficient RNA/DNA/Protein Primary/Secondary Structure (bioinformatics, gpl, library, program)2017-11-23ChristianHoener
BirdPP160.0A preprocessor for Bird-style Literate Haskell comments with Haddock markup. (development, gpl, program)2012-08-02SeanMcLaughlin
BlastHTTP460.0Libary to interface with the NCBI blast REST interface (bioinformatics, gpl, library)2016-11-12FlorianEggenhofer
BlogLiterately4130.0A tool for posting Haskelly articles to blogs (gpl, library, program, web)2018-01-31BrentYorgey, RobertGreayer
Bookshelf650.0A simple document organizer with some wiki functionality (gpl, program, text)2016-01-11EmilAxelsson
CMCompare290.0Infernal covariance model comparison (bioinformatics, gpl, library, program)2012-11-22ChristianHoener
CV1050.0OpenCV based machine vision library (ai, gpl, graphics, library, machine-vision)2013-01-17VilleTirronen
ClustalParser870.0Libary for parsing Clustal tools output (bioinformatics, gpl, library, program)2017-02-06FlorianEggenhofer
ConcurrentUtils490.0Concurrent utilities (concurrency, gpl, library)2017-06-19JamesCandy
DAG-Tournament70.0Real-Time Game Tournament Evaluator (game, gpl, program)2009-10-10JoachimBreitner
DAV2810.0RFC 4918 WebDAV support (gpl, library, program, web)2018-02-02ClintAdams
DMuCheck210.0Distributed Mutation Analysis framework for MuCheck (gpl, program, testing)2015-01-06RahulGopinath
DPM270.0Darcs Patch Manager (development, gpl, library, program)2011-12-06StefanWehr
Dao130.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-21RaminHonary
DarcsHelpers70.0Code used by Patch-Shack that seemed sensible to open for reusability (gpl, library, web)2008-11-26ThomasHartman
Data-Rope (deprecated in favor of data-rope)220.0Ropes, an alternative to (Byte)Strings. (data, deprecated, gpl, library)2010-05-29PierreEtienneMeunier
DebugTraceHelpers300.0Convenience functions and instances for Debug.Trace (debug, gpl, library)2008-11-11ThomasHartman
DefendTheKing320.0A simple RTS game (frp, game, gpl, program)2015-05-28YairChuchem
DiscussionSupportSystem160.0Discussion support system (gpl, library, system)2014-06-01minamiyama1994
DnaProteinAlignment60.0Frameshift-aware alignment of protein sequences with DNA sequences (bioinformatics, gpl, library, program)2013-12-18ChristianHoener
Dust340.0Polymorphic protocol engine (gpl, library, network)2013-12-17BrandonWiley
Dust-crypto140.0Cryptographic operations (cryptography, gpl, library)2013-12-17BrandonWiley
Dust-tools550.0Network filtering exploration tools (gpl, library, network, program)2013-12-17BrandonWiley
Dust-tools-pcap230.0Network filtering exploration tools that rely on pcap (gpl, network, program)2013-12-17BrandonWiley
EditTimeReport90.0Query language and report generator for edit logs. (gpl, program, utils)2010-01-15BartSpaans
Emping560.0derives heuristic rules from nominal data (data-mining, gpl, program)2009-05-29HansVanThiel
Encode720.0Encoding character data (codec, gpl, library, program, text)2016-05-26OtakarSmrz
EntrezHTTP500.0Libary to interface with the NCBI Entrez REST service. (bioinformatics, gpl, library)2017-08-10FlorianEggenhofer
Etherbunny150.0A network analysis toolkit for Haskell (gpl, library, network, program)2008-01-18NicholasBurlett
FComp240.0Compose music (gpl, library, music, program)2014-09-25JosePedroMagalhaes
FM-SBLEX150.0A set of computational morphology tools for Swedish diachronic lexicons. (gpl, natural-language-processing, program)2010-11-24MarkusForsberg
FModExRaw (deprecated)340.0The Haskell FModEx raw API. (deprecated, gpl, library, sound)2013-12-29DimitriSabadie
FermatsLastMargin80.0Annotate ps and pdf documents (gpl, program, web)2008-03-12GwernBranwen
FormalGrammars690.0(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library, program)2017-08-31ChristianHoener
GLMatrix180.0Utilities for working with OpenGL matrices (gpl, graphics, library)2014-03-15fiendfan1
GPipe-Examples60.0Examples for the GPipes package (gpl, graphics, program)2010-04-14KreeColeMcLaughlin
GenI1050.0A natural language generator (specifically, an FB-LTAG surface realiser) (gpl, library, natural-language-processing, program)2017-10-03EricKow
Genbank350.0Libary for processing the NCBI genbank format (bioinformatics, gpl, library, program)2014-10-26FlorianEggenhofer
Gene-CluEDO170.0Hox gene clustering (bioinformatics, gpl, library, program)2017-09-11ChristianHoener
GenussFold140.0MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-16ChristianHoener
GeocoderOpenCage102.0Geocoder and Reverse Geocoding Service Wrapper (gpl, library, web)2015-10-25juergenhah, jhahn
GiST120.0A Haskell implementation of a Generalized Search Tree (GiST) (data-structures, gpl, library)2013-06-27MihailBogojeski
GlomeTrace250.0Ray Tracing Library (gpl, graphics, library)2014-04-07JimSnow
GlomeVec210.0Simple 3D vector library (gpl, graphics, library)2014-01-27JimSnow
GlomeView140.0SDL Frontend for Glome ray tracer (gpl, graphics, program)2014-04-07JimSnow
GoogleSuggest240.0Interface to Google Suggest API (browser, gpl, library)2010-10-01AndyStewart
GoogleTranslate320.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GrammarProducts470.0Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)2017-03-14ChristianHoener
Graph50080.0Graph500 benchmark-related definitions and data set generator. (concurrency, gpl, library, program)2013-11-05AlexanderVershilov
GraphHammer120.0GraphHammer Haskell graph analyses framework inspired by STINGER. (concurrency, gpl, library)2013-11-05AlexanderVershilov
GraphHammer-examples70.0Test harness for TriangleCount analysis. (concurrency, gpl, library, program)2013-11-05AlexanderVershilov
Gtk2hsGenerics80.0Convenience functions to extend Gtk2hs. (gpl, gui, library)2009-07-05MichaelDever
HFrequencyQueue140.0A Queue with a random (weighted) pick function (data, gpl, library)2015-08-28Bellaz
HOpenCV680.0A binding for the OpenCV computer vision library (ai, gpl, graphics, library, program)2015-08-08NoamLewis
HPong230.0A simple OpenGL Pong game based on GLFW (game, gpl, program)2009-04-23RemcoNiemeijer
HSHHelpers950.0Convenience functions that use HSH, instances for HSH. (gpl, library, system)2010-01-19ThomasHartman
HStringTemplateHelpers730.0Convenience functions and instances for HStringTemplate (gpl, library, text)2009-11-03ThomasHartman
HTab470.0Tableau based theorem prover for hybrid logics (gpl, program, theorem-provers)2013-08-10GuillaumeHoffmann
HaMinitel100.0An Haskell library to drive the french Minitel through a serial port (gpl, library, terminal)2014-07-12zigazou
Haggressive340.0Aggression analysis for Tweets on Twitter (gpl, library, web)2014-12-01Pold87
Hangman240.0The classic game of Hangman. (game, gpl, program)2015-08-18lf94
HarmTrace980.0Harmony Analysis and Retrieval of Music (gpl, music, program)2017-08-07BasDeHaas, JosePedroMagalhaes
HasCacBDD80.0Haskell bindings for CacBDD (data, gpl, library)2017-03-09m4lvin
HasGP120.0A Haskell library for inference using Gaussian processes (ai, classification, datamining, gpl, library, statistics)2011-10-26SeanHolden
Hashell200.0Simple shell written in Haskell (gpl, program, user-interfaces)2009-01-18GwernBranwen
HaskRel250.0HaskRel, Haskell as a DBMS with support for the relational algebra (database, gpl, library)2015-11-25thormick
HaskellLM270.0Pure Haskell implementation of the Levenberg-Marquardt algorithm (gpl, library, math)2012-02-29KietLam
HaskellNN270.0High Performance Neural Network in Haskell (ai, gpl, library)2012-01-29KietLam
Hmpf80.0An MPD client designed for a Home Theatre PC (application, gpl, program)2007-08-12TomBevan
Homology130.0Compute the homology of a chain complex (gpl, library, math)2012-06-24DamekDavis
Hungarian-Munkres320.0A Linear Sum Assignment Problem (LSAP) solver (algorithms, benchmark, gpl, library)2014-10-08kaizhang
IcoGrid150.0Library for generating grids of hexagons and pentagons mapped to a sphere. (gpl, graphics, library)2010-01-23JimSnow
ImperativeHaskell682.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
IndentParser (deprecated)250.0Combinators for parsing indentation based syntatic structures (deprecated, gpl, library, parsing)2007-10-19PiyushKurur
Irc70.0DSL for IRC bots (gpl, library, network)2015-01-21yunxing
JackMiniMix (deprecated in favor of jackminimix)130.0control JackMiniMix (deprecated, gpl, library, sound)2010-08-22RenickBell
LambdaShell270.0Simple shell for evaluating lambda expressions (compilers-interpreters, gpl, program)2014-06-01RobertDockins
Lattices320.0A library for lattices (gpl, library, math)2015-08-14BartCoppens
LazyVault170.0A simple sandboxing tool for Haskell packages. (development, gpl, program)2013-02-06KevinVanRooijen
Level0110.0A Snake II clone written using SDL. (game, gpl, program)2012-04-29MikeLedger
MBot712.5Haskell interface for controlling the mBot educational robot (educational, gpl, library)2018-01-02cfscholl
MC-Fold-DP200.0Folding algorithm based on nucleotide cyclic motifs. (bioinformatics, gpl, library, program)2012-11-12ChristianHoener
Modulo300.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
Monadius940.02-D arcade scroller (game, gpl, program)2013-05-28GwernBranwen, HideyukiTanaka
MorseCode480.0Morse code (gpl, library, text)2010-10-14AndyStewart
MuCheck780.0Automated Mutation Testing (gpl, library, testing)2015-01-06RahulGopinath
MuCheck-HUnit380.0Automated Mutation Testing for HUnit tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-Hspec340.0Automated Mutation Testing for Hspec tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-QuickCheck280.0Automated Mutation Testing for QuickCheck tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-SmallCheck310.0Automated Mutation Testing for SmallCheck tests (gpl, library, program, testing)2015-01-06RahulGopinath
MusicBrainz870.0interface to MusicBrainz XML2 and JSON web services (gpl, library, network)2017-09-26ClintAdams
MutationOrder240.0Most likely order of mutation events in RNA (bioinformatics, gpl, library, program)2017-10-24ChristianHoener
NTRU210.0NTRU Cryptography (cryptography, gpl, library, math)2016-01-21mikewest
NameGenerator180.0A name generator written in Haskell (gpl, library, text)2016-10-03pommicket
NestedSampling350.0A port of John Skilling's nested sampling C code to Haskell. (gpl, library, statistics)2011-09-22IssacTrotts
NumberTheory140.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Nussinov78410.0Nussinov78 using the ADPfusion library. (bioinformatics, gpl, library, program)2012-11-07ChristianHoener
PDBtools270.0A library for analysis of 3-D protein coordinates (bioinformatics, gpl, library)2012-06-03GrantRotskoff
Parry70.0A proven synchronization server for high performance computing. (gpl, library, parry)2014-04-01pmeunier
ParsecTools180.0Parsec combinators for more complex objects. (gpl, library, parsing)2010-09-22ChristianHoener
PastePipe630.0CLI for pasting to lpaste.net (gpl, library, program, utils)2015-04-25MateuszKowalczyk, RoganCreswick
Phsu310.0Personal Happstack Server Utils (gpl, program, web)2015-08-05utkarshl
Plural200.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pollutocracy150.0An imaginary world (game, gpl, program)2013-01-28IsaacDupree
PortFusion770.0high-performance distributed reverse / forward proxy & tunneling for TCP (gpl, network, program, system)2012-08-19CetinSert
Pup-Events80.0A networked event handling framework for hooking into other programs. (gpl, library, networking, program, pup-events)2012-07-15DanielWilson
Pup-Events-Client430.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-16DanielWilson
Pup-Events-Demo360.0A networked event handling framework for hooking into other programs. (demo, gpl, networking, program, pup-events)2012-08-15DanielWilson
Pup-Events-PQueue100.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-07-15DanielWilson
Pup-Events-Server430.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-15DanielWilson
QuickCheckVariant870.0Generator of "valid" and "invalid" data in a type class (gpl, library, testing)2018-02-01sanjorgek
QuickPlot250.0Quick and easy data visualization with Haskell (gpl, graphics, library)2016-02-15tepf
RNAFold520.0RNA secondary structure prediction (bioinformatics, gpl, library, program)2013-12-06ChristianHoener
RNAFoldProgs230.0RNA secondary structure folding (bioinformatics, gpl, program)2010-09-23ChristianHoener
RNAdesign450.0Multi-target RNA sequence design (bioinformatics, gpl, library, program)2014-02-13ChristianHoener
RNAdraw140.0Draw RNA secondary structures (bioinformatics, gpl, library, program)2014-02-03ChristianHoener
RNAlien1102.0Unsupervized construction of RNA family models (bioinformatics, gpl, library, program)2017-03-13FlorianEggenhofer
RNAwolf470.0RNA folding with non-canonical basepairs and base-triplets. (bioinformatics, gpl, library, program)2011-09-29ChristianHoener
Ranka80.0HTTP to XMPP omegle chats gate. (gpl, network, program)2009-09-15OlegIvanov
Referees130.0A utility for computing distributions of material to review among reviewers. (gpl, library, program, utils)2014-11-11PabloCouto
RollingDirectory80.0Limits the size of a directory's contents (file-manager, gpl, program, tools)2012-01-17FalcoHirschenberger
SGdemo240.0An example of using the SG and OpenGL libraries (gpl, graphics, program)2009-12-18NeilBrown
ScratchFs200.0Size limited temp filesystem based on fuse (gpl, program, system)2012-11-13FalcoHirschenberger
SelectSequencesFromMSA140.0SelectSequences is a tool for selection of a represenative subset of sequences from a multiple sequence alignment in clustal format. (bioinformatics, gpl, library, program)2017-04-24FlorianEggenhofer
ShellCheck3092.0Shell script analysis tool (gpl, library, program, static-analysis)2017-12-09koala_man, vidarhol
SimpleTableGenerator110.0Simple table generator (gpl, library, text)2017-02-22klntsky
SizeCompare60.0Fast size comparison for standard containers. (data, gpl, library)2010-03-02BramSchuur
Sonnex370.0Sonnex is an alternative to Soundex for french language (gpl, library, natural-language-processing, text)2014-12-01zigazou
SourceGraph1460.0Static code analysis using graph-theoretic techniques. (development, gpl, program)2015-09-08IvanMiljenovic
StatisticalMethods60.0Collection of useful statistical methods. (gpl, library, statistics)2011-08-22ChristianHoener
StockholmAlignment772.0Libary for Stockholm aligmnent format (bioinformatics, gpl, library)2018-01-15FlorianEggenhofer
StrictBench190.0Benchmarking code through strict evaluation (gpl, library, testing)2009-06-08RemcoNiemeijer
TORCS610.0Bindings to the TORCS vehicle simulator. (bindings, frp, gpl, library, program, simulation)2018-02-14MarkSantolucito
Taxonomy350.0Libary for parsing, processing and vizualization of taxonomy data (bioinformatics, gpl, library)2017-08-10FlorianEggenhofer
TaxonomyTools140.0Tool for parsing, processing, comparing and visualizing taxonomy data (bioinformatics, gpl, program)2017-01-26FlorianEggenhofer
TeX-my-math260.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math)2017-11-02leftaroundabout
Theora80.0 (gpl, library, unclassified)2009-05-21PierreEtienneMeunier
ThreadObjects80.0Mutable objects that reside in their own threads. (concurrency, gpl, library)2012-08-10TimothyHobbs
TigerHash90.0TigerHash with C implementation (cryptography, gpl, library)2010-04-16NikolayOrlyuk
Titim330.0Game for Lounge Marmelade (game, gpl, program)2015-03-25Jefffrey
Top80.0Constraint solving framework employed by the Helium Compiler. (constraints, gpl, library, program)2012-08-21JurriaanHage
TypingTester430.0Command Line Typing speed tester (game, gpl, program)2014-08-18AlanHawkins
UMM860.0A small command-line accounting tool (finance, gpl, program)2010-09-25UweHollerbach
ViennaRNAParser1290.0Libary for parsing ViennaRNA package output (bioinformatics, gpl, library)2017-10-18FlorianEggenhofer
WordAlignment210.0Bigram word pair alignments. (gpl, library, linguistics, program)2017-03-14ChristianHoener
XAttr (deprecated in favor of linux-xattr)130.0Read, set, and list extended attributes (deprecated, gpl, library, system)2013-03-15NicolaSquartini
XMLParser512.0A library to parse xml (gpl, library, xml)2017-01-15AlanHawkins
a50160.0Compare genome assemblies (bioinformatics, gpl, program)2013-07-23KetilMalde
acme-cutegirl122.0Maybe gives you a cute girl (acme, gpl, library, program)2014-01-27MateuszKowalczyk
adblock2privoxy1020.0Convert adblock config files to privoxy format (gpl, program, web)2016-02-12zubr
adhoc-network160.0Ad-hoc P2P network protocol (gpl, library, network)2008-04-28GwernBranwen, StephanFriedrichs
agum580.0Unification and Matching in an Abelian Group (algebra, gpl, library, program)2018-01-08JohnRamsdell
ajhc522.0Haskell compiler that produce binary through C language (compiler, gpl, library, program)2013-12-18KiwamuOkabe
alga (deprecated)280.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
alsa-midi (deprecated in favor of alsa-seq)330.0Bindings for the ALSA sequencer API (MIDI stuff) (deprecated, gpl, library, music, program, sound)2010-09-20HenningThielemann
ampersand390.0Toolsuite for automated design of business processes. (database-design, gpl, program)2015-10-11hanjoosten
amqp-utils190.0Generic Haskell AMQP Consumer (gpl, network, program)2017-11-21woffs
amrun340.0Interpreter for AM (compilers-interpreters, gpl, program)2013-01-13DanielSeidel, JanisVoigtlaender
anansi1220.0Simple literate programming preprocessor (development, gpl, library, program)2015-06-05JohnMillikin
anansi-hscolour180.0Colorized looms for Anansi (development, gpl, library)2014-02-14JohnMillikin
anansi-pandoc250.0Looms which use Pandoc to parse and produce a variety of formats. (development, gpl, library)2014-03-18JohnMillikin
android100.0Android methods exposed to Haskell (gpl, library, system)2015-09-29IvanPerez, keera_studios_ci
angle80.0A small, general-purpose programming language. (benchmark, compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
antimirov40.0Define the language containment (=subtyping) relation on regulare expressions. (gpl, language, library, math, program)2009-01-30RickKaudewitz
anydbm240.0Interface for DBM-like database systems (database, gpl, library)2012-05-01JohnGoerzen
apelsin300.0Server and community browser for the game Tremulous (gpl, network, program)2013-06-26ChristofferOjeling
applicative-parsec70.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
arbtt2640.0Automatic Rule-Based Time Tracker (desktop, gpl, program)2017-12-29JoachimBreitner
arghwxhaskell110.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
arguedit140.0A computer assisted argumentation transcription and editing software. (argumentation, gpl, program)2014-07-12hrazel
armada50.0Space-based real time strategy game (game, gpl, program)2009-01-06TimothyCarstens
array-forth340.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
arrowp150.0preprocessor translating arrow notation into Haskell 98 (development, gpl, program)2013-04-03RossPaterson
arrowp-qq460.0A preprocessor and quasiquoter for translating arrow notation (development, gpl, library, program)2017-08-25PepeIborra
ascii-vector-avc90.0Process Ascii Vectors for Advantest 93k (data, gpl, library, program)2014-10-15m
aterm160.0serialisation for Haskell values with sharing support (data, gpl, library, parsing)2011-08-04ChristianMaeder
attoparsec-arff70.0An ARFF file parser using Attoparsec (ai, data, gpl, library, text)2012-02-09PaulWilson
aur1082.0Access metadata from the Arch Linux User Repository. (gpl, library, linux)2017-05-31fosskers
autom180.0Generates and displays patterns from next nearest neighbors cellular automata (gpl, graphics, library)2016-10-22infrared
avers1102.0Server-side implementation of the Avers storage model (avers, benchmark, gpl, library)2016-12-28wereHamster
awesome-prelude50.0A prelude which I can be happy with. Based on base-prelude. (gpl, library, prelude)2016-02-11kozross
azubi340.0A simple DevOps tool which will never "reach" enterprice level. (gpl, library, system)2017-10-14palo
babylon200.0An implementation of a simple 2-player board game (game, gpl, program)2014-06-26PedroVasconcelos
backdropper100.0Rotates backdrops for X11 displays using Imagemagic. (gpl, library, program, unclassified)2009-08-18YannGolanski
bamboo1410.0A blog engine on Hack (gpl, library, web)2010-02-24JinjingWang
bamboo-launcher340.0bamboo-launcher (gpl, program, web)2010-02-24JinjingWang
bamboo-plugin-highlight130.0A highlight middleware (gpl, library, web)2009-07-05JinjingWang
bamboo-theme-mini-html5200.0bamboo mini html5 theme (gpl, library, web)2009-11-26JinjingWang
bamstats220.0A program to extract various information from BAM alignmnet files. (bioinformatics, gpl, library, program)2013-10-18KetilMalde
barrie190.0Declarative Gtk GUI library (gpl, gui, library)2009-02-26FraserWilson
base-io-access370.0The IO functions included in base delimited into small, composable classes (gpl, library, system)2015-02-11bheklilr
baskell200.0An interpreter for a small functional language (compilers-interpreters, gpl, program)2009-01-18GwernBranwen
bbdb490.0Ability to read, write, and modify BBDB files (database, gpl, library)2017-12-14HenryLaxen
beautifHOL190.0A pretty-printer for higher-order logic (gpl, program, text)2009-01-21LeePike
bein (deprecated)300.0Bein is a provenance and workflow management system for bioinformatics. (application, deprecated, gpl, program)2010-05-28FrederickRoss
benchmark-function160.0Test the time it takes to run a haskell function (gpl, library, testing)2017-01-15AlanHawkins
bighugethesaurus70.0API wrapper for Big Huge Thesaurus (api, gpl, language, library)2015-12-28TheKing
binary-derive90.0Automatic deriving of Binary using GHC.Generics (data, gpl, library)2011-11-05JaredHance
binary-shared840.0Sharing for the binary package (data, gpl, library)2013-05-04HamishMackenzie, JuergenNicklischFranken
bindings-cctools120.0Bindings to the CCTools WorkQueue C library (ffi, gpl, library)2013-01-02BadiAbdulWahid
bindings-codec2140.0Very low-level FFI bindings for Codec2 (bindings, codec, ffi, gpl, library, program)2014-10-31RickyElrod
bindings-libftdi70.0Low level bindings to libftdi. (ffi, gpl, library)2009-12-25SivaramGowkanapalli
bindings-nettle370.0bindings to nettle crypto library (bindings, gpl, library)2015-06-02ClintAdams
bindings-potrace40.0Low-level bindings to the potrace bitmap tracing library (gpl, graphics, library)2015-06-10cchalmers
bindings-saga-cmd150.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bindings-sc3170.0Low-level bindings to the SuperCollider synthesis engine library. (ffi, gpl, library, sound)2012-11-06StefanKersten
bindynamic70.0A variation of Data.Dynamic.Dynamic with a Binary instance (data, gpl, library)2015-10-17lspitzner
bioace190.0Library for reading ace assembly files (bioinformatics, gpl, library)2012-06-19DanFornika
bioalign380.0Data structures and helper functions for calculating alignments (bioinformatics, gpl, library)2012-06-19DanFornika
biofasta340.0Library for reading fasta sequence files (bioinformatics, gpl, library)2013-01-10DanFornika
biophd430.0Library for reading phd sequence files (bioinformatics, gpl, library)2015-05-20DanFornika
bishbosh380.0Plays chess. (game, gpl, library, program)2018-01-28AlistairWard
bitspeak160.0Proof-of-concept tool for writing using binary choices. (accessibility, gpl, program)2011-09-23MauricioAntunes
black-jewel50.0The pirate bay client. (application, gpl, program)2013-05-21DmitryBogatov
blosum340.0BLOSUM generator (bioinformatics, gpl, library, program)2016-11-30GregorySchwartz
bloxorz240.0OpenGL Logic Game (game, gpl, program)2014-07-23ViktorDevecseri
blubber70.0The blubber client; connects to the blubber server. (game, gpl, program)2015-06-30alexander
board-games450.0Three games for inclusion in a web server (game, gpl, library, web)2017-03-31HenningThielemann
boolean-list190.0convert numbers to binary coded lists (data, gpl, library)2017-10-26AlanHawkins
boomange800.0A bookmarks manager with an HTML generator (gpl, program, web)2017-09-28mgmillani
botpp120.0Build tool for Lambdabot (development, gpl, library, program, web)2008-08-19GwernBranwen
bowntz120.0audio-visual pseudo-physical simulation of colliding circles (demo, gpl, program)2016-06-18ClaudeHeilandAllen
brainfuck500.0Brainfuck interpreter (compilers-interpreters, gpl, library, program)2016-06-05GwernBranwen, abbradar
breakout120.0A simple Breakout game implementation. (game, gpl, program)2009-10-31EyalLotem
burst-detection60.0Burst detection algorithms (benchmark, gpl, library, math)2013-11-08AlexanderVershilov
butterflies130.0butterfly tilings (gpl, graphics, library, program)2015-12-22ClaudeHeilandAllen
c0check170.0Simple C0 Syntax Check (gpl, language, program)2013-01-04DanielSeidel, JanisVoigtlaender
c0parser130.0Simple C0 Parser (gpl, language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats72.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
c2hs2880.0C->Haskell FFI tool that gives some cross-language type safety (development, gpl, program)2017-11-25DuncanCoutts, IanRoss, deech
cabal-plan300.0Library and utiltity for processing cabal's plan.json file (development, gpl, library)2018-01-07HerbertValerioRiedel
cabal-rpm3572.0RPM packaging tool for Haskell Cabal-based packages (distribution, gpl, program)2018-02-20BryanOSullivan, JensPetersen
cabal2spec190.0Convert Cabal files into rpm spec files (distribution, gpl, library, program)2018-01-25PeterSimons, YaakovNemoy
cabalmdvrpm70.0Create mandriva rpm from cabal package (distribution, gpl, library, program)2007-03-27OlivierThauvin
cabalrpmdeps140.0Autogenerate rpm dependencies from cabal files (distribution, gpl, library, program)2008-12-04OlivierThauvin
cake510.0A build-system library and driver (development, gpl, library, program)2014-10-13JeanPhilippeBernardy
cal3d-examples100.0Examples for the Cal3d animation library. (animation, gpl, graphics, program)2009-06-27GregoryWeber
calculator1482.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caldims70.0Calculation tool and library supporting units (gpl, library, math, program)2008-11-05RickKaudewitz
caledon452.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
cao140.0CAO Compiler (compiler, cryptography, gpl, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
carettah982.0A presentation tool written with Haskell. (gpl, graphics, program)2016-09-30KiwamuOkabe
carte62.0Carte: A commandline pastebin server. (gpl, network, program)2016-11-10cdetroye
cctools-workqueue150.0High-level interface to CCTools' WorkQueue library (distributed-computing, gpl, library)2013-01-02BadiAbdulWahid
cedict350.0Convenient Chinese phrase & character lookup. (gpl, library, program, text)2008-07-30JasonDusek
cereal-derive110.0Automatic deriving of Serialize using GHC.Generics (data, gpl, library)2011-11-06JaredHance
cg80.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
cgrep3790.0Command line tool (gpl, program, utils)2018-02-23awgn, NicolaBonelli
chain-codes170.0Library decoding chain codes from images (data, gpl, library)2014-03-16MateuszKowalczyk
citeproc-hs-pandoc-filter70.0A Pandoc filter for processing bibliographic references with citeproc-hs (gpl, program, text)2015-03-17AndreaRossato
clac300.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
classy-parallel50.0Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-31SamAnklesaria
clumpiness150.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2016-02-09GregorySchwartz
clustertools250.0Tools for manipulating sequence clusters (bioinformatics, gpl, program)2011-06-06GwernBranwen, KetilMalde
cmu820.0Unification in a Commutative Monoid (algebra, gpl, library, program)2018-01-08JohnRamsdell
cmv831.5Detailed visualization of CMs, HMMs and their comparisions (bioinformatics, gpl, library, program)2018-01-28FlorianEggenhofer
coin250.0Simple account manager (application, gpl, program)2017-06-13piotrborek
colour-space310.0Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)2017-10-30leftaroundabout
combinatorial-problems302.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)2013-07-18RichardSenington
compilation160.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
concrete-haskell920.0Library for the Concrete data format. (data, gpl, library, program)2017-12-10TomLippincott
concrete-haskell-autogen150.0Automatically generated Thrift definitions for the Concrete data format. (data, gpl, library)2017-09-03TomLippincott
concrete-relaxng-parser110.0A parser driven by a standard RELAX NG schema with concrete syntax extensions. (gpl, parsing, program, xml)2012-08-23MarioBlazevic
conductive-base220.0a library for live coding and real-time musical applications (gpl, library, music, sound)2012-12-27RenickBell
conductive-clock100.0a library for displaying musical time in a terminal-based clock (gpl, library, music, sound)2012-12-27RenickBell
conductive-hsc3270.0a library with examples of using Conductive with hsc3 (gpl, library, music, sound)2012-12-28RenickBell
conductive-song130.0a library of functions which are useful for composing music (gpl, library, music, sound)2012-12-27RenickBell
config-manager390.0Configuration management (configuration, data, gpl, library)2016-08-13guyonvarch
config-select100.0A small program for swapping out dot files. (gpl, program, system)2013-02-07TimothyHobbs
constrained-categories960.0Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2018-02-20leftaroundabout
convert-annotation460.0Convert the annotation of a gene to another in a delimited file using a variety of different databases. (bioinformatics, gpl, library, program)2018-02-07GregorySchwartz
coroutine-enumerator (deprecated)100.0Bridge between the monad-coroutine and enumerator packages. (concurrency, deprecated, enumerator, gpl, library)2011-12-31MarioBlazevic
coroutine-iteratee (deprecated)100.0Bridge between the monad-coroutine and iteratee packages. (concurrency, data, deprecated, gpl, library)2011-12-31MarioBlazevic
cpuid480.0Binding for the cpuid machine instruction on x86 compatible processors (foreign-binding, gpl)2012-05-22HenningThielemann, MartinGrabmueller
cpython590.0Bindings for libpython (foreign, gpl, library)2015-10-12JohnMillikin
cr240.0Code review tool (control, gpl, network, program, system)2012-12-03AlexandruScvortov
crack60.0A haskell binding to cracklib (gpl, library, system)2008-01-28TrevorElliott
crocodile200.0An offline renderer supporting ray tracing and photon mapping (gpl, graphics, program)2011-09-29TomHammersley
csv-nptools210.0A collection of CSV tools (development, gpl, program, text, utils)2013-10-29NicolasPouillard
ctpl120.0A programming language for text modification. (gpl, library, program, text)2016-04-05implementation
custom-prelude110.0An enhanced prelude, serving as a foundation for my projects (control, gpl, library)2012-10-02AnupamJain
cv-combinators450.0Functional Combinators for Computer Vision (ai, gpl, graphics, library, program)2015-08-12NoamLewis
cyclotomic640.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2017-12-13ScottWalck
daemonize-doublefork140.0Start background daemons by double-forking (gpl, library, web)2012-08-15AlexandruScvortov
daemons330.0Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2013-10-03AlexandruScvortov
dao50.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-21RaminHonary
darcs2650.0a distributed, interactive, smart revision control system (development, gpl, library)2017-01-11EricKow, FlorentBecker, GaneshSittampalam, GuillaumeHoffmann, JasonDagit, PetrRockai, ReinierLamers
darcs-beta (deprecated in favor of darcs)1010.0a distributed, interactive, smart revision control system (deprecated, development, gpl)2012-04-07FlorentBecker, GaneshSittampalam, GuillaumeHoffmann, PetrRockai, ReinierLamers
darcs-buildpackage130.0Tools to help manage Debian packages with Darcs (gpl, program, system)2008-01-16JohnGoerzen
darcs-cabalized (deprecated in favor of darcs)200.0David's Advanced Version Control System (deprecated, development, gpl, program)2008-07-02GwernBranwen
darcs-monitor460.0Darcs repository monitor (sends email) (distribution, gpl, program)2011-06-13AnttiJuhaniKaijanaho, MarcoSilva
darcsden310.0Darcs repository UI and hosting/collaboration app (hub.darcs.net branch). (development, distribution, gpl, program, web)2015-04-22AlexSuraci, SimonMichael
darcswatch400.0Track application of Darcs patches (distribution, gpl, program)2011-06-08JoachimBreitner
darkplaces-demo70.0Utility and parser for DarkPlaces demo files (benchmark, game, gpl, library, program)2015-02-12slava
darkplaces-rcon50.0Darkplaces rcon client library (game, gpl, library)2015-05-23slava
darkplaces-rcon-util110.0Darplaces rcon utility (game, gpl, library, program)2015-05-24slava
darkplaces-text160.0Parser for darkplaces colorful text (game, gpl, library)2015-05-23slava
data-list-sequences60.0Utilities for working with sequences within lists. (data, gpl, library)2011-08-13JonasKramer
data-rope120.0Ropes, an alternative to (Byte)Strings. (data, gpl, library)2011-02-11PierreEtienneMeunier
datapacker160.0Tool to help pack files into the minimum number of CDs/DVDs/etc (gpl, program, system)2008-09-25JohnGoerzen
datetime450.0Utilities to make Data.Time.* easier to use (data, gpl, library)2015-07-20EricSessoms, EugenyDzhurinsky, jsl, stackbuilders
datetime-sb230.0Utilities to make Data.Time.* easier to use. (data, gpl, library)2015-05-28jsl
dbus2020.0A client library for the D-Bus IPC system. (desktop, gpl, library, network)2018-01-16JohnMillikin, blaze
dbus-client (deprecated in favor of dbus)490.0Monadic and object-oriented interfaces to DBus (deprecated, desktop, gpl, library, network)2012-06-23JohnMillikin
dbus-core (deprecated in favor of dbus)1430.0Low-level D-Bus protocol implementation (deprecated, desktop, gpl, library, network)2012-06-23JohnMillikin
ddate70.0Discordian Date Types for Haskell (data, gpl, library)2016-06-30hellerve
decimal-literals80.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2017-07-24leftaroundabout
dedukti400.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, gpl, library, program, theorem-provers)2011-04-08MathieuBoespflug
dephd340.0Analyze quality of nucleotide sequences. (bioinformatics, gpl, program)2011-03-21GwernBranwen, KetilMalde
derangement80.0Find derangements of lists (gpl, library, unclassified)2007-03-12DennisGriffith
derivation-trees220.0Typeset Derivation Trees via MetaPost (gpl, graphics, library, math)2010-11-18JeanPhilippeBernardy
derive-enumerable90.0Generic instances for enumerating complex data types (data, generics, gpl, library)2015-05-27mgoszcz2
descrilo290.0Loads a list of items with fields (configuration, data, gpl, library, parser)2017-09-28mgmillani
dfsbuild170.0Build Debian From Scratch CD/DVD images (gpl, program, system)2008-01-16JohnGoerzen
dice2tex70.0Convert a Diceware wordlist into a printer-ready LaTeX file. (gpl, program, text)2017-01-14mgmillani
dicom230.0A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax. (data, gpl, library, medical)2015-12-11PhilFreeman, karchie
digestive-functors-aeson1520.0Run digestive-functors forms against JSON (gpl, json, library, web)2018-02-03OliverCharles
dihaa100.0ASCII based Diagram drawing in Haskell (Idea based on ditaa) (gpl, graphics, program)2017-05-06wilde
diophantine190.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
dist-upload190.0Generate/Upload cabal package to Hackage. (distribution, gpl, library, program)2010-11-24AndyStewart
diversity1060.0Quantify the diversity of a population (bioinformatics, gpl, library, program)2017-09-01GregorySchwartz
doccheck70.0Checks Haddock comments for pitfalls and version changes. (documentation, gpl, program)2013-08-13MateuszKowalczyk
double-metaphone90.0Haskell bindings to a C double-metaphone implementation. (data, gpl, library)2016-03-08ChristianMarie
dozenal70.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dpkg180.0libdpkg bindings (debian, gpl, library)2012-07-05ClintAdams
drawille400.0A port of asciimoo's drawille to haskell (gpl, library, system)2016-11-22yamadapc
dson140.0Haskell DogeScript Object Notation Parser (data, gpl, library)2014-06-06lcycon
dsp592.0Haskell Digital Signal Processing (gpl, library, math, sound)2017-12-15HenningThielemann
dtab120.0Harmonix (Guitar Hero, Rock Band) DTA/DTB metadata library (data, gpl, library, program)2015-08-21mtolly
dumb-cas200.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2017-12-12leftaroundabout
dvdread60.0A monadic interface to libdvdread (gpl, library, system)2011-09-30NicolaSquartini
dynamic-plot600.0Interactive diagram windows (gpl, graphics, library)2017-11-01leftaroundabout
dynamic-state940.0Optionally serializable dynamic state keyed by type (data, gpl, library, yi)2017-07-31DmitryIvanov, MateuszKowalczyk, fread2281, JaroReinders
dzen-utils130.0Utilities for creating inputs for dzen. (gpl, library, system)2012-05-31FelipeLessa, ianclement
easyrender460.0User-friendly creation of EPS, PostScript, and PDF files (gpl, graphics, library)2017-12-05PeterSelinger
edentv230.0A Tool to Visualize Parallel Functional Program Executions (development, eden, gpl, profiling, program, trace)2015-01-22MischaDieterle, JostBerthold, horstmeyer
edge740.0Top view space combat arcade game (game, gpl, program)2016-09-05ChristopherHoward, infrared
ehaskell210.0like eruby, ehaskell is embedded haskell. (gpl, program, text)2008-12-07YoshikuniJujo
eibd-client-simple180.0EIBd Client (automation, gpl, library)2014-11-21vapourismo
electrum-mnemonic220.0easy to remember mnemonic for a high-entropy value (gpl, library, natural-language-processing)2016-11-22JoeyHess
email-validator110.0Perform basic syntax and deliverability checks on email addresses. (gpl, program, utils)2014-03-15MichaelOrlitzky
embroidery50.0support for embroidery formats in haskell (codec, gpl, library, program)2011-07-31JimSnavely
epanet-haskell210.0Haskell binding for EPANET (algorithms, gpl, hydraulics, library)2013-12-16psibi
equal-files460.0Shell command for finding equal files (console, gpl, program)2017-03-22HenningThielemann
erf-native170.0Native Haskell implementation of the interface from the erf package (gpl, library, math)2012-01-03JamesCook
erlang200.0FFI interface to Erlang. (foreign, gpl, library)2016-02-28EricSessoms, gombocarti
ert200.0Easy Runtime Templates (gpl, library, program, text)2015-04-30kayo
estreps120.0Repeats from ESTs (bioinformatics, gpl, program)2009-10-07GwernBranwen, KetilMalde
event-list2070.0Event lists with relative or absolute time stamps (data, gpl, library)2018-02-16HenningThielemann
exherbo-cabal420.0Exheres generator for cabal packages (distribution, gpl, library, program)2017-02-09NikolayOrlyuk
exp-pairs410.0Linear programming over exponent pairs (gpl, library, math)2016-09-28Bodigrim
explicit-constraint-lens140.0Fully-flexible polymorphic lenses, without any bizarre profunctors (data, gpl, library)2017-12-30leftaroundabout
explicit-determinant70.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
factory750.0Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2018-01-13AlistairWard, LennartAugustsson
fallingblocks160.0A fun falling blocks game. (game, gpl, program)2009-03-29BenSanders
fast-digits220.0The fast library for integer-to-digits conversion. (benchmark, data, gpl, library)2016-07-09Bodigrim
fasta740.0A simple, mindless parser for fasta files. (data, gpl, library)2017-02-13GregorySchwartz
fathead-util50.0Utilities for working with DuckDuckHack's FatHead Instant Answers (development, gpl, library)2016-08-17GuiltyDolphin
fec80.0Forward error correction of ByteStrings (codec, gpl, library)2008-01-21AdamLangley
fedora-haskell-tools560.0Building and managing tools for Fedora Haskell (distribution, gpl, program)2018-02-20JensPetersen
fences70.0To be written (gpl, library, unclassified)2014-06-17HansHoglund
fenfire40.0Graph-based notetaking system (gpl, program, user-interfaces)2007-02-13BenjaFallenstein
filepath-io-access50.0IO Access for filepath (development, gpl, library)2013-12-31bheklilr
find-clumpiness210.0Find the clumpiness of labels in a tree (gpl, library, math, program)2017-10-02GregorySchwartz
fishfood420.0Calculates file-size frequency-distribution. (gpl, library, program, utils)2018-01-13AlistairWard
fitsio110.0A library for reading and writing data files in the FITS data format. (data, gpl, library, physics)2008-12-31EricSessoms
flaccuraterip340.0Verify FLAC files ripped form CD using AccurateRip™ (gpl, program, sound)2017-11-18NicolaSquartini
flat-tex70.0flatten a latex multi-file latex document (gpl, program, text)2015-10-11JohannesWaldmann
flower440.0Analyze 454 flowgrams (.SFF files) (bioinformatics, gpl, program)2013-09-19KetilMalde
flowsim230.0Simulate 454 pyrosequencing (bioinformatics, gpl, program)2013-11-19KetilMalde
fluffy62.0A simple web application as a online practice website for XDU SE 2017 fall SPM. (gpl, program, web)2017-11-27qinka
fluffy-parser72.0The parser for fluffy to parsec the question bank in .docx type (gpl, library, text)2017-11-27qinka
folgerhs260.0Toolset for Folger Shakespeare Library's XML annotated plays (gpl, library, program, text)2018-01-25umazalakain
follower60.0Follow Tweets anonymously (application, console, gpl, program, web)2011-01-23EmreBasar
foo60.0Paper soccer, an OpenGL game. (game, gpl, program)2008-08-16DonaldStewart
fordo40.0Run a command on files with magic substituion support (sequencing and regexp) (gpl, program, utils)2010-11-22ChengqiSong
forth-hll (deprecated)80.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
frag200.0A 3-D First Person Shooter Game (game, gpl, program)2008-10-11DonaldStewart, GwernBranwen
freekick2200.0A soccer game (game, gpl, program)2011-06-25AnttiSalonen
frown220.0LALR(k) parser generator (gpl, program, unclassified)2016-03-06MatthewFarkasDyck
frp-arduino210.0Arduino programming without the hassle of C. (gpl, language, library)2015-01-29RickardLindberg
funcmp700.0Functional MetaPost is a Haskell frontend to the MetaPost language (gpl, graphics, library)2018-01-29PeterSimons
futun90.0Simple IP-over-UDP tunnel using TUNTAP (gpl, network, program, system)2013-05-24JussiMaki
fuzzytime440.0A 'ten past six' style clock (gpl, library, program, utils)2016-12-06KamilStachowski
gact100.0General Alignment Clustering Tool (bioinformatics, gpl, program)2012-03-26KetilMalde
game-tree90.0Searching game trees with alpha-beta pruning (data, gpl, library)2009-03-20ColinAdams
gameclock200.0Game clock that shows two analog clock faces (game, gpl, program)2008-09-12AbramClark
gdo180.0recursive atomic build system (distribution, gpl, program)2017-02-23seppeljordan
gearbox160.0zooming rotating fractal gears graphics demo (demo, gpl, program)2016-06-18ClaudeHeilandAllen
geek-server80.0Geek blog engine server (gpl, library, program, web)2014-05-19JinjingWang
gemstone150.0A simple library of helpers for SDL+GL games. (game, gpl, library)2013-02-09CorbinSimpson
geni-gui160.0GenI graphical user interface (gpl, library, natural-language-processing, program)2017-09-23EricKow
geni-util130.0Companion tools for use with the GenI surface realiser (gpl, library, natural-language-processing, program)2017-10-03EricKow
geniconvert130.0Conversion utility for the GenI generator (gpl, natural-language-processing, program)2009-09-29EricKow
geniserver130.0Simple HTTP server for GenI results (gpl, library, natural-language-processing, program)2017-09-23EricKow
geom2d300.0package for geometry in euklidean 2d space (gpl, library, math)2015-11-01seppeljordan
ggtsTC30.0A type checker and runtime system of rCOS/g (impl. of ggts-FCS). (gpl, program, system)2014-01-29brianchon
ght90.0Trivial routines for inspecting git repositories (development, gpl, library, program)2011-11-14ConradParker
gist80.0A reliable command-line client for gist.github.com (gpl, program, web)2012-04-22SimonMichael
git-annex7210.0manage files with git, without checking their contents into git (gpl, program, utility)2018-01-12JoeyHess
git-checklist60.0Maintain per-branch checklists in Git (desktop, development, gpl, program)2014-01-06dougalstanton
git-date170.0Bindings to the date parsing from Git. (data, gpl, library)2015-02-25StephenWeber
git-mediate172.0Remove trivial conflict markers in a git repository (development, gpl, program)2017-06-14EyalLotem
git-repair572.0repairs a damanged git repisitory (gpl, program, utility)2017-06-26JoeyHess
github-backup870.0backs up everything github knows about a repository, to the repository (gpl, program, utility)2017-11-26JoeyHess
gitit2242.0Wiki using happstack, git or darcs, and pandoc. (gpl, library, network, program)2017-02-14JohnMacFarlane
glapp (deprecated)40.0An OpenGL micro framework. (deprecated, gpl, graphics, library, program)2014-01-08SchellScivally
glicko130.0Glicko-2 implementation in Haskell. (gpl, library, math)2017-04-25rprecenth
glome-hs150.0ray tracer (gpl, graphics, library, program)2010-06-19DonaldStewart, JimSnow
gloss-banana100.0An Interface for gloss in terms of a reactive-banana Behavior. (gpl, graphics, library)2014-10-30Twey
gmndl210.0Mandelbrot Set explorer using GTK (gpl, graphics, program)2017-08-04ClaudeHeilandAllen
gnome-desktop40.0Randomly set a picture as the GNOME desktop background (gpl, program, utility)2009-06-22ColinAdams
gnome-keyring390.0Bindings for libgnome-keyring (desktop, gpl, library)2014-02-13JohnMillikin
gnomevfs60.0Binding to the GNOME Virtual File System library. (gpl, library, system)2010-05-25AxelSimon
gnuidn430.0Bindings for GNU IDN (codec, gpl, library, text)2015-10-25JohnMillikin
gnutls510.0Bindings for GNU libgnutls (gpl, library, network)2015-06-18JohnMillikin
gopher-proxy192.25proxy gopher over http (gpl, network, program)2017-01-06sternenseemann
gopherbot50.0Spidering robot to download files from Gopherspace (gpl, network, program)2007-03-07JohnGoerzen
gruff440.0fractal explorer GUI using the ruff library (gpl, graphics, library, program)2016-11-07ClaudeHeilandAllen
gruff-examples110.0Mandelbrot Set examples using ruff and gruff (gpl, graphics, program)2016-11-07ClaudeHeilandAllen
gsasl470.0Bindings for GNU libgsasl (gpl, library, network)2015-05-08JohnMillikin
gt-tools260.0Console and GUI interface for Google Translate service (gpl, program, tools)2015-01-04MikhailPobolovets, SergeiTrofimovich
gtk-jsinput70.0A simple custom form widget for gtk which allows inputing of JSON values (gpl, graphics, library)2012-11-29TimothyHobbs
gtk-simple-list-view40.0A simple custom form widget for gtk which allows single LOC creation/updating of list views. (gpl, graphics, library)2012-11-29TimothyHobbs
gtk-toggle-button-list50.0A simple custom form widget for gtk which allows single LOC creation/updating of toggle button lists. (gpl, graphics, library)2012-11-29TimothyHobbs
gtk2hs-buildtools2620.0Tools to build the Gtk2Hs suite of User Interface libraries. (development, gpl, library, program)2017-11-25AndyStewart, AxelSimon, DanielWagner, DuncanCoutts, HamishMackenzie
gtkrsync30.0Gnome rsync progress display (gpl, network, program)2010-02-19JohnGoerzen
gulcii150.0graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-23ClaudeHeilandAllen
gutenberg-fibonaccis210.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
h-booru130.0Haskell library for retrieving data from various booru image sites (gpl, library, program, web)2014-11-18MateuszKowalczyk
hOff-display70.0The tool to transform the OFF to other image format. (gpl, graphics, library, program)2017-12-15qinka
hOff-parser60.0The parser to parser the OFF(Object File Format, Princeton ModelNet). (gpl, library, text)2017-12-15qinka
hVOIDP120.0Optimal variable selection in chain graphical model. (ai, gpl, library, program)2011-08-26QiQi
hack-contrib-press90.0Hack helper that renders Press templates (gpl, library, text, web)2009-08-07BrandonBickford
hack-handler-evhttp130.0Hack EvHTTP (libevent) Handler (gpl, library, web)2009-08-04BrandonBickford
hack-handler-kibro (deprecated)140.0Hack Kibro handler (deprecated, gpl, library, web)2009-05-26JinjingWang
hackport1140.0Hackage and Portage integration tool (distribution, gpl, program)2017-09-23LennartKolmodin, SergeiTrofimovich
hadolint860.0Dockerfile Linter JavaScript API (development, gpl, library, program)2018-02-20lorenzo
hails-bin (deprecated in favor of hails)120.0Dynamic launcher of Hails applications (deprecated, gpl, program, web)2012-04-20DeianStefan
hake640.0make tool. ruby : rake = haskell : hake (development, gpl, library, program)2013-12-23YoshikuniJujo
hakyll-shortcode80.0A shortcode extension module for Hakyll (gpl, library, web)2017-10-11nbloomf
halipeto (deprecated)170.0Haskell Static Web Page Generator (deprecated, gpl, library, text)2013-04-05PeterSimons
haltavista70.0looks for functions given a set of example input/outputs (development, gpl, program)2010-09-19PaulBrauner
hamsql102.0Interpreter for SQL-structure definitions in YAML (YamSql) (database, gpl, library, program)2016-10-27quabla
harchive80.0Networked content addressed backup and restore software. (gpl, program, system)2007-03-10DavidBrown
hark70.0A Gentoo package query tool. (gpl, program, system)2009-08-29MarkusDittrich
harmony202.0A web service specification compiler that generates implementation and tests. (development, gpl, library, program)2015-08-19SantiMunin
hascal260.0tiny calculator library and command-line program (console, gpl, library, math, parsing, program, tools, utility, utils)2017-02-27DagOdenhall, MekeorMelire
hascar720.0Decompress SAPCAR archives (codec, gpl, library, program)2018-02-01hc
hashrename290.0Rename every file in a directory with his SHA1 hash. (gpl, program, utility)2018-01-30rnhmjoj
haskarrow50.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskeem270.0A small scheme interpreter (compilers-interpreters, gpl, program)2010-01-19UweHollerbach
haskelisp200.0Write Emacs module in Haskell, using Emacs 25's Dynamic Module feature (editor, emacs, gpl, library)2016-11-28shintak
haskell-coffee90.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-compression160.0compress files (gpl, library, program, system)2017-10-26AlanHawkins
haskell-formatter90.0Haskell source code formatter (development, gpl, library, program)2015-02-13evolutics
haskell-lsp-client150.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-pdf-presenter190.0Tool for presenting PDF-based presentations. (application, gpl, graphics, image-viewer, pdf, program)2014-01-20MichaelAdams
haskell-plot50.0A library for generating 2D plots painlessly. (gpl, graphics, library)2014-04-04kaizhang
haskell-rules60.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-typescript70.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskell-updater840.0Rebuild Haskell dependencies in Gentoo (distribution, gpl, program)2017-12-23AlexanderVershilov, IvanMiljenovic, SergeiTrofimovich
haskellscrabble440.0A scrabble library capturing the core game logic of scrabble. (game, gpl, library)2016-03-26happy0
haskore510.0The Haskore Computer Music System (gpl, library, music, sound)2016-02-04HenningThielemann
haskore-realtime140.0Routines for realtime playback of Haskore songs (gpl, library, music, sound)2014-10-31HenningThielemann
haskore-supercollider250.0Haskore back-end for SuperCollider (gpl, library, music, program, sound)2014-10-31HenningThielemann
haskore-synthesizer160.0Music rendering coded in Haskell (gpl, library, music, sound)2016-09-21HenningThielemann
haste-perch290.0Create, navigate and modify the DOM tree with composable syntax, with the haste compiler (gpl, library, web)2015-04-09AlbertoCorona
hchesslib70.0Chess library (game, gpl, library)2014-03-16MiikaPetteriMatikainen
hcwiid260.0Library to interface with the wiimote (gpl, library, system)2017-04-27IvanPerez, KiwamuOkabe, keera_studios_ci
hdbc-tuple40.0Type save tuples for HDBC (database, gpl, library)2009-02-26RickKaudewitz
hdf (deprecated)180.0HDF: Uniform Rate Audio Signal Processing in Haskell (deprecated, gpl, library, sound)2014-10-12RohanDrape
hdm100.0a small display manager. (gpl, program, system)2012-08-26TimothyHobbs
hdr-histogram90.0Haskell implementation of High Dynamic Range (HDR) Histograms (benchmark, gpl, library, math, statistics)2016-01-03joshbohde
helium150.0The Helium Compiler. (compiler, gpl, library, program)2015-04-14AlejandroSerrano, JurriaanHage
hellnet130.0Simple, distributed, anonymous data sharing network. (gpl, library, network, program)2010-03-03JaroslavGridin
herms100.0A command-line manager for delicious kitchen recipes (cli, command-line-tool, culinary, gpl, program)2017-10-18JackKiefer
hesql300.0Haskell's embedded SQL (database, gpl, program)2010-01-14ChristophBauer
hetris110.0Text Tetris (game, gpl, program)2008-03-06GwernBranwen
hg-buildpackage70.0Tools to help manage Debian packages with Mercurial (gpl, program, system)2008-01-16JohnGoerzen
hgal170.0library for computation automorphism group and canonical labelling of a graph (algorithms, data-structures, gpl, library)2013-06-23JeanPhilippeBernardy
hgen70.0Random generation of modal and hybrid logic formulas (gpl, program, theorem-provers)2012-07-05GuillaumeHoffmann
hgl-example110.0Various animations generated using HGL (gpl, graphics, program)2014-07-09HenningThielemann
hgom140.0An haskell port of the java version of gom (compiler, gpl, program)2010-03-04PaulBrauner
hgrib160.0Unofficial bindings for GRIB API (data, gpl, library)2015-11-07mjakob
hiccup90.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, gpl, program)2008-03-25KyleConsalus
hichi50.0haskell robot for IChat protocol (gpl, network, program)2009-03-01SergeiTrofimovich
highWaterMark (deprecated)80.0Memory usage statistics (deprecated, development, gpl, program)2008-03-17GwernBranwen
highlighting-kate (deprecated in favor of skylighting)3290.0Syntax highlighting (deprecated, gpl, library, text)2017-01-31JohnMacFarlane
himerge70.0Haskell Graphical User Interface for Emerge (gpl, gui, program)2008-05-02LuisAraujo
himg40.0Simple gtk2hs image viewer. Point it at an image and fire away. (gpl, graphics, library, program)2014-02-01MateuszKowalczyk
hinvaders70.0Space Invaders (game, gpl, program)2008-02-21GwernBranwen
hircules150.0IRC client (gpl, network, program)2010-08-14JensPetersen
hjugement100.0Majority Judgment. (gpl, language, library)2017-08-08julm
hledger2152.5Command-line interface for the hledger accounting tool (console, finance, gpl, library, program)2017-12-31SimonMichael
hledger-api570.0Web API server for the hledger accounting tool (finance, gpl, program)2017-12-31SimonMichael
hledger-chart (deprecated in favor of hledger-web)280.0A pie chart image generator for the hledger accounting tool. (deprecated, finance, gpl, program)2011-10-05SimonMichael
hledger-diff450.0Compares the transactions in two ledger files. (console, finance, gpl, program)2018-01-06gebner
hledger-lib2170.0Core data types, parsers and functionality for the hledger accounting tools (finance, gpl, library)2017-12-31SimonMichael
hledger-ui1160.0Curses-style user interface for the hledger accounting tool (console, finance, gpl)2017-12-31SimonMichael
hledger-vty (deprecated in favor of hledger-web)410.0A curses-style console interface for the hledger accounting tool. (deprecated, finance, gpl, program)2011-10-05SimonMichael
hledger-web2590.0Web interface for the hledger accounting tool (finance, gpl, library)2017-12-31SimonMichael
hls (deprecated)130.0Haskell Lindenmayer Systems (deprecated, gpl, graphics, library)2014-11-16RohanDrape
hly200.0Haskell LilyPond (gpl, library, music)2017-11-22RohanDrape
hmatrix-glpk500.0Linear Programming based on GLPK (gpl, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
hmatrix-gsl500.0Numerical computation (gpl, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
hmatrix-special410.0Interface to GSL special functions (gpl, library, math)2016-11-02AlbertoRuiz, DominicSteinitz
hmatrix-static200.0hmatrix with vector and matrix sizes encoded in types (gpl, library, math)2010-09-12ReinerPope
hmatrix-syntax190.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmeap (deprecated)310.0Haskell Meapsoft Parser (deprecated, gpl, library, sound)2014-12-05RohanDrape
hmeap-utils (deprecated)150.0Haskell Meapsoft Parser Utilities (deprecated, gpl, program, sound)2013-04-27RohanDrape
hmk450.0A make alternative based on Plan9's mk. (control, development, distribution, gpl, library, program)2016-01-11MathieuBoespflug
hmp3290.0An ncurses mp3 player written in Haskell (gpl, program, sound)2008-06-13DonaldStewart, IsaacJones
hmt450.0Haskell Music Theory (gpl, library, music)2017-11-22RohanDrape
hmt-diagrams (deprecated)100.0Haskell Music Theory Diagrams (deprecated, gpl, library, music)2014-10-16RohanDrape
hmumps80.0Interpreter for the MUMPS langugae (development, gpl, program)2010-05-12AntoineLatter
hob90.0A source code editor aiming for the convenience of use (gpl, ide, library, program)2014-12-27rakatan
hommage-ds40.0DirectSound extension (Windows) for the Hommage sound library (gpl, library, sound)2009-08-01DanielVanDenEijkel
hoodie40.0A small, toy roguelike (game, gpl, program)2013-11-06dvolk
hoodle460.0Executable for hoodle (application, gpl, library, program)2016-07-25IanWooKim
hoodle-extra50.0extra hoodle tools (application, gpl, program)2014-07-14IanWooKim
hoq110.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-27valis
hosc2020.0Haskell Open Sound Control (gpl, library, sound)2017-11-22HenningThielemann, PaoloVeronelli, RohanDrape
hosc-json120.0Haskell Open Sound Control JSON Serialisation (gpl, library, sound)2017-11-22RohanDrape
hosc-utils (deprecated)110.0Haskell Open Sound Control Utilities (deprecated, gpl, program, sound)2014-10-13RohanDrape
hosts-server110.0An dns server which is extremely easy to config. (gpl, network, program)2014-01-15YiHuang
hpaste160.0Haskell paste web site. (gpl, program, web)2013-07-02ChrisDone, DonaldStewart
hplaylist120.0Application for managing playlist files on a music player (gpl, program, sound)2011-05-21TimChevalier
hpodder490.0Podcast Aggregator (downloader) (gpl, network, program)2011-11-08JohnGoerzen
hps450.0Haskell Postscript (gpl, graphics, library)2017-11-22RohanDrape
hps-cairo (deprecated)170.0Cairo rendering for the haskell postscript library (deprecated, gpl, graphics, library, program)2011-11-22RohanDrape
hps-kmeans50.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hpylos102.0AI of Pylos game with GLUT interface. (ai, game, gpl, program)2008-11-23BartoszWojcik
hs-bibutils2130.0Haskell bindings to bibutils, the bibliography conversion utilities. (gpl, library, text)2017-10-06AndreaRossato, wilx
hs-twitterarchiver90.0Commandline Twitter feed archiver (gpl, network, program)2012-01-19DeepakJois
hsay130.0(ab)Use Google Translate as a speech synthesiser (accessibility, gpl, program)2014-12-17alexander
hsc3680.0Haskell SuperCollider (gpl, library, sound)2017-11-22HenningThielemann, RohanDrape
hsc3-auditor (deprecated)120.0Haskell SuperCollider Auditor (deprecated, gpl, library, sound)2014-10-16RohanDrape
hsc3-cairo (deprecated)80.0haskell supercollider cairo drawing (deprecated, gpl, library, sound)2013-04-27RohanDrape
hsc3-data (deprecated)60.0haskell supercollider data (deprecated, gpl, library, sound)2014-11-30RohanDrape
hsc3-db (deprecated)300.0Haskell SuperCollider Unit Generator Database (deprecated, gpl, library, sound)2014-10-11RohanDrape
hsc3-dot300.0haskell supercollider graph drawing (gpl, library, sound)2017-11-22RohanDrape
hsc3-forth (deprecated)150.0FORTH SUPERCOLLIDER (deprecated, gpl, program, sound)2014-10-11RohanDrape
hsc3-graphs (deprecated)380.0Haskell SuperCollider Graphs (deprecated, gpl, library, program, sound)2014-10-13RohanDrape
hsc3-lang (deprecated)320.0Haskell SuperCollider Language (deprecated, gpl, library, sound)2014-10-11RohanDrape
hsc3-lisp50.0LISP SUPERCOLLIDER (gpl, program, sound)2014-10-11RohanDrape
hsc3-plot (deprecated)170.0Haskell SuperCollider Plotting (deprecated, gpl, library, sound)2014-10-31RohanDrape
hsc3-process390.0Create and control scsynth processes (gpl, library, sound)2013-11-19StefanKersten
hsc3-rec (deprecated)140.0Haskell SuperCollider Record Variants (deprecated, gpl, library, sound)2013-04-27RohanDrape
hsc3-rw (deprecated)80.0hsc3 re-writing (deprecated, gpl, library, sound)2014-10-22RohanDrape
hsc3-server430.0SuperCollider server resource management and synchronization. (gpl, library, sound)2015-05-15StefanKersten
hsc3-sf (deprecated)230.0Haskell SuperCollider SoundFile (deprecated, gpl, library, sound)2014-10-14RohanDrape
hsc3-sf-hsndfile (deprecated)150.0Haskell SuperCollider SoundFile (deprecated, gpl, library, sound)2014-10-14RohanDrape
hsc3-unsafe (deprecated)420.0Unsafe Haskell SuperCollider (deprecated, gpl, library, sound)2013-04-27RohanDrape
hsc3-utils (deprecated)100.0Haskell SuperCollider Utilities (deprecated, gpl, library, program, sound)2014-10-23RohanDrape
hsclock50.0An elegant analog clock using Haskell, GTK and Cairo (gpl, program, system)2008-06-16DonaldStewart
hsdif (deprecated)100.0Haskell SDIF (deprecated, gpl, library, sound)2013-04-27RohanDrape
hsfacter (deprecated in favor of language-puppet)270.0A small and ugly library that emulates the output of the puppet facter program. (deprecated, gpl, library, system)2013-05-16SimonMarechal
hsgtd100.0Console-based gettings-things-done application (gpl, other, program)2009-09-26MichaelLesniak
hsharc (deprecated)90.0Haskell SHARC bindings (deprecated, gpl, library, sound)2013-04-27RohanDrape
hsluv-haskell250.0HSLuv conversion utility. (conversion, gpl, library)2018-02-01modalduality
hspear (deprecated)60.0Haskell Spear Parser (deprecated, gpl, library, sound)2013-04-27RohanDrape
hspecVariant470.0Spec for testing properties for variant types (gpl, library, testing)2018-02-02sanjorgek
hsprocess (deprecated in favor of haskell-awk)110.0The Haskell Stream Processor command line utility (console, deprecated, gpl, library, program)2013-08-04MarioPastorelli
hstorchat80.0Distributed instant messaging over Tor (gpl, library, network, program)2014-06-04creichert, ChristopherReichert
hswip40.0embedding prolog in haskell (foreign, gpl, language, library)2010-08-13EvgenyTarasov
htirage70.0Equiprobable draw from publicly verifiable random data. (gpl, language, library)2017-08-07julm
html-minimalist (deprecated)210.0Minimalist haskell html library (deprecated, gpl, library, text)2014-10-16RohanDrape
hts (deprecated)210.0Haskell Music Typesetting (deprecated, gpl, library, music)2014-10-15RohanDrape
htsn (deprecated)280.0Parse XML files from The Sports Network feed. (deprecated, gpl, program, utils)2014-09-23MichaelOrlitzky
htsn-common (deprecated)100.0Display/logging facilities used by both htsn and htsn-import. (deprecated, gpl, library, utils)2014-05-29MichaelOrlitzky
htsn-import (deprecated)750.0Import XML files from The Sports Network into an RDBMS. (deprecated, gpl, program, utils)2015-03-10MichaelOrlitzky
https-everywhere-rules-raw60.0Low-level (i.e. XML) access to HTTPS Everywhere rulesets. (data, gpl, library)2014-08-24vi
hums400.0Haskell UPnP Media Server (gpl, network, program)2014-06-18BardurArantsson
hunp150.0Unpacker tool with DWIM (console, gpl, program, utils)2009-06-20DenizDogan
husky200.0A simple command line calculator. (console, gpl, program)2009-04-04MarkusDittrich
hwhile162.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2018-01-17alexj136
hydrogen70.0An alternate Prelude (gpl, library, prelude)2015-04-05KarlVoelker
hylolib210.0Tools for hybrid logics related programs (gpl, library, theorem-provers)2016-10-14GuillaumeHoffmann
hylotab50.0Tableau based theorem prover for hybrid logics (gpl, program, theorem-provers)2012-07-05GuillaumeHoffmann
hyloutils40.0Very small programs for hybrid logics (gpl, program, theorem-provers)2012-07-05GuillaumeHoffmann
hzulip692.0A haskell wrapper for the Zulip API. (gpl, library, web)2016-01-27yamadapc
ib-api60.0An API for the Interactive Brokers Trading Workstation written in pure Haskell (gpl, library, network, program)2015-07-28rbermani
ideas-math80.0Interactive domain reasoner for logic and mathematics (education, gpl, program)2015-04-09BastiaanHeeren
ieee754-parser (deprecated in favor of data-binary-ieee754)40.0 (data, deprecated, gpl, library)2009-04-11JohnMillikin
iff260.0Constructing and dissecting IFF files (codec, gpl, library)2017-03-22HenningThielemann
ige61.25An keyboard-driven interactive graph editor (editing, gpl, program)2017-09-11olynch
imbib50.0Minimalistic reference manager. (gpl, program, text)2010-11-11JeanPhilippeBernardy
imparse90.0Multi-platform parser analyzer and generator. (gpl, library, program, text)2013-08-20AndreiLapets
incremental-parser880.0Generic parser library capable of providing partial results from partial input. (gpl, library, parsing)2018-01-10MarioBlazevic
inf-interval130.0Non-contiguous interval data types with potentially infinite ranges. (gpl, library, numeric)2016-05-31RaminHonary
infernu90.0Type inference and checker for JavaScript (experimental) (gpl, library, program, unclassified)2015-04-18NoamLewis
infix130.0Infix expression re-parsing (for HsParser library) (gpl, library, parsing)2008-03-05GwernBranwen
inject-function130.0Monadic functions with injected parameters. (control, gpl, library)2013-09-13DimitriSabadie
inquire70.0Console client for encyclopedias (gpl, program, web)2014-01-08orbifx
instant-zipper50.0Heterogenous Zipper in Instant Generics (generics, gpl, library)2010-11-16BramSchuur
instrument-chord260.0Render Instrument Chords (gpl, library, music)2017-01-15AlanHawkins
interlude130.0Replaces some Prelude functions for enhanced error reporting (development, gpl, library)2009-12-12GwernBranwen, KetilMalde
internetmarke180.0Shell command for constructing custom stamps for German Post (console, gpl, graphics, program)2012-04-10HenningThielemann
interpol170.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
interval120.0Intervals with adherences. (data-structures, gpl, library)2016-08-21julm
intricacy680.0A game of competitive puzzle-design (game, gpl)2018-01-14mbays
ipatch110.0interactive patch editor (development, gpl, program)2012-04-15JoachimBreitner
iron-mq90.0Iron.IO message queueing client library (gpl, library, network)2014-12-27arnoblalam
isotope210.0Isotopic masses and relative abundances. (chemistry, gpl, library)2017-04-29Michaelt293
iyql250.0CLI (command line interface) to YQL (gpl, network, program)2010-09-22DiegoSouza
jack940.0Bindings for the JACK Audio Connection Kit (gpl, library, sound)2018-02-16HenningThielemann
jackminimix60.0control JackMiniMix (gpl, library, sound)2010-08-25RenickBell
jalla170.0Higher level functions for linear algebra. Wraps BLAS and LAPACKE. (gpl, library, math)2015-06-26ChristianGosch
jammittools500.0Export sheet music and audio from Windows/Mac app Jammit (gpl, library, program, sound)2017-09-12mtolly
jarfind150.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, gpl, language, library, program, utils)2012-10-30EugeneKirpichov
jdi50.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jsonrpc-conduit280.0JSON-RPC 2.0 server over a Conduit. (conduit, gpl, library)2015-12-13GabrieleSales
judge260.0Tableau-based theorem prover. (gpl, library, logic, program)2018-02-05slakkenhuis
kanji280.0Perform 漢字検定 (Japan Kanji Aptitude Test) level analysis on Japanese Kanji. (data, gpl, library)2017-11-26fosskers
kbq-gu100.0Rpoku spoken word programming language (gpl, language, program)2008-08-14AndriiZvorygin
kdesrc-build-extra190.0Build profiles for kdesrc-build (development, gpl, program)2016-04-05ivan
kevin1210.0a dAmn ↔ IRC proxy (gpl, program, utils)2013-08-31JoelTaylor
korfu180.0The Korfu ORF Utility (bioinformatics, gpl, program)2010-09-10KetilMalde
lambda2js151.5Untyped Lambda calculus to JavaScript compiler (compiler, gpl, program)2015-09-27MatejKollar
lambdaFeed70.0RSS 2.0 feed generator (gpl, program, web)2007-02-13DonaldStewart
lambdabot760.0Lambdabot is a development tool and advanced IRC bot (development, gpl, program, web)2017-02-20BertramFelgenhauer, DmitryMalikov, GwernBranwen, IsaacJones, JamesCook
lambdabot-core350.0Lambdabot core functionality (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-haskell-plugins420.0Lambdabot Haskell plugins (development, gpl, library, web)2017-12-26BertramFelgenhauer, JamesCook
lambdabot-irc-plugins270.0IRC plugins for lambdabot. (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-misc-plugins210.0Lambdabot miscellaneous plugins (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-novelty-plugins390.0Novelty plugins for Lambdabot (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-reference-plugins370.0Lambdabot reference plugins. (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-social-plugins220.0Social plugins for Lambdabot (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-trusted310.0Lambdabot trusted code. (development, gpl, library, web)2017-02-20BertramFelgenhauer, JamesCook
lambdabot-utils (deprecated in favor of lambdabot)200.0Utility libraries for the advanced IRC bot, Lambdabot (deprecated, development, gpl, library, web)2013-02-16GwernBranwen, JanStolarek
lambdatex300.0Type-Safe LaTeX EDSL (gpl, library, text)2017-04-03Norfair
language-docker342.0Dockerfile parser, pretty-printer and embedded DSL (development, gpl, library)2018-01-04lorenzo
language-dockerfile540.0Dockerfile linter, parser, pretty-printer and embedded DSL (development, gpl, library)2017-05-14yamadapc
language-go230.0A library for analysis and synthesis of Go code. (gpl, language, library)2011-02-06AndrewRobbins
lat130.0Tool to track security alerts on LWN (gpl, program, utils)2011-05-13MagnusTherning
lazy-hash100.0Identifiers for not-yet-computed values (data, gpl, library)2017-07-24leftaroundabout
lazy-hash-cache50.0Storing computed values for re-use when the same program runs again. (data, gpl, library)2017-07-24leftaroundabout
leaf130.0A simple portfolio generator (gpl, program, web)2013-02-18DimitriSabadie
leksah2510.0Haskell IDE written in Haskell (development, editor, gpl, ide, library, program)2017-08-14HamishMackenzie, JuergenNicklischFranken
leksah-server1740.0Metadata collection for leksah (gpl, ide, library, program)2017-11-04HamishMackenzie, JuergenNicklischFranken
lentil2162.0frugal issue tracker (development, gpl, program)2018-01-30fffaaa, lwm
lfst140.0L-Fuzzy Set Theory implementation in Haskell (gpl, library, math)2016-03-12claudiogreco
lhae (deprecated)100.0Simple spreadsheet program (data, deprecated, gpl, program)2010-09-28AlexanderBau
lhs2tex1020.0Preprocessor for typesetting Haskell sources with LaTeX (development, gpl, language, program)2017-09-29AndresLoeh
libGenI (deprecated in favor of GenI)130.0A natural language generator (specifically, an FB-LTAG surface realiser) (deprecated, gpl, library, natural-language-processing)2008-02-19EricKow
liblawless1740.0Prelude based on protolude for GHC 8 and beyond. (gpl, library, prelude)2017-10-02misandrist
libmolude (deprecated in favor of liblawless)120.0Prelude based on protolude for GHC 8 and beyond. (deprecated, gpl, library, prelude)2016-11-26misandrist
liboath-hs120.0Bindings to liboath (gpl, library, program, security)2017-11-08parsonsmatt
libpafe90.0Wrapper for libpafe (ffi, gpl, library)2015-07-29haru2036
line-break110.0Convert newlines in text (gpl, program, text)2017-01-15AlanHawkins
line-size60.0Display the number of bytes of each line (data, gpl, program)2017-03-27AlanHawkins
linear-socket160.0Typed sockets (gpl, library, network, program)2017-12-03alleledev
linearmap-category310.0Native, complete, matrix-free linear algebra. (gpl, library, math)2017-10-30leftaroundabout
linkchk70.0linkchk is a network interface link ping monitor. (gpl, program, system)2008-02-17GwernBranwen
lio992.0Labeled IO Information Flow Control Library (gpl, library, security)2016-07-05AmitLevy, DavidMazieres, DeianStefan
lio-eci11 (deprecated in favor of lio)110.0Labeled IO library (deprecated, gpl, library, security)2011-07-23AlejandroRusso
lio-fs190.0Labeled File System interface for LIO (gpl, library, security)2014-03-13DeianStefan
list-prompt140.0A simple list prompt UI for the terminal. (gpl, library, system)2015-12-20yamadapc
list-remote-forwards60.0List all remote forwards for mail accounts stored in a SQL database. (gpl, mail, program, utils)2014-11-28MichaelOrlitzky
lit330.0A simple tool for literate programming (development, gpl, program)2016-02-09cdosborn
live-sequencer880.0Live coding of MIDI music (gpl, gui, library, music, program, sound)2018-02-16HenningThielemann
local-search220.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, gpl, library, local-search, optimisation)2013-07-18RichardSenington
localization230.0Library for localization (l10n) (data-structures, gpl, library)2018-02-14julm
log2json40.0Turn log file records into JSON. (gpl, json, library, logging, program, text, tools, utils)2012-11-02HaroldLee
logic-TPTP640.0Import, export etc. for TPTP, a syntax for first-order logic (codec, gpl, library, math, theorem-provers)2017-09-02DanielSchuessler, KiYungAhn
lol420.0A library for lattice cryptography. (crypto, gpl, library)2017-02-19crockeea
lol-apps270.0Lattice-based cryptographic applications using <https://hackage.haskell.org/package/lol lol>. (benchmark, crypto, gpl, library, program)2017-02-24crockeea
lol-benches270.0A library for benchmarking <https://hackage.haskell.org/package/lol lol>. (crypto, gpl, library)2017-02-26crockeea
lol-calculus60.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-cpp190.0A fast C++ backend for <https://hackage.haskell.org/package/lol lol>. (benchmark, crypto, gpl, library)2017-02-24crockeea
lol-repa130.0A repa backend for <https://hackage.haskell.org/package/lol lol>. (benchmark, crypto, gpl, library)2017-02-24crockeea
lol-tests60.0A library for testing <https://hackage.haskell.org/package/lol Λ ∘ λ>. (crypto, gpl, library)2017-02-19crockeea
lol-typing100.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
loris180.0interface to Loris API (gpl, library, music, sound)2012-12-19JohnLato
lostcities100.0An implementation of an adictive two-player card game (game, gpl, program)2009-11-21PedroVasconcelos
lp-diagrams-svg140.0SVG Backend for lp-diagrams (gpl, graphics, library)2016-03-12JeanPhilippeBernardy
ltk1032.0Leksah tool kit (gpl, gui, library)2017-11-04HamishMackenzie, JuergenNicklischFranken
luachunk50.0Library functions for reading and writing Lua chunks (gpl, library, scripting)2012-10-05AnupamJain
lucienne (deprecated)140.0Server side feed aggregator/reader (deprecated, gpl, program, web)2012-06-09AlexanderBau
lxd-client530.0LXD client written in Haskell. (gpl, library, program, system)2018-02-13hverr
lxd-client-config140.0Read the configuration file of the standard LXD client. (gpl, library, system)2017-10-18hverr
macbeth-lib50.0Macbeth - A beautiful and minimalistic FICS client (game, gpl, library, program)2016-04-05tgass
machines-amazonka340.0Machine transducers for Amazonka calls. (gpl, library, network)2017-05-22misandrist
mahoro130.0ImageBoards to XMPP gate (gpl, program, web)2009-09-16OlegIvanov
mailbox-count100.0Count mailboxes in a SQL database. (gpl, mail, program, utils)2014-05-31MichaelOrlitzky
make-hard-links100.0Change duplicated files into hard-links. (gpl, program, system)2009-03-14FelipeLessa
manatee840.0The Haskell/Gtk+ Integrated Live Environment (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-14AndyStewart
manatee-all40.0Virtual package to install all Manatee packages. (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-14AndyStewart
manatee-anything280.0Multithread interactive input/search framework for Manatee (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-01-12AndyStewart
manatee-browser460.0Browser extension for Manatee. (browser, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-core450.0The core of Manatee. (desktop-environment, gpl, ide, library, manatee, operating-system)2011-05-14AndyStewart
manatee-curl320.0Download Manager extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-editor450.0Editor extension for Manatee. (editor, gpl, ide, library, manatee, program)2011-05-14AndyStewart
manatee-filemanager370.0File manager extension for Manatee. (file-manager, gpl, library, manatee, program)2011-05-14AndyStewart
manatee-imageviewer470.0Image viewer extension for Manatee. (gpl, image, image-viewer, library, manatee, program)2011-05-14AndyStewart
manatee-ircclient360.0IRC client extension for Manatee. (gpl, irc, irc-client, library, manatee, program)2011-05-14AndyStewart
manatee-mplayer550.0Mplayer client extension for Manatee. (gpl, library, manatee, multimedia, multimedia-player, program)2011-05-14AndyStewart
manatee-pdfviewer480.0PDF viewer extension for Manatee. (gpl, library, manatee, pdf, pdf-viewer, program)2011-05-14AndyStewart
manatee-processmanager380.0Process manager extension for Manatee. (gpl, library, manatee, process-manager, program, system)2011-05-14AndyStewart
manatee-reader440.0Feed reader extension for Manatee. (atom, feed, gpl, library, manatee, program, rss, rss-atom-reader)2011-05-14AndyStewart
manatee-template160.0Template code to create Manatee application. (gpl, ide, library, manatee, program, template)2011-05-14AndyStewart
manatee-terminal160.0Terminal Emulator extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-welcome100.0Welcome module to help user play Manatee quickly. (gpl, ide, library, manatee, program, welcome)2011-05-14AndyStewart
mandulia190.0A zooming visualisation of the Mandelbrot Set as many Julia Sets. (gpl, graphics, program)2010-08-14ClaudeHeilandAllen
manifold-random200.0Sampling random points on general manifolds. (gpl, library, math)2017-10-30leftaroundabout
manifolds940.0Coordinate-free hypersurfaces (gpl, library, math)2017-10-30leftaroundabout
manifolds-core160.0The basic classes for the manifolds hierarchy. (gpl, library, math)2017-10-29leftaroundabout
markov-chain640.0Markov Chains for generating random sequences with a user definable behaviour. (algorithms, gpl, library)2016-07-14HenningThielemann
markup-preview270.0A simple markup document preview (markdown, textile, reStructuredText) (gpl, program, text)2015-03-07MariusGhita
mars410.0Generates mountainous terrain using a random walk algorithm. (gpl, graphics, library)2016-08-24infrared
marxup340.0Markup language preprocessor for Haskell (gpl, library, program, text)2016-11-13JeanPhilippeBernardy
masakazu-bot140.0@minamiyama1994_bot on haskell (gpl, program, web)2014-08-20minamiyama1994
mathexpr230.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2016-11-04mdibaiee
mathgenealogy350.0Discover your (academic) ancestors! (gpl, program, web)2015-11-22PeterRobinson
matsuri280.0ncurses XMPP client (gpl, network, program)2009-12-03OlegIvanov
maxent-learner-hw230.0Hayes and Wilson's maxent learning algorithm for phonotactic grammars. (gpl, library, linguistics, program)2017-05-12gtsteel
maxent-learner-hw-gui90.0GUI for maxent-learner-hw (gpl, linguistics, program)2017-05-12gtsteel
mcm102.0Manages the contents of files and directories (gpl, language, program, system, text)2017-01-19AnthonyDoggett
mcmc-synthesis240.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
med-module250.0Parse song module files from Amiga MED and OctaMED (gpl, library, sound)2017-08-02HenningThielemann
mediawiki2latex280.0Convert MediaWiki text to LaTeX (gpl, program, text)2014-05-02dhun
medium-sdk-haskell60.0Haskell SDK for communicating with the Medium API (gpl, library, web)2015-11-16timmy_tofu
memscript340.0Command line utility for memorizing scriptures or any other text (education, gpl, program)2015-10-10KiYungAhn
mida (deprecated)220.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
midair140.0Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)2016-03-11TomMurphy
midi2850.0Handling of MIDI messages and files (gpl, library, music, sound)2018-02-16HenningThielemann
midi-utils40.0Utilities for working with MIDI data (gpl, library, sound)2016-08-15GuiltyDolphin
mikrokosmos250.0Lambda calculus interpreter (gpl, language, program)2017-08-15mroman42
miniball120.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
minilens292.0A minimalistic lens library, providing only the simplest, most basic lens functionality. (data, gpl, lens, library)2016-05-31RaminHonary
minst-idx (deprecated in favor of mnist-idx)240.0Read and write IDX data that is used in e.g. the MINST database. (data, deprecated, gpl, library)2015-05-30muzzle
mios200.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2017-12-20shnarazk
mirror-tweet40.0Tweet mirror (gpl, program, web)2014-08-17minamiyama1994
missing-py2140.0Haskell interface to Python (foreign, gpl, library)2013-11-12domdere
mkbndl80.0Makes an OS X .app bundle from a binary. (distribution, gpl, program)2008-05-26ThomasDavie
mkcabal340.0Generate cabal files for a Haskell project (distribution, gpl, program)2010-04-17DonaldStewart
modify-fasta580.0Modify fasta (and CLIP) files in several optional ways (bioinformatics, gpl, library, program)2016-11-13GregorySchwartz
modulo410.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
monad-coroutine750.0Coroutine monad transformer for suspending and resuming monadic computations (concurrency, control, gpl, library, monads)2018-02-25MarioBlazevic
monadbi (deprecated)80.0Extract underlying monads from monad transformers (control, deprecated, gpl, library)2011-09-22AnupamJain
monadfibre (deprecated)290.0Monadic functions which provide Choice and Parallelism. (control, deprecated, gpl, library)2011-09-22AnupamJain
mount (deprecated in favor of linux-mount)140.0Mounts and umounts filesystems (deprecated, gpl, library, system)2013-04-05NicolaSquartini
mp200.0Music player for linux. (gpl, program, sound)2015-02-24piotrborek
mpppc220.0Multi-dimensional parametric pretty-printer with color (gpl, library, text)2012-12-08DarinMorrison
mpris60.0Interface for MPRIS (gpl, library, media)2015-12-15Fuco
mpvguihs60.0A minimalist mpv GUI written in I/O heavy Haskell. (gpl, multimedia, program)2013-11-14pse
mqtt-hs230.0A MQTT client library. (gpl, library, network)2017-01-18LukasBraun
mrifk290.0Decompiles Glulx files (decompiler, gpl, program, util)2017-01-16MicroTransactions
mucipher100.0A library to produce simple ciphers for use with lambdabot. (codec, gpl, library)2008-11-12AndrewRobbins
mulang200.0An intermediate language designed to perform advanced code analysis (gpl, language, library, program)2018-01-04flbulgarelli
musicbrainz-email (deprecated)50.0Send an email to all MusicBrainz editors (deprecated, gpl, library, musicbrainz, program)2013-04-18OliverCharles
mute-unmute140.0Watches your screensaver and (un)mutes music when you (un)lock the screen. (gpl, program, system)2010-08-27KrzysztofSkrzetnicki
myanimelist-export220.0Export from MyAnimeList (gpl, library, program, web)2017-12-02mat8913
namecoin-update180.0Tool to keep namecoin names updated and well (gpl, library, network, program)2018-01-11rnhmjoj
nanq310.0Performs 漢字検定 (Japan Kanji Aptitude Test) level analysis on given Kanji. (gpl, natural-language-processing, program)2016-04-13fosskers
naver-translate170.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
ncurses1430.0Modernised bindings to GNU ncurses (foreign, gpl, library, user-interfaces)2016-08-29JohnMillikin
neet340.0A NEAT library for Haskell (ai, gpl, library)2016-02-12hijiri
nested-sets240.0Nested set model implementation (data-structures, gpl, library)2014-10-11rakatan
netclock340.0Netclock protocol (gpl, library, network)2013-07-12AlexMcLean
netrc110.0Parser for .netrc files (gpl, library, network)2015-04-04HerbertValerioRiedel
netstring-enumerator (deprecated)140.0Enumerator-based netstring parsing (deprecated, enumerator, gpl, library, network, parsing)2012-10-20JohnMillikin
network-house220.0data and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, TFTP (gpl, library, network)2015-09-03NiklasHambuechen
network-protocol-xmpp1360.0Client library for the XMPP protocol. (gpl, library, network)2015-06-19JohnMillikin
network-server120.0A light abstraction over sockets & co. for servers (gpl, library, network, program, system)2009-02-26RickKaudewitz
network-stream100.0ByteString and Text streams for networking (data, gpl, library)2011-11-08JaredHance
newsynth510.0Exact and approximate synthesis of quantum circuits (gpl, library, program, quantum)2016-07-27PeterSelinger
nirum730.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-02-17hongminhee
nix-eval280.0Evaluate Haskell expressions using Nix to get packages (gpl, language, library)2016-11-12chriswarbo
non-negative1200.0Non-negative numbers (gpl, library, math)2018-02-16HenningThielemann
nonlinear-optimization850.0Various iterative algorithms for optimization of nonlinear functions. (gpl, library, math)2015-07-22FelipeLessa
nonlinear-optimization-ad560.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2016-05-26MasahiroSakai
notmuch-web260.0A web interface to the notmuch email indexer (gpl, library, web)2013-12-17JohnLenz
number-show70.0Flexible and accurate (for a given precision) numerical->string conversion (gpl, library, text)2017-02-17leftaroundabout
numeric-quest1070.0Math and quantum mechanics (gpl, library, math)2018-02-15HenningThielemann
oauth10a80.0Fully Automatic Luxury OAuth 1.0a headers (gpl, library, web)2016-11-16gatlin
obd330.0Communicate to OBD interfaces over ELM327 (gpl, hardware, library, program)2016-10-23hverr
obdd570.0Ordered Reduced Binary Decision Diagrams (gpl, library, logic)2016-12-29JohannesWaldmann
octopus190.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
once180.0memoization for IO actions and functions (data, gpl, library)2016-06-17KAction
only270.0A grep-like tool for filtering on words or lines. (console, gpl, program)2008-09-20AndrewRobbins
oo-prototypes540.0Support for OO-like prototypes (data, gpl, library)2014-08-25DmitryIvanov, MateuszKowalczyk
open-haddock80.0Open haddock HTML documentation (development, gpl, program)2015-10-30jml
open-pandoc (deprecated in favor of pandoc)120.0Conversion between markup formats (deprecated, gpl, text)2010-04-14PeterSimons
openexr-write210.0Library for writing images in OpenEXR HDR file format. (gpl, graphics, library)2017-07-04pavolzetor
opensoundcontrol-ht230.0Haskell OpenSoundControl utilities (gpl, library, sound)2014-10-31HenningThielemann
org2anki110.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
organize-imports190.0Organize scala imports (development, gpl, program)2016-05-05lcycon
orgstat440.0Statistics visualizer for org-mode (gpl, library, program, unclassified)2017-11-27volhovm
oscpacking240.0Implements an osculatory packing (kissing circles) algorithm and display. (gpl, graphics, library)2016-08-27infrared
oso2pdf50.0Better conversion of Oxford Scholarship Online material to PDF (gpl, program, text)2015-09-28spwhitton
packed-multikey-map60.0Efficient “spreadsheet table” like maps with multiple marginals (data, gpl, library)2017-09-29leftaroundabout
panda (deprecated in favor of bamboo)1510.0A simple static blog engine (deprecated, gpl, library, web)2009-03-31JinjingWang
pandoc18572.75Conversion between markup formats (gpl, library, program, text)2018-01-18JohnMacFarlane
pandoc-citeproc-preamble370.0Insert a preamble before pandoc-citeproc's bibliography (gpl, program, text)2017-02-04spwhitton
pandoc-crossref2990.0Pandoc filter for cross-references (gpl, library, program, text)2018-01-16lierdakil
pandoc-japanese-filters110.0Japanese-specific markup filters for pandoc. (gpl, program, text)2016-01-20HiromiIshii
pandoc-placetable420.0Pandoc filter to include CSV files (gpl, program, text)2016-12-03mb21
pang-a-lambda80.0A super-pang clone (game, gpl, program)2017-05-24keera_studios_ci
paphragen100.0A passphrase generator. (gpl, program, security)2016-12-30mgmillani
parport60.0Simply interfacing the parallel port on linux (gpl, hardware, library)2008-05-17RickKaudewitz
parsek310.0Parallel Parsing Processes (gpl, library, parsing)2015-05-25JeanPhilippeBernardy
passman-cli80.0Deterministic password generator command line interface (gpl, password, program)2017-12-16mat8913
passman-core110.0Deterministic password generator core (gpl, library, password)2017-12-16mat8913
pasty60.0A simple command line pasting utility (console, gpl, program)2008-12-31MarkusDittrich
patat1540.0Terminal-based presentations using Pandoc (gpl, program, text)2018-01-28JasperVanDerJeugt
pdf2line90.0Simple command-line utility to convert PDF into text (gpl, program, text)2008-05-05AudreyTang
pdynload130.0pdynload is polymorphic dynamic linking library. (development, gpl, library, other)2010-07-30AndyStewart
peg100.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
persist2er80.0Transforms persist's quasi-quoted syntax into ER format (database, gpl, program)2015-07-18fgaray
pesca120.0Proof Editor for Sequent Calculus (compilers-interpreters, gpl, program, theorem-provers)2008-05-20GwernBranwen
phash390.0Haskell bindings to pHash, the open source perceptual hash library (data, gpl, library)2017-03-23MichaelXavier
phizzle160.0Library for checking if a given link is in a phishtank json file (gpl, library, phishing)2015-10-24bmcg
phraskell260.0A fractal viewer. (gpl, graphics, program)2013-02-23DimitriSabadie
pi-calculus190.0Applied pi-calculus interpreter (gpl, program, web)2014-06-17renzyq19
pia-forward200.0Set up port forwarding with the Private Internet Access VPN service. (gpl, network, program)2016-07-31EchoNolan
picedit530.0simple image manipulation functions (gpl, image, library, matrix, picture, program)2017-02-04mdibaiee
pictikz250.0Converts a svg image to tikz code. (gpl, graphics, program)2017-04-09mgmillani
pkcs170.0RSA encryption with PKCS1 padding (cryptography, gpl, library)2008-04-05GwernBranwen
plailude482.0plaimi's prelude (data, gpl, library)2015-03-13alexander
plot-gtk-ui440.0A quick way to use Mathematica like Manipulation abilities (gpl, library, math)2016-10-10sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)240.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
plotfont100.0Plotter-like fonts i.e. a series of straight lines which make letter shapes. (gpl, graphics, library)2015-09-17mjoldfield
polynomials-bernstein280.0A solver for systems of polynomial equations in bernstein form (gpl, library, math)2015-09-29JeanPhilippeBernardy, PierreEtienneMeunier
pomodoro110.0pomodoro timer (gpl, office, program)2016-06-05zohl
popenhs50.0popenhs is a popen-like library for Haskell. (gpl, library, system)2008-02-17GwernBranwen
poppler620.0Binding to the Poppler. (gpl, graphics, library)2016-07-24AndyStewart, IanWooKim
postgresql-orm522.5An ORM (Object Relational Mapping) and migrations DSL for PostgreSQL. (database, gpl, library, program)2016-10-20AmitLevy, DavidMazieres
postmaster (deprecated)350.0Postmaster ESMTP Server (deprecated, gpl, network, program)2017-05-24PeterSimons
potato-tool160.0Command line Dreamcast VMU filesystem toolset. (gpl, program, system)2015-07-17RossMeikleham
potrace60.0Trace bitmap images to paths using potrace (gpl, graphics, library)2015-06-10cchalmers
potrace-diagrams40.0Potrace bindings for the diagrams library (gpl, graphics, library)2015-06-10cchalmers
pragmatic-show200.0Alternative Show class that gives shorter view if possible. (gpl, library, text)2017-10-10leftaroundabout
press160.0Text template library targeted at the web / HTML generation (gpl, library, text, web)2009-08-08BrandonBickford
pretty-compact310.0Pretty-printing library (benchmark, gpl, library, text)2017-08-19JeanPhilippeBernardy
primula-board60.0ImageBoard on Happstack and HSP (gpl, program, web)2009-09-15OlegIvanov
primula-bot110.0Jabber-bot for primula-board ImageBoard (gpl, program, web)2009-09-16OlegIvanov
proc590.0Parse process information for Linux (gpl, library, system)2011-05-07AndyStewart
proj4-hs-bindings50.0Haskell bindings for the Proj4 C dynamic library. (data, gpl, library)2013-09-22PavelPenev
puppetresources (deprecated in favor of language-puppet)420.0A program that displays the puppet resources associated to a node given .pp files. (deprecated, gpl, program, system)2013-05-16SimonMarechal
pwstore-cli170.0Command line interface for the pwstore library (console, cryptography, gpl, program)2012-11-12RobertHelgesson
pxsl-tools40.0Parsimonious XML Shorthand Language--to-XML compiler (gpl, program, xml)2008-08-25TomMoertel
quickbench160.0quick & easy benchmarking of command-line programs (development, gpl, library, program)2016-10-21SimonMichael
quicklz680.0QuickLZ compression for ByteStrings (codec, gpl, library)2012-09-01AustinSeipp
quickterm302.0An interface for describing and executing terminal applications (development, gpl, library, program)2017-01-18sgschlesinger
quickwebapp190.0A quick webapp generator for any file processing tool (gpl, library, web)2015-09-04jtanguy
rabocsv2qif390.0A library and program to create QIF files from Rabobank CSV exports. (finance, gpl, library, program)2017-01-09SanderVenema
rando440.0Easy-to-use randomness for livecoding (gpl, library, random)2018-02-24TomMurphy
random-tree130.0Create random trees (data-structures, gpl, library)2016-02-09GregorySchwartz
rank-product400.0Find the rank product of a data set. (bioinformatics, gpl, library)2017-04-11GregorySchwartz
rasa610.0A modular text editor (executable, gpl, library, text-editor)2017-03-16ChrisPenner
rasa-example-config260.0Example user config for Rasa (config, gpl, program)2017-02-20ChrisPenner
rasa-ext-cmd190.0Rasa Ext for running commands (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-cursors350.0Rasa Ext adding cursor(s) (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-files300.0Rasa Ext for filesystem actions (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-logger230.0Rasa Ext for logging state/actions (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-slate430.0Rasa extension for rendering to terminal with vty (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-status-bar190.0Rasa Ext for populating status-bar (extension, gpl, library)2017-01-29ChrisPenner
rasa-ext-style330.0Rasa Ext managing rendering styles (extension, gpl, library)2017-01-29ChrisPenner
rasa-ext-views370.0Rasa Ext managing rendering views (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-vim340.0Rasa Ext for vim bindings (extension, gpl, library)2017-03-16ChrisPenner
rbr210.0Mask nucleotide (EST) sequences in Fasta format (bioinformatics, gpl, program)2010-09-09GwernBranwen, KetilMalde
reactive-banana-sdl130.0Reactive Banana bindings for SDL (gpl, graphics, library)2014-01-31JeanPhilippeMoresmau
reactivity300.0An alternate implementation of push-pull FRP. (frp, gpl, reactivity)2016-06-20JamesCandy
readline650.0An interface to the GNU readline library (console, gpl, library)2013-02-17JanStolarek
reexport-crypto-random100.0 (gpl, library, miscellaneous)2015-03-22JamesCandy
reformat130.0The parser and render to parsec and render the string. (gpl, library, text)2017-12-28qinka
regexchar610.0A POSIX, extended regex-engine. (gpl, library, program, regex, text)2018-01-13AlistairWard
regexdot510.0A polymorphic, POSIX, extended regex-engine. (gpl, library, regex, search)2018-01-13AlistairWard
reheat160.0to make notes and reduce impact on idle time on writing other programms. (gpl, program, tools)2014-04-29palo
reify140.0Serialize data (data, gpl, library, program)2009-01-19GwernBranwen
resolv740.0Domain Name Service (DNS) lookup via the libresolv standard library routines (gpl, library, network)2017-10-26HerbertValerioRiedel
resolve-trivial-conflicts (deprecated in favor of git-mediate)740.0Remove trivial conflict markers in a git repository (deprecated, development, gpl, program)2016-12-20EyalLotem
restless-git80.0Easy Git repository serialization (git, gpl, library, serialization)2017-09-14mbrock
revdectime130.0A French revolutionary decimal time (metric) clock (gpl, program, utils)2011-06-07KamilStachowski
rezoom (deprecated)250.0Github resume generator (deprecated, gpl, program, utils)2012-02-13JoelTaylor
riot110.0Riot is an Information Organisation Tool (gpl, program, system)2008-08-26DonaldStewart
rlwe-challenges200.0Ring-LWE/LWR challenges using Lol. (crypto, gpl, library, program)2017-02-24crockeea
robin50.0A build daemon for Haskell development (development, gpl, program)2015-09-10KarlVoelker
roller350.0Playing with applicatives and dice! (acme, gpl, library, program)2016-02-23ljsc, PiotrJustyna
rosa510.0Query the namecoin blockchain (gpl, program, utility)2017-05-17rnhmjoj
rose-trie320.0Trees with polymorphic paths to nodes, combining properties of Rose Trees and Tries. (data, gpl, library)2017-03-27RaminHonary
rtorrent-state130.0Parsing and manipulation of rtorrent state file contents (data, gpl, library)2014-08-17MateuszKowalczyk
rts-loader (deprecated)330.0Dynamically load Haskell libraries (deprecated, distribution, gpl, library, program)2016-06-23DanielG
rubberband170.0Binding to the C++ audio stretching library Rubber Band (gpl, library, sound)2015-07-13mtolly
runghc160.0runghc replacement for fast repeated runs (console, gpl, program)2014-09-09MikeZuser
sat170.0CNF SATisfier (algorithms, gpl, program)2007-11-22AndriiZvorygin
satchmo1240.0SAT encoding monad (gpl, library, logic)2016-04-28JohannesWaldmann
satchmo-backends290.0driver for external satchmo backends (algorithms, gpl, library)2011-06-24JohannesWaldmann
satchmo-examples240.0examples that show how to use satchmo (algorithms, gpl, program)2011-01-12JohannesWaldmann
satchmo-funsat80.0funsat driver as backend for satchmo (algorithms, gpl, library)2009-04-21JohannesWaldmann
satchmo-minisat90.0minisat driver as backend for satchmo (gpl, library, unclassified)2009-04-01JohannesWaldmann
sc3-rdu (deprecated)140.0Haskell bindings to sc3-rdu (sc3 rd ugens) (deprecated, gpl, library, sound)2014-10-16RohanDrape
scc830.0Streaming component combinators (combinators, concurrency, control, gpl, library, program)2016-06-19MarioBlazevic
scholdoc100.0Converts ScholarlyMarkdown documents to HTML5/LaTeX/Docx format (benchmark, gpl, library, program, text)2014-10-17timtylin
scholdoc-texmath120.0Scholdoc fork of texmath (gpl, library, text)2015-02-04timtylin
scholdoc-types140.0Scholdoc fork of pandoc-types (gpl, library, text)2015-02-04timtylin
scons2dot50.0Generates graphviz file of scons dependency information (development, gpl, program)2010-02-24LeandroPenz
scrape-changes310.0Scrape websites for changes (gpl, library, network)2017-02-172chilled
scroll422.0scroll(6), a roguelike game (game, gpl, program)2017-01-22JoeyHess
scyther-proof510.0Automatic generation of Isabelle/HOL correctness proofs for security protocols. (gpl, program, security, theorem-provers)2015-06-21SimonMeier, lochbihl
sdl2-compositor540.0image compositing with sdl2 - declarative style (gpl, graphics, library)2017-06-12seppeljordan
secret-santa70.0Secret Santa game assigner using QR-Codes (game, gpl, program)2013-04-11RodrigoSetti
sednaDBXML230.0Sedna C API XML Binding (database, ffi, gpl, library)2011-11-11EricJones
sessions930.0Session Types for Haskell (control, gpl, library)2008-07-18MatthewSackman
sessiontypes180.0Session types library (control, gpl, library, program)2018-01-13ferdinandvw
sessiontypes-distributed120.0Session types distributed (control, gpl, library)2018-01-13ferdinandvw
sexp220.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
sgrep70.0Sgrep - grep Fasta files for sequences matching a regular expression (bioinformatics, gpl, program)2010-09-13KetilMalde
shake-persist80.0Shake build system on-disk caching (development, gpl, library, program)2016-01-05KAction
shell-pipe (deprecated in favor of process)80.0Pipe streams through external shell commands (deprecated, gpl, library, program, system)2007-09-25HenningThielemann
shelltestrunner1210.0Easy, repeatable testing of CLI programs/commands (gpl, program, testing)2018-01-14SimonMichael
show900.0'Show' instances for Lambdabot (gpl, language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
sibe370.0Machine Learning algorithms (data-science, gpl, library, machine-learning, program, web)2017-05-25mdibaiee
sieve80.0Sieve is an implementation of the Sieve abstract data type. (data, gpl, library)2013-01-15JohnSingleton
simgi140.0stochastic simulation engine (gpl, program, scientific-simulation)2010-02-10MarkusDittrich
simple-eval100.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-server170.0Simple Server interface (gpl, library, network)2013-02-17JosephCollard
simplex430.0A simple markup language that translates to LaTeX (gpl, latex, program)2013-06-16JulianFleischer
simseq70.0Simulate sequencing with different models for priming and errors (bioinformatics, gpl, program)2008-03-08GwernBranwen
simtreelo380.0Loader for data organized in a tree (data, gpl, library)2017-09-28mgmillani
skylighting6190.0syntax highlighting library (gpl, text)2018-01-12JohnMacFarlane
sleep120.0zZzzZz (gpl, library, program, system)2017-01-15AlanHawkins
slidemews130.0ws convert markdown to reveal-js (gpl, program, web)2014-01-29j4pe
slope-field80.0Visualize mathematical function's slope fields (gpl, library, program, web)2016-11-25mdibaiee
smtlib2352.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-debug50.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-pipe60.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-quickcheck60.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-06HenningGuenther
smtlib2-timing50.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-07HenningGuenther
snaplet-coffee140.0CoffeeScript for Snap, auto-compilation and pre-compilation. (gpl, library, snap, web)2013-04-16KevinVanRooijen
snaplet-sedna90.0Snaplet for Sedna Bindings. Essentailly a rip of snaplet-hdbc. (database, gpl, library)2011-11-06EricJones
sneakyterm80.0Tiny, declarative wrapper around ncurses (gpl, library, user-interfaces)2015-08-10pimiddy
snm160.0The Simple Nice-Looking Manual Generator. (documentation, gpl, library, program)2010-07-27JohnnyMorrice
snorkels60.0Strategic board game of medium complexity (game, gpl, library, program)2016-09-13unaizalakain
snowglobe320.0randomized fractal snowflakes demo (demo, gpl, program)2016-06-18ClaudeHeilandAllen
sonic-visualiser60.0Sonic Visualiser (gpl, library, program, sound)2008-06-04StefanKersten
sox1180.0Play, write, read, convert audio signals using Sox (gpl, library, sound)2018-02-17HenningThielemann
sparql-protocol170.0An SPARQL 1.1 Protocol client library. (database, gpl, library)2018-01-26ardamose123
sparse-linear-algebra1582.0Numerical computing in native Haskell (gpl, library, numeric)2018-02-19ocramz
spline370.0A parallel implementation of the Sorokina/Zeilfelder spline scheme. (gpl, math, program)2015-04-17MichaelOrlitzky
spoonutil60.0Spoon's utilities. Simple testing and nice looking error reporting. (gpl, library, program, testing)2010-07-27JohnnyMorrice
squeeze1010.0A file-packing application. (application, gpl, library, program, utils)2018-01-13AlistairWard
srcinst90.0Build and install Debian packages completely from source (gpl, program, system)2008-01-16JohnGoerzen
sscan80.0text UI for scanning with SANE (gpl, graphics, program)2017-03-13spwhitton
state-record (deprecated in favor of lens)50.0Better records for State monad states (data, deprecated, gpl, library)2011-04-17KarlVoelker
staticanalysis160.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
stats90.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stdf90.0Parse Structured Test Data Format (STDF) (data, gpl, library, program)2014-10-13m
stochastic180.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
structured-mongoDB180.0Structured MongoDB interface (database, gpl, library)2012-02-28DeianStefan
stylized130.0Ways to output stylized text on ANSI consoles. (gpl, library, user-interfaces)2010-01-05LucaMolari
styx290.0A generator of nix files (development, gpl, program)2017-10-02JeanPhilippeBernardy
subleq-toolchain140.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
submark90.0Extract a part from CommonMark/Markdown docs (gpl, library, program, text)2017-09-24hongminhee
subzero600.0Helps when going "seed values" -> alternatives and optional -> answers (data-structures, gpl, library)2017-12-10codeshot
suffixarray190.0n log n implementation of suffix array. (data, gpl, library, program)2012-06-17DanielDeKok, VictorDenisov
sugarhaskell110.0Library-based syntactic extensibility for Haskell (code-generation, gpl, language, program, source-tools)2012-10-05SebastianErdweg
supercollider-ht400.0Haskell SuperCollider utilities (gpl, library, sound)2014-10-31HenningThielemann
supercollider-midi270.0Demonstrate how to control SuperCollider via ALSA-MIDI (gpl, program, sound)2012-04-10HenningThielemann
svm130.0A support vector machine written in Haskell (ai, gpl, library)2010-12-17AndrewDougherty
sylvia220.0Lambda calculus visualization (game, gpl, program)2012-10-22ChrisWong
symantic460.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2018-02-14julm
symantic-document310.0Document symantics. (gpl, library, text)2018-02-14julm
symantic-grammar430.0Library for symantic grammars. (gpl, language, library)2018-02-14julm
symantic-lib360.0Symantics for common types. (gpl, language, library)2018-02-14julm
symon70.0Minimal implementation(s) of the classic electronic memory game. (development, gpl, program)2016-08-31SimonMichael
synthesizer (deprecated in favor of synthesizer-core, synthesizer-dimensional, synthesizer-inference)180.0Audio signal processing coded in Haskell (deprecated, gpl, library, sound)2009-06-08HenningThielemann
synthesizer-alsa580.0Control synthesizer effects via ALSA/MIDI (gpl, library, music, sound)2016-09-15HenningThielemann
synthesizer-core1670.0Audio signal processing coded in Haskell: Low level part (gpl, library, sound)2018-02-17HenningThielemann
synthesizer-dimensional880.0Audio signal processing with static physical dimensions (gpl, library, sound)2018-02-17HenningThielemann
synthesizer-filter170.0Audio signal processing coded in Haskell: Filter networks (gpl, library, sound)2016-09-21HenningThielemann
synthesizer-inference40.0Audio signal processing with dynamic physical dimensions (gpl, library, sound)2009-06-21HenningThielemann
synthesizer-llvm620.0Efficient signal processing using runtime compilation (gpl, library, music, sound)2016-09-22HenningThielemann
synthesizer-midi610.0Render audio signals from MIDI files or realtime messages (gpl, library, music, sound)2018-02-17HenningThielemann
tagchup570.0alternative package for processing of tag soups (benchmark, gpl, library, xml)2017-06-03HenningThielemann
tagsoup-ht (deprecated in favor of tagchup)150.0alternative parser for the tagsoup package (deprecated, gpl, library, program, xml)2009-03-04HenningThielemann
tamarin-prover (deprecated)930.0The Tamarin prover for security protocol analysis. (deprecated, gpl, program, theorem-provers)2015-09-07BenediktSchmidt, SimonMeier
tamarin-prover-term (deprecated)430.0Term manipulation library for the tamarin prover. (deprecated, gpl, library, theorem-provers)2014-02-07BenediktSchmidt, SimonMeier
tamarin-prover-theory (deprecated)210.0Term manipulation library for the tamarin prover. (deprecated, gpl, library, theorem-provers)2014-02-16BenediktSchmidt, SimonMeier
tamarin-prover-utils (deprecated)540.0Utility library for the tamarin prover. (deprecated, gpl, library, theorem-provers)2014-02-07BenediktSchmidt, SimonMeier
teams210.0Graphical modeling tools for sequential teams (algorithms, gpl, library, stochastic-control)2009-10-05AdityaMahajan
telegram100.0Telegram API client (gpl, library, network)2015-07-21sgillis
tellbot1250.0IRC tellbot (gpl, network, program)2016-05-25DimitriSabadie
template-toolkit121.5Template Toolkit implementation for Haskell (gpl, library, text)2017-10-19kobargh
templateify100.0Make template from website (gpl, program, web)2017-01-15AlanHawkins
tensor290.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
termcolor190.0Composable terminal colors (gpl, library, program, web)2017-03-30mdibaiee
terrahs290.0A Haskell GIS Programming Environment (gis-programs, gpl, library)2013-07-07SergioCosta
tersmu80.0A semantic parser for lojban (gpl, language, program)2015-10-24mbays
testCom260.0Write your tests in comments (gpl, library, test)2017-10-31nobrakal
testrunner80.0Easy unit test driver framework (gpl, library, testing)2011-01-23ReinierLamers
tex2txt70.0LaTeX to plain-text conversion (gpl, library, program, text)2015-03-24vdaudaravicius
texbuilder520.0View your latex output while editing (gpl, latex, program)2018-01-03xaverdh
texmath9472.0Conversion between formats used to represent mathematics. (gpl, library, text)2018-01-20JohnMacFarlane
text-containers70.0Memory-efficient string-indexed container types. (data, data-structures, gpl, library)2017-10-13HerbertValerioRiedel
text-icu-normalized290.0Dealing with Strict Text in NFC normalization. (data, gpl, library, text)2017-04-30misandrist
threadPool260.0Runs other programs in the manner of a thread pool (gpl, program, system)2011-01-07BrianJaress
tictactoe3d220.03D Tic-Tac-Toe game (game, gpl, library)2015-08-12ryo0ka
tidal5012.5Pattern language for improvised music (gpl, library, sound)2017-12-12AlexMcLean, kindohm, lennart
tidal-midi1060.0MIDI support for tidal (gpl, library, sound)2017-12-08AlexMcLean, kindohm, lennart
tidal-serial50.0Serial support for tidal (gpl, library, sound)2016-05-13AlexMcLean, kindohm, lennart
tidal-vis550.0Visual rendering for Tidal patterns (gpl, library, sound)2017-05-05AlexMcLean
time-io-access90.0IO Access for time (development, gpl, library)2013-12-31bheklilr
time-series60.0Time series analysis. (data, gpl, library, program)2013-11-08AtsuroHoshino
timeconsole190.0time each line of terminal output (gpl, program, testing)2017-01-15AlanHawkins
titan70.0Testing Infrastructure for Temporal AbstractioNs (gpl, program, testing)2017-05-24keera_studios_ci
tmpl40.0simple executable for templating (data, gpl, program)2014-09-25michelk
toilet40.0Manage the toilet queue at the IMO (console, gpl, program)2009-07-17HenningThielemann
token-bucket250.0Rate limiter using lazy bucket algorithm (concurrency, gpl, library)2014-12-06HerbertValerioRiedel
tokenizer-monad220.0An efficient and easy-to-use tokenizer monad. (gpl, library, text)2018-02-16implementation
toktok80.0 (gpl, library, natural-language-processing, program)2010-04-29GregoireDetrez
toolshed630.0Ill-defined library. (gpl, library, utils)2018-01-13AlistairWard
topkata360.0OpenGL Arcade Game (game, gpl, program)2015-05-25ChristophBauer
tpb240.0Applications for interacting with the Pushbullet API (gpl, program, web)2017-08-01tsani
tpdb760.0Data Type for Rewriting Systems (gpl, library, logic)2016-06-13JohannesWaldmann
transformations180.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
tree-fun270.0Library for functions pertaining to tree exploration and manipulation (data-structure, gpl, library)2016-02-09GregorySchwartz
treemap300.0A tree of Data.Map. (data-structures, gpl, library)2018-02-14julm
treeseq220.0Library for a multi-way tree (rose tree), using Seq (finger tree) for forests (data-structures, gpl, library)2018-02-14julm
tremulous-query410.0Library for polling Tremulous servers (gpl, library, network)2013-03-08ChristofferOjeling
trimpolya60.0Search for, annotate and trim poly-A tail (bioinformatics, gpl, program)2009-12-15KetilMalde
trivial-constraint210.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2016-01-23leftaroundabout
tubes720.0Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-16gatlin
turing100.0A simple simulator for Turing machines (education, gpl, library)2015-10-03SebastianPoeplau
turingMachine570.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
twidge740.0Unix Command-Line Twitter and Identica Client (gpl, network, program)2014-06-21JohnGoerzen
txt2rtf110.0Filter to convert plain text files to RTF (gpl, program, text)2010-04-20JohnGoerzen
typical60.0Type level numbers, vectors, list. This lib needs to be extended. (data, gpl, library)2009-02-26RickKaudewitz
typography-geometry250.0Drawings for printed text documents (gpl, library, typography)2015-12-04JeanPhilippeBernardy, PierreEtienneMeunier
uhttpc140.0Minimal HTTP client library optimized for benchmarking (gpl, library, network, program)2015-07-13HerbertValerioRiedel
unlambda590.0Unlambda interpreter (compilers-interpreters, gpl, library, program)2016-06-05GwernBranwen, abbradar
unm-hip480.0A Library for the manipulation of images (gpl, image-processing, library)2013-10-25JosephCollard
unmed2 (deprecated in favor of med-module)70.0Extract useful information from Amiga MED files (deprecated, gpl, program, sound)2017-07-01HenningThielemann
uxadt150.0Cross-language extensible representation for algebraic data type instances. (data, gpl, library)2014-07-22AndreiLapets
uzbl-with-source50.0Utility function for reading a source of loaded uzbl pages. (gpl, library, uzbl, web)2014-05-12MateuszKowalczyk
vampire210.0Analyze and visualize expression trees. (development, gpl, library, program)2014-06-29benzrf
varan170.0Process mpileup output to identify significant differences (bioinformatics, gpl, program)2014-12-01KetilMalde
vcsgui760.0GUI library for source code management systems (development, gpl, library, program)2017-08-14HamishMackenzie, StephanFortelny
vcswrapper880.0Wrapper for source code management systems (development, gpl, library, program)2017-08-14HamishMackenzie, StephanFortelny
vector-clock280.0Vector clocks for versioning message flows (data, data-structures, distributed-computing, gpl, library)2013-06-23AlexandruScvortov, hansonkd
vision260.0An XMMS2 client. (gpl, program, sound)2011-07-13OlegBelozeorov
vivid792.0Sound synthesis with SuperCollider (audio, gpl, library, music, sound)2017-09-13TomMurphy
vivid-osc162.0Open Sound Control encode/decode (audio, codec, gpl, library, music, sound)2017-08-09TomMurphy
vivid-supercollider150.0Implementation of SuperCollider server specifications (audio, gpl, library, music, sound)2017-09-06TomMurphy
vty-menu130.0A lib for displaying a menu and getting a selection using VTY (gpl, graphics, library, program)2016-10-11TimothyHobbs
wai-lite (deprecated in favor of simple)120.0DEPCRECATED (use package "simple" instead) A minimalist web framework for WAI web applications (deprecated, gpl, library, web)2012-10-30AmitLevy
wai-middleware-preprocessor60.0WAI middleware for preprocessing static files (gpl, library, web)2015-02-27taktoa
web-browser-in-haskell70.0Web Browser In Haskell (browser, gpl, library)2014-05-12AkashJagdhane
whitespace90.0Whitespace, an esoteric programming language. (compilers-interpreters, gpl, program)2012-11-02HaroldLee
windns130.0Domain Name Service (DNS) lookup via the Windows dnsapi standard library (gpl, library, network)2017-10-24HerbertValerioRiedel
withdependencies620.0Run computations that depend on one or more elements in a stream. (control, gpl, library)2018-02-02SimonMarechal
word-trie520.0Implementation of a finite trie over words. (data, gpl, library)2015-05-10DmitryIvanov, MateuszKowalczyk
workflow-osx90.0a "Desktop Workflow" monad with Objective-C bindings (accessibility, apple, automation, bindings, desktop, ffi, gpl, library, program)2015-10-11sboo
wraxml330.0Lazy wrapper to HaXML, HXT, TagSoup via custom XML tree structure (gpl, library, xml)2016-07-27HenningThielemann
wsdl140.0WSDL parsing in Haskell (gpl, library, xml)2016-01-25pikajude
wsedit110.0A small tool to list, add and remove webseeds from a torrent file (gpl, network, program)2012-05-22LinusLuessing
x-dsp (deprecated)130.0A embedded DSL for manipulating DSP languages in Haskell (deprecated, gpl, library, music, sound)2012-06-17JohnLato
xchat-plugin120.0XChat (gpl, irc-client, library, program)2012-04-15CedricAuger
xcp110.0Partial implementation of the XCP protocol with ethernet as transport layer. (gpl, library, network)2015-06-26ChristianGosch
xfconf70.0FFI bindings to xfconf (gpl, library, system, xfce)2011-04-15JohnObbele
xml-parsec90.0Parsing XML with Parsec (gpl, library, parsing)2008-11-15GwernBranwen, StephanFriedrichs
xml2x290.0Convert BLAST output in XML format to CSV or HTML (bioinformatics, gpl, program)2009-10-07GwernBranwen, KetilMalde
xmonad-contrib-gpl60.0Third party extensions for xmonad (gpl, library, system)2014-05-30DmitryBogatov
xsact160.0Cluster EST sequences (bioinformatics, gpl, program)2010-09-09GwernBranwen, KetilMalde
yajl500.0Bindings for YAJL, an event-based JSON implementation (codec, foreign, gpl, library)2014-02-15JohnMillikin
yajl-enumerator (deprecated)410.0Enumerator-based interface to YAJL, an event-based JSON implementation (deprecated, enumerator, gpl, json, library, parsing, text)2012-10-28JohnMillikin
yampa-glfw40.0Connects GLFW-b (GLFW 3+) with the Yampa FRP library (gpl, graphics, library, program)2014-06-08_deepfire
yampa-glut110.0Connects Yampa and GLUT (frp, gpl, graphics, library)2015-06-25NikolayOrlyuk
yesod-markdown1470.0Tools for using markdown in a yesod application (gpl, library, web, yesod)2018-02-16AlexanderDunlap, PatrickBrisbin
yesod-rst170.0Tools for using reStructuredText (RST) in a yesod application (gpl, library, web, yesod)2013-01-23PascalWittmann
yi2442.0Yi editor (gpl, program, yi)2017-11-03CoreyOConnor, DmitryIvanov, JeanPhilippeBernardy, JeffWheeler, MateuszKowalczyk, JaroReinders
yi-contrib (deprecated in favor of yi-fuzzy-open, yi-snippet)800.0Add-ons to Yi, the Haskell-Scriptable Editor (deprecated, development, editor, gpl, library)2014-10-14CoreyOConnor, DmitryIvanov, JeffWheeler, MateuszKowalczyk
yi-core1050.0Yi editor core library (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-dynamic-configuration220.0Dynamic configuration support for Yi (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-emacs-colours70.0Simple mapping from colour names used in emacs to Color (gpl, library, yi)2014-11-03MateuszKowalczyk
yi-frontend-pango680.0Pango frontend for Yi editor (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-frontend-vty910.0Vty frontend for Yi editor (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-fuzzy-open662.0Fuzzy open plugin for yi (gpl, library, yi)2017-11-03DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-gtk (deprecated in favor of yi)110.0The Haskell-Scriptable Editor, helper package (deprecated, editor, gpl, library)2008-10-06GwernBranwen, JeanPhilippeBernardy
yi-ireader780.0Yi editor incremental reader (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-keymap-cua800.0Cua keymap for Yi editor (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-keymap-emacs950.0Emacs keymap for Yi editor (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-keymap-vim732.0Vim keymap for Yi editor (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-language1670.0Collection of language-related Yi libraries. (gpl, library, yi)2017-11-03DmitryIvanov, JaredHance, MateuszKowalczyk, JaroReinders
yi-misc-modes860.0Yi editor miscellaneous modes (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-mode-haskell810.0Yi editor haskell mode (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-mode-javascript810.0Yi editor javascript mode (gpl, library, yi)2017-11-03DmitryIvanov, JaroReinders
yi-rope1392.25A rope data structure used by Yi (gpl, library, yi)2017-09-09DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-snippet830.0Snippet support for yi (gpl, library, yi)2017-11-03DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-vty (deprecated in favor of yi)200.0The Haskell-Scriptable Editor, helper package (deprecated, editor, gpl, library)2008-10-06GwernBranwen, JeanPhilippeBernardy
yjftp450.0CUI FTP client like 'ftp', 'ncftp' (gpl, library, network, program)2012-02-16YoshikuniJujo
yjftp-libs100.0CUI FTP client like 'ftp', 'ncftp' (gpl, library, network, program)2013-09-11YoshikuniJujo
yst1550.0Builds a static website from templates and data in YAML or CSV files. (gpl, program, text)2018-02-20JohnMacFarlane
yu-auth280.0Auth module for Yu. (gpl, library, web)2018-02-24qinka
yu-core230.0The core of Yu. (gpl, library, web)2018-02-24qinka
yu-launch302.0The launcher for Yu. (gpl, program, web)2018-02-24qinka
yu-tool250.0Tool for Yu (gpl, program, web)2018-02-24qinka
yu-utils250.0Utils for Yu (gpl, library, web)2018-02-24qinka
yxdb-utils140.0Utilities for reading and writing Alteryx .yxdb files (database, gpl, library, program)2015-05-10MichaelBurge
zim-parser260.0Read and parse ZIM files (codec, gpl, library)2016-10-27robbinch