Packages tagged gpl

892 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (714), program (406), data (71), bioinformatics (68), network (61), math (58), language (56), web (55), text (49), development (44), graphics (43), deprecated (39), system (31), sound (30), game (23), yi (18), manatee (17), testing (16), control (15), music (15), parsing (13), codec (12), distribution (12), data-structures (11), utility (11), utils (10), compilers-interpreters (9), console (9), database (9), extension (9), ide (9), algorithms (8), application (8), finance (8), formal-methods (8), statistics (8), concurrency (7), crypto (7), protocol (7), theorem-provers (7), ai (6), dependent-types (6), desktop (6), ffi (6), foreign (6), symbolic-computation (6), unclassified (6), building (5), compiler (5), desktop-environment (5), json (5), logic (5), networking (5), pup-events (5), smt (5), xml (5), agpl (4), bindings (4), cli (4), demo (4), image (4), natural-language-processing (4), numeric (4), operating-system (4), politic (4), prelude (4), singletons (4), time (4), algebra (3), browser (3), compression (3), documentation (3), editor (3), formal-languages (3), optimisation (3), optimization (3), user-interfaces (3), accessibility (2), acme (2), automation (2), chemistry (2), command-line-tool (2), configuration (2), constraints (2), cryptography (2), data-mining (2), data-text-uniform (2), debian (2), distributed-computing (2), download-manager (2), enumerator (2), file-manager (2), frp (2), generics (2), hardware (2), image-viewer (2), interpreter (2), irc-client (2), latex (2), lens (2), linguistics (2), machine-learning (2), maths (2), mptcp (2), multimedia (2), password (2), pdf (2), profiling (2), security (2), template (2), algebra-uniform (1), algorithm-visualization (1), apple (1), argumentation (1), artificial-intelligence (1), aspect-oriented-programming (1), assembler (1), atom (1), avers (1), backup (1), benchmarking (1), bsd3 (1), classification (1), client (1), closure (1), clustering (1), code-generation (1), conduit (1), config (1), conversion (1), culinary (1), data-science (1), data-structure (1), datamining (1), debug (1), delay (1), development- (1), disassembler (1), eden (1), editing (1), education (1), educational (1), efficient-xml-pretty-printer (1), emacs (1), embedded (1), error-exception-uniform (1), executable (1), feed (1), ffi- (1), games (1), geometry (1), git (1), ...

Last U/L
AlignmentAlgorithms160.0Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)2017-03-14ChristianHoener
AspectAG730.0Strongly typed Attribute Grammars implemented using type-level programming. (aspect-oriented-programming, development-, gpl, language, library)2022-05-26MarcosViera, jpgarcia
BNFC1412.25A compiler front-end generator. (bsd3, development, gpl, library, parsing, program)2022-02-17AndreasAbel, GregoireDetrez, MarkusForsberg, ThomasHallgren
BNFC-meta850.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-09JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BPS70.0Translations of classic Truth Maintenance Systems (gpl, library, program, truth-maintenance)2022-09-13jpmrst
Baggins30.0Tools for self-assembly (gpl, library, math)2014-06-12pmeunier
BenchmarkHistory60.0Benchmark functions with history (benchmarking, gpl, library)2015-11-19ChristianHoener
BioHMM830.0Libary for Hidden Markov Models in HMMER3 format. (bioinformatics, gpl, library)2017-06-09FlorianEggenhofer
Biobase170.0Base library for bioinformatics (bioinformatics, gpl, library)2011-04-08ChristianHoener
BiobaseBlast250.0BLAST-related tools (bioinformatics, gpl, library)2021-06-05ChristianHoener, FlorianEggenhofer
BiobaseDotP30.0Vienna / DotBracket / ExtSS parsers (bioinformatics, gpl, library)2011-08-22ChristianHoener
BiobaseEnsembl170.0Ensembl related datastructures and functions (bioinformatics, gpl, library)2020-01-09FlorianEggenhofer
BiobaseFR3D150.0Importer for FR3D resources (bioinformatics, gpl, library)2012-02-16ChristianHoener
BiobaseHTTP100.0Libary to interface with the Bioinformatics HTTP services - Entrez Ensembl (bioinformatics, gpl, library)2019-11-20FlorianEggenhofer
BiobaseHTTPTools80.0Tools to query Bioinformatics HTTP services e.g. Entrez, Ensembl. (bioinformatics, gpl, program)2018-12-13FlorianEggenhofer
BiobaseInfernal570.0Infernal data structures and tools (bioinformatics, gpl, library, program)2017-03-14ChristianHoener
BiobaseMAF20.0Multiple Alignment Format (bioinformatics, gpl, library)2011-07-29ChristianHoener
BiobaseTrainingData140.0RNA folding training data (bioinformatics, gpl, library, program)2011-09-29ChristianHoener
BiobaseTurner430.0Import Turner RNA parameters (bioinformatics, gpl, library)2013-04-25ChristianHoener
BiobaseVienna320.0Import Vienna energy parameters (bioinformatics, gpl, library)2013-04-22ChristianHoener
BlastHTTP430.0Libary to interface with the NCBI blast REST interface (bioinformatics, gpl, library)2021-06-05FlorianEggenhofer
BlogLiterately1930.0A tool for posting Haskelly articles to blogs (gpl, library, program, web)2022-08-26BrentYorgey, RobertGreayer
CMCompare110.0Infernal covariance model comparison (bioinformatics, gpl, library, program)2012-11-22ChristianHoener
ClustalParser700.0Libary for parsing Clustal tools output (bioinformatics, gpl, library, program)2019-11-14FlorianEggenhofer
ConcurrentUtils280.0Concurrent utilities (concurrency, gpl, library)2020-05-04JamesCandy
DAV1230.0RFC 4918 WebDAV support (gpl, library, program, web)2020-01-06ClintAdams
DMuCheck120.0Distributed Mutation Analysis framework for MuCheck (gpl, program, testing)2015-01-06RahulGopinath
Dao100.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
DiscussionSupportSystem70.0Discussion support system (gpl, library, system)2014-06-01minamiyama1994
DnaProteinAlignment30.0Frameshift-aware alignment of protein sequences with DNA sequences (bioinformatics, gpl, library, program)2013-12-18ChristianHoener
EntrezHTTP (deprecated in favor of BiobaseHTTP)180.0Libary to interface with the NCBI Entrez REST service. (bioinformatics, deprecated, gpl, library)2017-08-10FlorianEggenhofer
FComp110.0Compose music (gpl, library, music, program)2014-09-25JosePedroMagalhaes
FModExRaw (deprecated)100.0The Haskell FModEx raw API. (deprecated, gpl, library, sound)2013-12-29DimitriSabadie
FiniteCategories20.0Finite categories and usual categorical constructions on them. (data, gpl, library, maths)2022-03-28gsabbagh
FormalGrammars320.0(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library)2019-10-02ChristianHoener
GLMatrix40.0Utilities for working with OpenGL matrices (gpl, graphics, library)2014-03-15fiendfan1
Gene-CluEDO60.0Hox gene clustering (bioinformatics, gpl, library, program)2017-09-11ChristianHoener
GenussFold60.0MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-16ChristianHoener
GoogleSuggest160.0Interface to Google Suggest API (browser, gpl, library)2010-10-01AndyStewart
GoogleTranslate180.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GrammarProducts250.0Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)2019-10-02ChristianHoener
Graph50050.0Graph500 benchmark-related definitions and data set generator. (concurrency, gpl, library, program)2013-11-05
GraphHammer50.0GraphHammer Haskell graph analyses framework inspired by STINGER. (concurrency, gpl, library)2013-11-05
GraphHammer-examples30.0Test harness for TriangleCount analysis. (concurrency, gpl, library, program)2013-11-05
HFrequencyQueue50.0A Queue with a random (weighted) pick function (data, gpl, library)2015-08-28Bellaz
HOpenCV410.0A binding for the OpenCV computer vision library (ai, gpl, graphics, library, program)2015-08-08NoamLewis
HaMinitel40.0An Haskell library to drive the french Minitel through a serial port (gpl, library, terminal)2014-07-12zigazou
Haggressive140.0Aggression analysis for Tweets on Twitter (gpl, library, web)2014-12-01Pold87
Hangman40.0The classic game of Hangman. (game, gpl, program)2015-08-18lf94
HarmTrace310.0Harmony Analysis and Retrieval of Music (gpl, music, program)2017-08-07BasDeHaas, JosePedroMagalhaes
HasCacBDD160.0Haskell bindings for CacBDD (data, gpl, library)2020-06-30m4lvin
HasGP20.0A Haskell library for inference using Gaussian processes (ai, classification, datamining, gpl, library, statistics)2011-10-26SeanHolden
HaskRel140.0HaskRel, Haskell as a DBMS with support for the relational algebra (database, gpl, library)2015-11-25thormick
HsYAML2501.5Pure Haskell YAML 1.2 processor (gpl, library, text)2022-05-11AndreasAbel, HerbertValerioRiedel, sjakobi
HsYAML-aeson1502.25JSON to YAML Adapter (codec, gpl, json, library, text, web, yaml)2021-11-07AndreasAbel, HerbertValerioRiedel, sjakobi
Hungarian-Munkres280.0A Linear Sum Assignment Problem (LSAP) solver (algorithms, gpl, library)2014-10-08kaizhang
I1M140.0Code for the Haskell course taught at the University of Seville. (data-structures, education, gpl, library)2021-05-08Jose_A_Alonso
ImperativeHaskell372.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Irc50.0DSL for IRC bots (gpl, library, network)2015-01-21yunxing
JackMiniMix (deprecated in favor of jackminimix)80.0control JackMiniMix (deprecated, gpl, library, sound)2010-08-22RenickBell
LDAPv3120.0Lightweight Directory Access Protocol (LDAP) version 3 (gpl, library, network)2022-05-05HerbertValerioRiedel
LazyVault30.0A simple sandboxing tool for Haskell packages. (development, gpl, program)2013-02-06KevinVanRooijen
Level020.0A Snake II clone written using SDL. (game, gpl, program)2012-04-29MikeLedger
Liquorice10.0Algorithmic Doom map generation (game, gpl, library)2020-03-06jmtd
MBot292.5Haskell interface for controlling the mBot educational robot (educational, gpl, library)2018-07-23cfscholl
MC-Fold-DP100.0Folding algorithm based on nucleotide cyclic motifs. (bioinformatics, gpl, library, program)2012-11-12ChristianHoener
MIP-glpk30.0A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-26MasahiroSakai
Modulo90.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
MorseCode160.0Morse code (gpl, library, text)2010-10-14AndyStewart
MuCheck310.0Automated Mutation Testing (gpl, library, testing)2015-01-06RahulGopinath
MuCheck-HUnit150.0Automated Mutation Testing for HUnit tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-Hspec160.0Automated Mutation Testing for Hspec tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-QuickCheck150.0Automated Mutation Testing for QuickCheck tests (gpl, library, program, testing)2015-01-06RahulGopinath
MuCheck-SmallCheck130.0Automated Mutation Testing for SmallCheck tests (gpl, library, program, testing)2015-01-06RahulGopinath
MusicBrainz410.0interface to MusicBrainz XML2 and JSON web services (gpl, library, network)2018-10-06ClintAdams
MutationOrder90.0Most likely order of mutation events in RNA (bioinformatics, gpl, library, program)2017-10-24ChristianHoener
NameGenerator110.0A name generator written in Haskell (gpl, library, text)2018-09-01
NestedSampling70.0A port of John Skilling's nested sampling C code to Haskell. (gpl, library, statistics)2011-09-22IssacTrotts
NumberTheory60.0A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-17cfredric
Nussinov78250.0Nussinov78 using the ADPfusion library. (bioinformatics, gpl, library, program)2012-11-07ChristianHoener
PDBtools120.0A library for analysis of 3-D protein coordinates (bioinformatics, gpl, library)2012-06-03GrantRotskoff
Parry20.0A proven synchronization server for high performance computing. (gpl, library, parry)2014-04-01pmeunier
ParsecTools140.0Parsec combinators for more complex objects. (gpl, library, parsing)2010-09-22ChristianHoener
PastePipe270.0CLI for pasting to (gpl, library, program, utils)2015-04-25MateuszKowalczyk, RoganCreswick
Phsu100.0Personal Happstack Server Utils (gpl, program, web)2015-08-05utkarshl
Plural260.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
PortFusion310.0high-performance distributed reverse / forward proxy & tunneling for TCP (gpl, network, program, system)2012-08-19CetinSert
Pup-Events40.0A networked event handling framework for hooking into other programs. (gpl, library, networking, program, pup-events)2012-07-15DanielWilson
Pup-Events-Client100.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-16DanielWilson
Pup-Events-Demo90.0A networked event handling framework for hooking into other programs. (demo, gpl, networking, program, pup-events)2012-08-15DanielWilson
Pup-Events-PQueue20.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-07-15DanielWilson
Pup-Events-Server130.0A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-15DanielWilson
QuickCheckVariant290.0Valid and Invalid generator (gpl, library, testing)2021-10-22sanjorgek
QuickPlot60.0Quick and easy data visualization with Haskell (gpl, graphics, library)2016-02-15tepf
RNAFold250.0RNA secondary structure prediction (bioinformatics, gpl, library, program)2013-12-06ChristianHoener
RNAFoldProgs100.0RNA secondary structure folding (bioinformatics, gpl, program)2010-09-23ChristianHoener
RNAdesign210.0Multi-target RNA sequence design (bioinformatics, gpl, library, program)2014-02-13ChristianHoener
RNAdraw40.0Draw RNA secondary structures (bioinformatics, gpl, library, program)2014-02-03ChristianHoener
RNAlien472.0Unsupervized construction of RNA family models (bioinformatics, gpl, library, program)2019-08-29FlorianEggenhofer
RNAwolf210.0RNA folding with non-canonical basepairs and base-triplets. (bioinformatics, gpl, library, program)2011-09-29ChristianHoener
Referees40.0A utility for computing distributions of material to review among reviewers. (gpl, library, program, utils)2014-11-11PabloCouto
RollingDirectory40.0Limits the size of a directory's contents (file-manager, gpl, program, tools)2012-01-17FalcoHirschenberger
S310.0Library for accessing S3 compatible storage services (gpl, library, network)2019-08-18HerbertValerioRiedel
ScratchFs80.0Size limited temp filesystem based on fuse (gpl, program, system)2012-11-13FalcoHirschenberger
SelectSequencesFromMSA130.0Selects a representative subset of sequences from multiple sequence alignment. (bioinformatics, gpl, library, program)2018-03-12FlorianEggenhofer
ShellCheck1832.0Shell script analysis tool (agpl, gpl, library, program, static-analysis)2021-11-07koala_man, vidarhol
Shpadoinkle-isreal40.0Isreal Swan will make a snowman for you! (gpl, library, web)2021-06-02fresheyeball
SimpleTableGenerator32.0Simple table generator (gpl, library, text)2017-02-22klntsky
Sonnex110.0Sonnex is an alternative to Soundex for french language (gpl, library, natural-language-processing, text)2014-12-01zigazou
StatisticalMethods50.0Collection of useful statistical methods. (gpl, library, statistics)2011-08-22ChristianHoener
StockholmAlignment302.0Libary for Stockholm aligmnent format (bioinformatics, gpl, library)2019-12-17FlorianEggenhofer
Taxonomy280.0Libary for parsing, processing and vizualization of taxonomy data (bioinformatics, gpl, library)2021-05-30FlorianEggenhofer
TaxonomyTools70.0Tool for parsing, processing, comparing and visualizing taxonomy data (bioinformatics, gpl, program)2017-01-26FlorianEggenhofer
TeX-my-math160.0Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2021-05-18leftaroundabout
ThreadObjects40.0Mutable objects that reside in their own threads. (concurrency, gpl, library)2012-08-10TimothyHobbs
TigerHash30.0TigerHash with C implementation (cryptography, gpl, library)2010-04-16NikolayOrlyuk
Titim150.0Game for Lounge Marmelade (game, gpl, program)2015-03-25Jefffrey
TypingTester150.0Command Line Typing speed tester (game, gpl, program)2014-08-18AlanHawkins
ViennaRNAParser610.0Libary for parsing ViennaRNA package output (bioinformatics, gpl, library)2017-10-18FlorianEggenhofer
WordAlignment70.0Bigram word pair alignments. (gpl, library, linguistics, program)2017-03-14ChristianHoener
XMLParser202.25A library to parse xml (gpl, library, xml)2019-05-22AlanHawkins
acme-cutegirl62.0Maybe gives you a cute girl (acme, gpl, library, program)2014-01-27MateuszKowalczyk
adblock2privoxy592.0Convert adblock config files to privoxy format (gpl, program, web)2021-12-11zubr, essandess
adtrees10.0Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-23umazalakain
aeson-dependent-sum20.0JSON encoding/decoding for dependent-sum (data, dependent-types, gpl, json, library)2022-08-27jack
ajhc202.0Haskell compiler that produce binary through C language (compiler, gpl, library, program)2013-12-18KiwamuOkabe
alga (deprecated)130.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
amqp-utils710.0AMQP toolset for the command line (gpl, network, program)2021-10-25woffs
anansi510.0Simple literate programming preprocessor (development, gpl, library, program)2015-06-05JohnMillikin
anansi-hscolour80.0Colorized looms for Anansi (development, gpl, library)2014-02-14JohnMillikin
anansi-pandoc160.0Looms which use Pandoc to parse and produce a variety of formats. (development, gpl, library)2014-03-18JohnMillikin
android80.0Android methods exposed to Haskell (gpl, library, system)2015-09-29IvanPerez, keera_studios_ci
angle30.0A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
animascii (deprecated)90.0text-file based ASCII animator (application, deprecated, gpl, program)2018-03-16fffaaa
ansi-terminal-game752.0sdl-like functions for terminal applications, based on ansi-terminal (game, gpl, library)2021-11-20fffaaa
apelsin170.0Server and community browser for the game Tremulous (gpl, network, program)2013-06-26ChristofferOjeling
applicative-parsec50.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
arbtt1740.0Automatic Rule-Based Time Tracker (desktop, gpl, program)2022-08-14JoachimBreitner
arghwxhaskell70.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
arguedit70.0A computer assisted argumentation transcription and editing software. (argumentation, gpl, program)2014-07-12hrazel
array-forth170.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ascii-holidays12.5ASCII animations for the holidays! (gpl, graphics, program)2019-12-24TomMurphy
ascii-vector-avc40.0Process Ascii Vectors for Advantest 93k (data, gpl, library, program)2014-10-15m
aterm90.0serialisation for Haskell values with sharing support (data, gpl, library, parsing)2020-10-06ChristianMaeder
atp40.0Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-25EK
attoparsec-arff30.0An ARFF file parser using Attoparsec (ai, data, gpl, library, text)2012-02-09PaulWilson
aur912.0Access metadata from the Arch Linux User Repository. (gpl, library, linux)2021-10-21fosskers
aura750.0A secure package manager for Arch Linux and the AUR. (gpl, library, program, system)2022-05-23fosskers
autom50.0Generates and displays patterns from next nearest neighbors cellular automata (gpl, graphics, library)2016-10-22infrared
avers622.0Server-side implementation of the Avers storage model (avers, gpl, library)2016-12-28wereHamster
awesome-prelude30.0A prelude which I can be happy with. Based on base-prelude. (gpl, library, prelude)2016-02-11kozross
azubi170.0A simple DevOps tool which will never "reach" enterprice level. (gpl, library, system)2017-10-14palo
backstop52.0Backstop a target directory by source directories (development, gpl, library, program)2019-11-04mdgabriel
base-io-access130.0The IO functions included in base delimited into small, composable classes (gpl, library, system)2015-02-11bheklilr
bbdb270.0Ability to read, write, and modify BBDB files (database, gpl, library)2017-12-14HenryLaxen
bdcs-api120.0BDCS API Server (gpl, library, network, program)2018-06-22clumens
bein (deprecated)150.0Bein is a provenance and workflow management system for bioinformatics. (application, deprecated, gpl, program)2010-05-28FrederickRoss
benchmark-function40.0Test the time it takes to run a haskell function (gpl, library, testing)2017-01-15AlanHawkins
bencodex32.0Bencodex reader/writer for Haskell (gpl, library, serialization)2018-11-05hongminhee
bin1660.0Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2022-01-03phadej
binary-derive40.0Automatic deriving of Binary using GHC.Generics (data, gpl, library)2011-11-05JaredHance
bindings-cctools40.0Bindings to the CCTools WorkQueue C library (ffi, gpl, library)2013-01-02BadiAbdulWahid
bindings-codec260.0Very low-level FFI bindings for Codec2 (bindings, codec, ffi, gpl, library, program)2014-10-31RickyElrod
bindings-nettle250.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-cmd90.0Wrapping saga_cmd (gpl, library, math, program)2015-06-16michelk
bindynamic20.0A variation of Data.Dynamic.Dynamic with a Binary instance (data, gpl, library)2018-03-26lspitzner
birch-beer800.0Plot a colorful tree. (bioinformatics, gpl, library, program)2022-10-06GregorySchwartz
bisc230.0A small tool that clears cookies (and more). (gpl, program, utility)2022-01-11rnhmjoj
bishbosh610.0Plays chess. (game, gpl, library, program)2021-12-26AlistairWard
black-jewel30.0The pirate bay client. (application, gpl, program)2013-05-21DmitryBogatov
blindpass22.0Password entry tool (gpl, library, program, utilities)2020-12-11jlamothe
blosum150.0BLOSUM generator (bioinformatics, gpl, library, program)2016-11-30GregorySchwartz
blubber10.0The blubber client; connects to the blubber server. (game, gpl, program)2015-06-30alexander
boilerplate60.0Generate Haskell boilerplate. (building, gpl, library, program)2020-10-08tseenshe
boolean-list60.0convert numbers to binary coded lists (data, gpl, library)2017-10-26AlanHawkins
boomange360.0A bookmarks manager with an HTML generator (gpl, program, web)2018-12-08mgmillani
bowntz60.0audio-visual pseudo-physical simulation of colliding circles (demo, gpl, program)2019-08-28ClaudeHeilandAllen
breve370.0a url shortener (gpl, program, web)2019-11-07rnhmjoj
brotli302.0Brotli (RFC7932) compression and decompression (codec, compression, gpl, library)2022-06-10AndreasAbel, HerbertValerioRiedel
burst-detection20.0Burst detection algorithms (gpl, library, math)2013-11-08
butterflies60.0butterfly tilings (gpl, graphics, library, program)2018-11-06ClaudeHeilandAllen
byte-count-reader510.0Read strings describing a number of bytes like 2Kb and 0.5 MiB (gpl, library, text)2022-05-13danielrolls
c2ats32.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
c2hs1650.0C->Haskell FFI tool that gives some cross-language type safety (development, gpl, program)2021-06-13DuncanCoutts, IanRoss, deech
cabal-plan1532.25Library and utility for processing cabal's plan.json file (development, gpl, library)2022-09-23HerbertValerioRiedel, phadej
cabal-rpm2002.0RPM packaging tool for Haskell Cabal-based packages (distribution, gpl, program)2022-03-28BryanOSullivan, JensPetersen
cabal2spec590.0Convert Cabal files into rpm spec files (distribution, gpl, library, program)2022-02-11PeterSimons, YaakovNemoy
calculator632.0A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-10sumitsahrawat
caledon302.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
carettah422.0A presentation tool written with Haskell. (gpl, graphics, program)2016-09-30KiwamuOkabe
carte42.0Carte: A commandline pastebin server. (gpl, network, program)2016-11-10cdetroye
cctools-workqueue70.0High-level interface to CCTools' WorkQueue library (distributed-computing, gpl, library)2013-01-02BadiAbdulWahid
cereal-derive50.0Automatic deriving of Serialize using GHC.Generics (data, gpl, library)2011-11-06JaredHance
cg20.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
cgrep1740.0Command line tool (gpl, program, utils)2020-03-08awgn, NicolaBonelli
chain-codes90.0Library decoding chain codes from images (data, gpl, library)2014-03-16MateuszKowalczyk
cimple400.0Simple C-like programming language (data, gpl, library, program)2022-03-14iphydf
citeproc-hs-pandoc-filter60.0A Pandoc filter for processing bibliographic references with citeproc-hs (gpl, program, text)2015-03-17AndreaRossato
clac120.0Simple CLI RPN calculator (gpl, math, program)2015-03-18alexander
classy-parallel30.0Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-31SamAnklesaria
closed-intervals160.0Closed intervals of totally ordered types (data-mining, gpl, library)2022-09-05olf
clumpiness170.0Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-21GregorySchwartz
cmv251.5Detailed visualization of CMs, HMMs and their comparisions (bioinformatics, gpl, library, program)2018-01-28FlorianEggenhofer
collapse-duplication30.0Collapse the duplication output into clones and return their frequencies. (bioinformatics, gpl, library, program)2018-08-28GregorySchwartz
colour-space270.0Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)2022-04-16leftaroundabout
compilation70.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
conductive-base100.0a library for live coding and real-time musical applications (gpl, library, music, sound)2012-12-27RenickBell
conductive-clock40.0a library for displaying musical time in a terminal-based clock (gpl, library, music, sound)2012-12-27RenickBell
conductive-hsc3130.0a library with examples of using Conductive with hsc3 (gpl, library, music, sound)2012-12-28RenickBell
conductive-song60.0a library of functions which are useful for composing music (gpl, library, music, sound)2012-12-27RenickBell
config-manager150.0Configuration management (configuration, data, gpl, library)2016-08-13guyonvarch
config-select80.0A small program for swapping out dot files. (gpl, program, system)2013-02-07TimothyHobbs
constrained-categories370.0Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2020-11-15leftaroundabout
convert-annotation250.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
copr-api120.0Copr API client libary (gpl, library, network)2021-12-29JensPetersen
covariance330.0Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-10dschrempf
cpython360.0Bindings for libpython (foreign, gpl, library)2021-01-05zsedem
cr70.0Code review tool (control, gpl, network, program, system)2012-12-03AlexandruScvortov
crocodile70.0An offline renderer supporting ray tracing and photon mapping (gpl, graphics, program)2011-09-29TomHammersley
css-simple52.0eDSL for CSS (gpl, library, web)2022-07-26Qyutou
csv-sip20.0extracts data from a CSV file (data, gpl, library)2022-04-24jlamothe
ctpl50.0A programming language for text modification. (gpl, library, program, text)2016-04-05implementation
cv-combinators380.0Functional Combinators for Computer Vision (ai, gpl, graphics, library, program)2015-08-12NoamLewis
cyclotomic480.0A subfield of the complex numbers for exact calculation. (gpl, library, math)2020-05-24ScottWalck
daemonize-doublefork80.0Start background daemons by double-forking (gpl, library, web)2012-08-15AlexandruScvortov
daemons380.0Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2020-02-03AlexandruScvortov
dao30.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
darcs2512.25a distributed, interactive, smart revision control system (development, gpl, library)2022-02-20EricKow, FlorentBecker, GaneshSittampalam, GuillaumeHoffmann, JasonDagit, PetrRockai, ReinierLamers, bfrk
darkplaces-demo70.0Utility and parser for DarkPlaces demo files (game, gpl, library, program)2015-02-12slava
darkplaces-rcon40.0Darkplaces rcon client library (game, gpl, library)2015-05-23slava
darkplaces-rcon-util100.0Darplaces rcon utility (game, gpl, library, program)2015-05-24slava
darkplaces-text100.0Parser for darkplaces colorful text (game, gpl, library)2015-05-23slava
data-list-sequences30.0Utilities for working with sequences within lists. (data, gpl, library)2011-08-13JonasKramer
dbus-client (deprecated in favor of dbus)290.0Monadic and object-oriented interfaces to DBus (deprecated, desktop, gpl, library, network)2012-06-23JohnMillikin
dbus-core (deprecated in favor of dbus)840.0Low-level D-Bus protocol implementation (deprecated, desktop, gpl, library, network)2012-06-23JohnMillikin
ddate30.0Discordian Date Types for Haskell (data, gpl, library)2016-06-30hellerve
decimal-literals70.0Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-20leftaroundabout
derive-enumerable150.0Generic instances for enumerating complex data types (data, generics, gpl, library)2022-11-18mgoszcz2, theunixman
descrilo300.0Loads a list of items with fields (configuration, data, gpl, library, parser)2018-11-03mgmillani
descript-lang20.0Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-20jakobeha
dhall-yaml1050.0Convert between Dhall and YAML (compiler, gpl, library, program)2022-08-15GabrielGonzalez, HerbertValerioRiedel, sjakobi
dice2tex30.0Convert a Diceware wordlist into a printer-ready LaTeX file. (gpl, program, text)2017-01-14mgmillani
dicom110.0A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax. (data, gpl, library, medical)2015-12-11PhilFreeman, karchie
differential150.0Finds out whether an entity comes from different distributions (statuses). (bioinformatics, gpl, library, program)2021-02-05GregorySchwartz
digestive-functors-aeson750.0Run digestive-functors forms against JSON (gpl, json, library, web)2019-02-16OliverCharles, nieled
dihaa40.0ASCII based Diagram drawing in Haskell (Idea based on ditaa) (gpl, graphics, program)2017-05-06wilde
diohsc262.0Gemini client (browser, gpl, program)2022-10-08mbays
diophantine80.0A quadratic diophantine equation solving library. (gpl, library, math)2014-11-24joejev
direm20.0Deletes a directory and retains its contents in the parent directory (gpl, program, tool)2019-04-18mgttlinger
discokitty20.0DisCoCat implementation. (gpl, language, library)2019-05-13mroman42
dist-upload80.0Generate/Upload cabal package to Hackage. (distribution, gpl, library, program)2010-11-24AndyStewart
diversity970.0Quantify the diversity of a population (bioinformatics, gpl, library, program)2017-09-01GregorySchwartz
dl-fedora500.0Fedora image download tool (gpl, program, utility)2022-06-11JensPetersen
doccheck40.0Checks Haddock comments for pitfalls and version changes. (documentation, gpl, program)2013-08-13MateuszKowalczyk
dozenal40.0A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-11siddhanathan
dpkg160.0libdpkg bindings (debian, gpl, library)2012-07-05ClintAdams
drawille270.0A port of asciimoo's drawille to haskell (gpl, library, system)2016-11-22yamadapc
dson150.0Haskell Doge Serialized Object Notation Parser (data, gpl, library)2019-05-27lcycon
dsp402.0Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-21HenningThielemann
dumb-cas150.0A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2021-01-11leftaroundabout
dvdread30.0A monadic interface to libdvdread (gpl, library, system)2011-09-30NicolaSquartini
dynamic-plot550.0Interactive diagram windows (gpl, graphics, library)2022-04-17leftaroundabout
dynamic-state500.0Optionally serializable dynamic state keyed by type (data, gpl, library, yi)2018-06-07DmitryIvanov, MateuszKowalczyk, fread2281, JaroReinders
easyrender340.0User-friendly creation of EPS, PostScript, and PDF files (gpl, graphics, library)2018-11-25PeterSelinger
edentv180.0A Tool to Visualize Parallel Functional Program Executions (development, eden, gpl, profiling, program, trace)2015-01-22MischaDieterle, JostBerthold, horstmeyer
edge520.0Top view space combat arcade game (game, gpl, program)2016-09-05ChristopherHoward, infrared
eibd-client-simple140.0EIBd Client (automation, gpl, library)2014-11-21vapourismo
elbow70.0Find the elbow point. (gpl, library, math)2020-02-20GregorySchwartz
electrum-mnemonic170.0easy to remember mnemonic for a high-entropy value (gpl, library, natural-language-processing)2016-11-22JoeyHess
elynx820.0Validate and (optionally) redo ELynx analyses (bioinformatics, gpl, program)2022-07-11dschrempf
elynx-markov840.0Simulate molecular sequences along trees (bioinformatics, gpl, library)2022-07-11dschrempf
elynx-nexus770.0Import and export Nexus files (bioinformatics, gpl, library)2022-07-11dschrempf
elynx-seq900.0Handle molecular sequences (bioinformatics, gpl, library)2022-07-11dschrempf
elynx-tools900.0Tools for ELynx (bioinformatics, gpl, library)2022-07-11dschrempf
elynx-tree920.0Handle phylogenetic trees (bioinformatics, gpl, library)2022-07-11dschrempf
embroidery30.0support for embroidery formats in haskell (codec, gpl, library, program)2011-07-31JimSnavely
epanet-haskell130.0Haskell binding for EPANET (algorithms, gpl, hydraulics, library)2013-12-16psibi
ert150.0Easy Runtime Templates (gpl, library, program, text)2015-04-30kayo
exherbo-cabal250.0Exheres generator for cabal packages (distribution, gpl, library, program)2017-02-09NikolayOrlyuk
exp-pairs500.0Linear programming over exponent pairs (gpl, library, math)2020-10-03Bodigrim
explicit-constraint-lens70.0Fully-flexible polymorphic lenses, without any bizarre profunctors (data, gpl, library)2017-12-30leftaroundabout
explicit-determinant30.0explicit computation of determinant of small matrices (gpl, library, math)2014-07-03JohannesWaldmann
factory570.0Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2021-08-25AlistairWard, LennartAugustsson
fast-digits210.0Integer-to-digits conversion. (data, gpl, library)2021-08-08Bodigrim
fasta750.0A simple, mindless parser for fasta files. (data, gpl, library)2017-02-13GregorySchwartz
faster-megaparsec520.0Speed up Megaparsec parsing when parsing succeeds (gpl, library, parsing)2022-11-11olf
fathead-util40.0Utilities for working with DuckDuckHack's FatHead Instant Answers (development, gpl, library)2016-08-17GuiltyDolphin
fbrnch570.0Fedora packager tool to build package branches (distribution, gpl, program)2022-11-23JensPetersen
fedora-dists410.0Library for Fedora distribution versions (distribution, gpl, library)2022-05-24JensPetersen
fedora-haskell-tools390.0Building and maintenance tools for Fedora Haskell (distribution, gpl, program)2022-01-22JensPetersen
fedora-img-dl (deprecated in favor of dl-fedora)80.0Fedora image download tool (deprecated, gpl, program, utility)2019-06-03JensPetersen
feedback370.0Declarative feedback loop manager (gpl, library, program, unclassified)2022-11-17Norfair
fences100.0To be written (gpl, library, unclassified)2014-06-17HansHoglund
filepath-io-access70.0IO Access for filepath (development, gpl, library)2013-12-31bheklilr
find-clumpiness260.0Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-21GregorySchwartz
findhttp90.0List http/html files (gpl, program, utility)2022-10-19JensPetersen
finitary392.0A better, more type-safe Enum. (data, gpl, library)2021-02-11koz_ross, sheaf
finitary-derive220.0Flexible and easy deriving of type classes for finitary types. (data, gpl, library)2021-02-11koz_ross, sheaf
finitary-optics20.0Prisms and Isos between finitary types. (data, gpl, library)2020-06-06koz_ross, sheaf
flaccuraterip450.0Verify FLAC files ripped form CD using AccurateRip™ (gpl, program, sound)2020-06-10NicolaSquartini
flat-tex170.0flatten a latex multi-file latex document and remove all comments (gpl, program, text)2022-03-25JohannesWaldmann
flowsim310.0Simulate 454 pyrosequencing (bioinformatics, gpl, program)2013-11-19KetilMalde
fluffy42.0A simple web application as a online practice website for XDU SE 2017 fall SPM. (gpl, program, web)2017-11-27qinka
fluffy-parser32.0The parser for fluffy to parsec the question bank in .docx type (gpl, library, text)2017-11-27qinka
folgerhs140.0Toolset for Folger Shakespeare Library's XML annotated plays (gpl, library, program, text)2018-01-25umazalakain
follower40.0Follow Tweets anonymously (application, console, gpl, program, web)2011-01-23EmreBasar
forth-hll (deprecated)40.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
frp-arduino170.0Arduino programming without the hassle of C. (gpl, language, library)2018-03-26RickardLindberg, JeremyWright
frpnow-vty80.0Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-19JaroReinders
funcmp380.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
gdo190.0recursive atomic build system (distribution, gpl, program)2017-02-23seppeljordan
gearbox210.0zooming rotating fractal gears graphics demo (demo, gpl, program)2018-11-06ClaudeHeilandAllen
geni-util150.0Companion tools for use with the GenI surface realiser (gpl, library, natural-language-processing, program)2017-10-03EricKow
geom2d110.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
gist40.0A reliable command-line client for (gpl, program, web)2012-04-22SimonMichael
git-date150.0Bindings to the date parsing from Git. (data, gpl, library)2018-06-03StephenWeber
git-mediate252.0Tool to help resolving git conflicts (development, gpl, program)2020-10-13EyalLotem
github-backup740.0backs up everything github knows about a repository, to the repository (gpl, program, utility)2020-07-22JoeyHess
glapp (deprecated)100.0An OpenGL micro framework. (deprecated, gpl, graphics, library, program)2014-01-08SchellScivally
glicko150.0Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-13rprecenth
gloss-banana70.0An Interface for gloss in terms of a reactive-banana Behavior. (gpl, graphics, library)2014-10-30Twey
gmndl120.0Mandelbrot Set explorer using GTK (gpl, graphics, program)2017-08-04ClaudeHeilandAllen
gnome-keyring320.0Bindings for libgnome-keyring (desktop, gpl, library)2019-08-09NickPershyn
gnuidn220.0Bindings for GNU IDN (codec, gpl, library, text)2015-10-25StephenWeber
gnutls210.0Bindings for GNU libgnutls (gpl, library, network)2015-06-18StephenWeber
gopher-proxy332.0proxy gopher over http (gpl, network, program)2021-10-25sternenseemann
gruff180.0fractal explorer GUI using the ruff library (gpl, graphics, library, program)2016-11-07ClaudeHeilandAllen
gruff-examples90.0Mandelbrot Set examples using ruff and gruff (gpl, graphics, program)2016-11-07ClaudeHeilandAllen
gsasl320.0Bindings for GNU libgsasl (gpl, library, network)2020-02-16StephenWeber
gscholar-rss490.0scrapes google scholar, provides RSS feed (gpl, program, utils, web)2020-04-13fffaaa
gtk-jsinput20.0A simple custom form widget for gtk which allows inputing of JSON values (gpl, graphics, library)2012-11-29TimothyHobbs
gtk-simple-list-view70.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-list20.0A simple custom form widget for gtk which allows single LOC creation/updating of toggle button lists. (gpl, graphics, library)2012-11-29TimothyHobbs
gtk2hs-buildtools2470.0Tools to build the Gtk2Hs suite of User Interface libraries. (development, gpl, library, program)2022-03-24AndyStewart, AxelSimon, DanielWagner, DuncanCoutts, HamishMackenzie
gulcii80.0graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-23ClaudeHeilandAllen
gutenberg-fibonaccis240.0The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-09JustinHanekom
h-booru90.0Haskell library for retrieving data from various booru image sites (gpl, library, program, web)2014-11-18MateuszKowalczyk
hOff-display30.0The tool to transform the OFF to other image format. (gpl, graphics, library, program)2017-12-15qinka
hOff-parser70.0The parser to parser the OFF(Object File Format, Princeton ModelNet). (gpl, library, text)2017-12-15qinka
hackage-cli90.0CLI tool for Hackage (development, gpl, library, program)2022-04-30AndreasAbel, HerbertValerioRiedel
hackport1480.0Hackage and Portage integration tool (distribution, gpl, library, program)2022-08-27LennartKolmodin, SergeiTrofimovich, solpeth
hadolint2080.0Dockerfile Linter JavaScript API (development, gpl, library, program)2022-11-09lorenzo
hails-bin (deprecated in favor of hails)120.0Dynamic launcher of Hails applications (deprecated, gpl, program, web)2012-04-20DeianStefan
hakyll-shortcode30.0A shortcode extension module for Hakyll (gpl, library, web)2017-10-11nbloomf
half-space30.0Additive monoids generalising vector spaces (gpl, library, math)2022-04-15leftaroundabout
haltavista40.0looks for functions given a set of example input/outputs (development, gpl, program)2010-09-19PaulBrauner
hamsql112.0Interpreter for SQL-structure definitions in YAML (YamSql) (database, gpl, library, program)2016-10-27quabla
happy-dot30.0Parser for dot made with happy. (gpl, language, library)2019-12-21mgmillani
harmony132.0A web service specification compiler that generates implementation and tests. (development, gpl, library, program)2015-08-19SantiMunin
hascar310.0Decompress SAPCAR archives (codec, gpl, library, program)2018-02-01hc
hashrename60.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
haskelisp230.0Write Emacs module in Haskell, using Emacs 25's Dynamic Module feature (editor, emacs, gpl, library)2016-11-28shintak
haskell-ci552.0Cabal package script generator for Travis-CI (development, gpl, library, program)2022-03-08HerbertValerioRiedel, phadej
haskell-coffee70.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-compression120.0compress files (gpl, library, program, system)2017-10-26AlanHawkins
haskell-lsp-client72.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-pdf-presenter240.0Tool for presenting PDF-based presentations. (application, gpl, graphics, image-viewer, pdf, program)2014-01-20MichaelAdams
haskell-rules30.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-snake70.0Snake game implemetation in Haskell using SDL2 (games, gpl, library, program)2018-05-25cgenie
haskell-typescript40.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskellscrabble360.0A scrabble library capturing the core game logic of scrabble. (game, gpl, library)2016-03-26happy0
haste-perch300.0Create, navigate and modify the DOM tree with composable syntax, with the haste compiler (gpl, library, web)2015-04-09AlbertoCorona
hbf100.0An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-04paraseba
hchesslib80.0Chess library (game, gpl, library)2021-12-05MiikaPetteriMatikainen
hcwiid180.0Library to interface with the wiimote (gpl, library, system)2017-04-27IvanPerez, KiwamuOkabe, keera_studios_ci
hdm50.0a small display manager. (gpl, program, system)2012-08-26TimothyHobbs
hdr-histogram30.0Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-03joshbohde
heatitup40.0Find and annotate ITDs. (bioinformatics, gpl, library, program)2019-06-13GregorySchwartz
heatitup-complete100.0Find and annotate ITDs with assembly or read pair joining. (bioinformatics, gpl, library, program)2020-02-17GregorySchwartz
hellnet50.0Simple, distributed, anonymous data sharing network. (gpl, library, network, program)2010-03-03JaroslavGridin
herms132.0A command-line manager for delicious kitchen recipes (cli, command-line-tool, culinary, gpl, program)2018-08-01JackKiefer
heystone20.0Haskell bindings for the Keystone assembler framework (assembler, bindings, compilers-interpreters, gpl, library)2022-07-08raehik
hgraph20.0Tools for working on (di)graphs. (data, gpl, library)2021-08-27mgmillani
hgreet12.0Haskell module to interact with the greetd daemon trough it's IPC protocol. (gpl, library, network)2022-06-15Vawlpe
hgrib70.0Unofficial bindings for GRIB API (data, gpl, library)2015-11-07mjakob
hierarchical-spectral-clustering200.0Hierarchical spectral clustering of a graph. (bioinformatics, gpl, library, program)2019-09-26GregorySchwartz
himg10.0Simple gtk2hs image viewer. Point it at an image and fire away. (gpl, graphics, library, program)2014-02-01MateuszKowalczyk
hjugement60.0Majority Judgment. (gpl, library, politic)2019-04-14julm
hjugement-cli10.0Majority Judgment and Helios-C command line tool (gpl, politic, program)2019-11-05julm
hjugement-protocol00.0A cryptographic protocol for the Majority Judgment. (gpl, library, politic)2019-11-05julm
hkgr320.0Simple Hackage release workflow for package maintainers (gpl, program, util)2022-06-24JensPetersen
hledger1932.5Command-line interface for the hledger accounting system (console, finance, gpl, library, program)2022-12-01SimonMichael
hledger-api (deprecated in favor of hledger-web)160.0Web API server for the hledger accounting tool (deprecated, finance, gpl, program)2019-03-02SimonMichael
hledger-diff160.0Compares the transactions in two ledger files. (console, finance, gpl, program)2018-05-13gebner
hledger-flow260.0An hledger workflow focusing on automated statement import and classification. (console, finance, gpl, library, program)2021-06-24apauley
hledger-lib1910.0A reusable library providing the core functionality of hledger (finance, gpl, library)2022-12-01SimonMichael
hledger-makeitso (deprecated in favor of hledger-flow)10.0An hledger workflow focusing on automated statement import and classification. (console, deprecated, finance, gpl, library, program)2019-04-06apauley
hledger-ui1370.0Curses-style terminal interface for the hledger accounting system (console, finance, gpl)2022-12-01SimonMichael
hledger-web1760.0Web-based user interface for the hledger accounting system (finance, gpl, library)2022-12-01SimonMichael
hmatrix-glpk150.0Linear Programming based on GLPK (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-gsl310.0Numerical computation (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-special220.0Interface to GSL special functions (gpl, library, math)2018-04-22AlbertoRuiz, DominicSteinitz
hmatrix-syntax40.0MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-31ReinerPope
hmt90.0Haskell Music Theory (gpl, library, music)2022-12-02RohanDrape
hmt-base00.0Haskell Music Theory Base (gpl, library, music)2022-12-02RohanDrape
hob10.0A source code editor aiming for the convenience of use (gpl, ide, library, program)2014-12-27rakatan
hoodie10.0A small, toy roguelike (game, gpl, program)2013-11-06dvolk
hoodle180.0Executable for hoodle (application, gpl, library, program)2016-07-25IanWooKim
hoodle-extra20.0extra hoodle tools (application, gpl, program)2014-07-14IanWooKim
hoq50.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-27valis
hosc1490.0Haskell Open Sound Control (gpl, library, sound)2022-12-02HenningThielemann, PaoloVeronelli, RohanDrape
hosts-server40.0An dns server which is extremely easy to config. (gpl, network, program)2014-01-15YiHuang
hps-kmeans50.0A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-10RodrigoGadea
hsay50.0(ab)Use Google Translate as a speech synthesiser (accessibility, gpl, program)2014-12-17alexander
hsc3410.0Haskell SuperCollider (gpl, library, sound)2022-12-02HenningThielemann, RohanDrape
hscdio10.0Haskell bindings to the libcdio disc-reading library. (gpl, library, sound)2021-06-05ageitilt
hsfacter (deprecated in favor of language-puppet)60.0A small and ugly library that emulates the output of the puppet facter program. (deprecated, gpl, library, system)2013-05-16SimonMarechal
hsinspect212.25Inspect Haskell source files. (building, gpl, library, program)2021-04-19tseenshe
hsinspect-lsp00.0LSP interface over the hsinspect binary. (building, gpl, library, program)2020-07-22tseenshe
hsluv-haskell70.0HSLuv conversion utility. (conversion, gpl, library)2018-02-01modalduality
hspecVariant80.0Spec for testing properties (gpl, library, testing)2021-10-23sanjorgek
hsprocess (deprecated in favor of haskell-awk)60.0The Haskell Stream Processor command line utility (console, deprecated, gpl, library, program)2013-08-04MarioPastorelli
hstorchat50.0Distributed instant messaging over Tor (gpl, library, network, program)2014-06-04creichert, ChristopherReichert
hstox (deprecated in favor of toxcore)20.0A Tox protocol implementation in Haskell (deprecated, gpl, library, network)2018-10-17iphydf
htalkat50.0Talk across TLS (gpl, network, program)2022-08-14mbays
htirage (deprecated in favor of reloto)30.0Equiprobable draw from publicly verifiable random data. (deprecated, gpl, library, politic)2018-08-30julm
htsn (deprecated)140.0Parse XML files from The Sports Network feed. (deprecated, gpl, program, utils)2014-09-23MichaelOrlitzky
htsn-common (deprecated)50.0Display/logging facilities used by both htsn and htsn-import. (deprecated, gpl, library, utils)2014-05-29MichaelOrlitzky
htsn-import (deprecated)200.0Import XML files from The Sports Network into an RDBMS. (deprecated, gpl, program, utils)2015-03-10MichaelOrlitzky
https-everywhere-rules-raw30.0Low-level (i.e. XML) access to HTTPS Everywhere rulesets. (data, gpl, library)2014-08-24vi
htvm30.0Bindings for TVM machine learning framework (gpl, library, machine-learning)2018-12-15SergeyMironov
hum00.0A TUI MPD client, inspired by ncmpcpp (gpl, library, program, sound)2021-01-25iyefrat
hurl180.0Haskell URL resolver (gpl, library, network, program)2022-10-31alcinnz
hurl-xml30.0Fetch parsed XML & possibly CSS for a URL based on MIMEtype. (gpl, library, web)2022-09-20alcinnz
hvega-theme120.0Theme for hvega. (gpl, graphics, library)2021-08-12GregorySchwartz
hwhile62.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-07alexj136
hwormhole30.0magic-wormhole client (gpl, library, network, program)2019-03-29rkrishnan
hydrogen40.0An alternate Prelude (gpl, library, prelude)2015-04-05KarlVoelker
hzulip292.0A haskell wrapper for the Zulip API. (gpl, library, web)2016-01-27yamadapc
ib-api40.0An API for the Interactive Brokers Trading Workstation written in pure Haskell (gpl, library, network, program)2015-07-28rbermani
ige11.25An keyboard-driven interactive graph editor (editing, gpl, program)2017-09-11olynch
imparse40.0Multi-platform parser analyzer and generator. (gpl, library, program, text)2013-08-20AndreiLapets
incremental-parser520.0Generic parser library capable of providing partial results from partial input. (gpl, library, parsing)2022-10-03MarioBlazevic
inf-interval30.0Non-contiguous interval data types with potentially infinite ranges. (gpl, library, numeric)2016-05-31RaminHonary
infernu60.0Type inference and checker for JavaScript (experimental) (gpl, library, program, unclassified)2015-04-18NoamLewis
inject-function90.0Monadic functions with injected parameters. (control, gpl, library)2013-09-13DimitriSabadie
inquire30.0Console client for encyclopedias (gpl, program, web)2014-01-08orbifx
instrument-chord110.0Render Instrument Chords (gpl, library, music)2019-03-12AlanHawkins
integreat50.0Integrate different assays. (bioinformatics, gpl, library, program)2018-05-16GregorySchwartz
interpol90.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
interval20.0Intervals with adherences. (data-structures, gpl, library)2016-08-21julm
intricacy300.0A game of competitive puzzle-design (game, gpl)2022-06-10mbays
ipatch72.0interactive patch editor (development, gpl, program)2012-04-15JoachimBreitner
iron-mq30.0Iron.IO message queueing client library (gpl, library, network)2014-12-27arnoblalam
isotope70.0Isotopic masses and relative abundances. (chemistry, gpl, library)2017-04-29Michaelt293
iyql90.0CLI (command line interface) to YQL (gpl, network, program)2010-09-22DiegoSouza
jacinda72.0Functional, expression-oriented data processing language (agpl, data, gpl, interpreters, language, library, program, text)2022-04-13vmchale
jack352.0Bindings for the JACK Audio Connection Kit (gpl, library, sound)2021-04-08HenningThielemann
jackminimix20.0control JackMiniMix (gpl, library, sound)2010-08-25RenickBell
jackpolynomials20.0Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-08-08stla
jammittools200.0Export sheet music and audio from Windows/Mac app Jammit (gpl, library, program, sound)2019-04-13mtolly
jdi20.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jsonrpc-conduit260.0JSON-RPC 2.0 server over a Conduit. (conduit, gpl, library)2022-06-16GabrieleSales
judge20.0Tableau-based theorem prover for justification logic. (gpl, library, logic, program)2018-03-14slakkenhuis
kdesrc-build-extra (deprecated in favor of kdesrc-build-profiles)80.0Build profiles for kdesrc-build (deprecated, development, gpl, program)2016-04-05ivan
kdesrc-build-profiles30.0Build profiles for kdesrc-build (development, gpl, program)2020-05-27ivan
koji140.0Koji buildsystem XML-RPC API bindings (gpl, library, network)2021-05-07JensPetersen
koneko20.0a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-12obfusk
konnakol72.0Formalising the rules of Konnakol, an Indian percussional art form. (development, gpl, library)2022-08-16JJMan
lambda2js41.5Untyped Lambda calculus to JavaScript compiler (compiler, gpl, program)2015-09-27MatejKollar
lambdabot-telegram-plugins50.0Lambdabot for Telegram (development, gpl, library, program, web)2022-09-24swamp_agr
language-Modula220.0Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2022-10-23MarioBlazevic
language-docker2222.0Dockerfile parser, pretty-printer and embedded DSL (development, gpl, library)2022-11-09lorenzo
language-dockerfile190.0Dockerfile linter, parser, pretty-printer and embedded DSL (development, gpl, library)2017-05-14yamadapc
language-oberon60.0Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2022-10-23MarioBlazevic
lat30.0Tool to track security alerts on LWN (gpl, program, utils)2011-05-13MagnusTherning
lazy-hash10.0Identifiers for not-yet-computed values (data, gpl, library)2017-07-24leftaroundabout
lazy-hash-cache20.0Storing computed values for re-use when the same program runs again. (data, gpl, library)2017-07-24leftaroundabout
lazy-priority-queue40.0Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-18MarioBlazevic
leaf40.0A simple portfolio generator (gpl, program, web)2013-02-18DimitriSabadie
lentil1012.5frugal issue tracker (development, gpl, program, project-management)2022-11-27fffaaa, lwm
lfst30.0L-Fuzzy Set Theory implementation in Haskell (gpl, library, math----------)2016-03-12claudiogreco
liblawless360.0Prelude based on protolude for GHC 8 and beyond. (gpl, library, prelude)2017-10-02misandrist
libmolude (deprecated in favor of liblawless)20.0Prelude based on protolude for GHC 8 and beyond. (deprecated, gpl, library, prelude)2016-11-26misandrist
libnix91.75Bindings to the nix package manager (foreign, gpl, library, nix)2021-11-23Profpatsch, chris_martin
liboath-hs120.0Bindings to liboath (gpl, library, program, security)2020-10-26parsonsmatt
libpafe20.0Wrapper for libpafe (ffi, gpl, library)2015-07-29haru2036
libtelnet20.0Bindings to libtelnet (gpl, library, network)2021-02-13jack
line-break40.0Convert newlines in text (gpl, program, text)2017-01-15AlanHawkins
line-size10.0Display the number of bytes of each line (data, gpl, program)2017-03-27AlanHawkins
linear-code52.0A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-30wchresta
linear-socket70.0Typed sockets (gpl, library, network)2018-09-29alleledev
linearmap-category130.0Native, complete, matrix-free linear algebra. (gpl, library, math)2022-09-19leftaroundabout
list-prompt20.0A simple list prompt UI for the terminal. (gpl, library, system)2015-12-20yamadapc
list-remote-forwards40.0List all remote forwards for mail accounts stored in a SQL database. (agpl, gpl, mail, program, utils)2022-08-28MichaelOrlitzky
localization40.0Library for localization (l10n) (data-structures, gpl, library)2018-02-27julm
lol102.0A library for lattice cryptography. (crypto, gpl, library)2020-02-19crockeea, crossroads1112
lol-apps100.0Lattice-based cryptographic applications using < lol>. (crypto, gpl, library)2020-02-19crockeea, crossroads1112
lol-benches60.0A library for benchmarking < lol>. (crypto, gpl, library)2017-02-26crockeea, crossroads1112
lol-calculus20.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-cpp50.0A fast C++ backend for < lol>. (crypto, gpl, library)2020-02-19crockeea, crossroads1112
lol-repa20.0A repa backend for < lol>. (crypto, gpl, library)2017-02-24crockeea, crossroads1112
lol-tests20.0A library for testing < Λ ∘ λ>. (crypto, gpl, library)2017-02-19crockeea, crossroads1112
lol-typing10.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
loris40.0interface to Loris API (gpl, library, music, sound)2012-12-19JohnLato
luachunk32.0Library functions for reading and writing Lua chunks (gpl, library, scripting)2012-10-05AnupamJain
lxd-client90.0LXD client written in Haskell. (gpl, library, program, system)2018-02-13hverr
lxd-client-config100.0Read the configuration file of the standard LXD client. (gpl, library, system)2017-10-18hverr
lzip30.0Lzip compression / Lzlib bindings (codec, compression, gpl, library)2019-09-12HerbertValerioRiedel
machines-amazonka140.0Machine transducers for Amazonka calls. (gpl, library, network)2017-05-22misandrist
manatee262.0The Haskell/Gtk+ Integrated Live Environment (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-14AndyStewart
manatee-all10.0Virtual package to install all Manatee packages. (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-14AndyStewart
manatee-anything80.0Multithread interactive input/search framework for Manatee (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-01-12AndyStewart
manatee-browser150.0Browser extension for Manatee. (browser, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-core110.0The core of Manatee. (desktop-environment, gpl, ide, library, manatee, operating-system)2011-05-14AndyStewart
manatee-curl80.0Download Manager extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-editor110.0Editor extension for Manatee. (editor, gpl, ide, library, manatee, program)2011-05-14AndyStewart
manatee-filemanager110.0File manager extension for Manatee. (file-manager, gpl, library, manatee, program)2011-05-14AndyStewart
manatee-imageviewer150.0Image viewer extension for Manatee. (gpl, image, image-viewer, library, manatee, program)2011-05-14AndyStewart
manatee-ircclient110.0IRC client extension for Manatee. (gpl, irc, irc-client, library, manatee, program)2011-05-14AndyStewart
manatee-mplayer100.0Mplayer client extension for Manatee. (gpl, library, manatee, multimedia, multimedia-player, program)2011-05-14AndyStewart
manatee-pdfviewer340.0PDF viewer extension for Manatee. (gpl, library, manatee, pdf, pdf-viewer, program)2011-05-14AndyStewart
manatee-processmanager120.0Process manager extension for Manatee. (gpl, library, manatee, process-manager, program, system)2011-05-14AndyStewart
manatee-reader200.0Feed reader extension for Manatee. (atom, feed, gpl, library, manatee, program, rss, rss-atom-reader)2011-05-14AndyStewart
manatee-template80.0Template code to create Manatee application. (gpl, ide, library, manatee, program, template)2011-05-14AndyStewart
manatee-terminal60.0Terminal Emulator extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-14AndyStewart
manatee-welcome40.0Welcome module to help user play Manatee quickly. (gpl, ide, library, manatee, program, welcome)2011-05-14AndyStewart
mandulia50.0A zooming visualisation of the Mandelbrot Set as many Julia Sets. (gpl, graphics, program)2022-09-22ClaudeHeilandAllen
manifold-random100.0Sampling random points on general manifolds. (gpl, library, math)2022-04-15leftaroundabout
manifolds230.0Coordinate-free hypersurfaces (gpl, library, math)2022-04-15leftaroundabout
manifolds-core60.0The basic classes for the manifolds hierarchy. (gpl, library, math)2022-04-14leftaroundabout
markup-preview90.0A simple markup document preview (markdown, textile, reStructuredText) (gpl, program, text)2015-03-07MariusGhita
mars70.0Generates mountainous terrain using a random walk algorithm. (gpl, graphics, library)2016-08-24infrared
marxup90.0Markup language preprocessor for Haskell (gpl, library, program, text)2019-11-19JeanPhilippeBernardy
masakazu-bot50.0@minamiyama1994_bot on haskell (gpl, program, web)2014-08-20minamiyama1994
mathexpr190.0Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-14mdibaiee
mathgenealogy120.0Discover your (academic) ancestors! (gpl, program, web)2015-11-22PeterRobinson
mbug150.0download bugs mailboxes (debian, gpl, library, program)2019-01-09DmitryBogatov
mcm22.0Machine Configuration Manager (gpl, language, program, system, text)2018-11-03AnthonyDoggett
mcmc340.0Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2022-09-09dschrempf
mcmc-synthesis80.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
med-module180.0Parse song module files from Amiga MED and OctaMED (gpl, library, sound)2022-02-04HenningThielemann
medium-sdk-haskell20.0Haskell SDK for communicating with the Medium API (gpl, library, web)2015-11-16timmy_tofu
microaeson570.0A tiny JSON library with light dependency footprint (gpl, json, library, text, web)2022-05-26AndreasAbel, HerbertValerioRiedel
mida (deprecated)70.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
midair202.0Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)2018-11-10TomMurphy
midi-utils10.0Utilities for working with MIDI data (gpl, library, sound)2016-08-15GuiltyDolphin
mikrokosmos140.0Lambda calculus interpreter (gpl, language, program)2018-08-01mroman42
miniball60.0Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-04GardSpreemann
minilens72.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)72.0Read and write IDX data that is used in e.g. the MINST database. (data, deprecated, gpl, library)2015-05-30muzzle
mios120.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
mirror-tweet50.0Tweet mirror (gpl, program, web)2014-08-17minamiyama1994
missing-py260.0Haskell interface to Python (foreign, gpl, library)2013-11-12domdere
modify-fasta290.0Modify fasta (and CLIP) files in several optional ways (bioinformatics, gpl, library, program)2018-04-02GregorySchwartz
modularity100.0Find the modularity of a network. (bioinformatics, gpl, library)2019-08-08GregorySchwartz
modulo120.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
morloc00.0A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-06arendsee
mp110.0Music player for linux. (gpl, program, sound)2021-06-11piotrborek
mpolynomials20.0Simple multivariate polynomials. (algebra, gpl, library, math)2022-08-05stla
mpris10.0Interface for MPRIS (gpl, library, media)2015-12-15Fuco
mptcp10.0Datastructures to describe TCP and MPTCP connections (gpl, library, mptcp, network)2022-01-04teto
mptcp-pm60.0A Multipath TCP path manager (gpl, library, mptcp, network, program)2022-01-04teto
mptcpanalyzer10.0A Multipath TCP analyzer (gpl, library, network, program)2022-01-05teto
mpvguihs10.0A minimalist mpv GUI written in I/O heavy Haskell. (gpl, multimedia, program)2013-11-14pse
mqtt-hs110.0A MQTT client library. (gpl, library, network)2018-08-03LukasBraun
musicScroll180.0Supply your tunes info without leaving your music player. (gpl, library, music, program)2021-06-08RubenAstudillo
musicbrainz-email (deprecated)30.0Send an email to all MusicBrainz editors (deprecated, gpl, library, musicbrainz, program)2013-04-18OliverCharles
mute-unmute50.0Watches your screensaver and (un)mutes music when you (un)lock the screen. (gpl, program, system)2010-08-27KrzysztofSkrzetnicki
myanimelist-export60.0Export from MyAnimeList (gpl, library, program, web)2018-07-05mat8913
nagios-config10.0EDSL to specify Nagios configuration files. (gpl, library, program, web)2019-05-26hverr
namecoin-update60.0Tool to keep namecoin names updated and well (gpl, library, network, program)2022-06-12rnhmjoj
nanq (deprecated in favor of kanji)80.0Performs 漢字検定 (Japan Kanji Aptitude Test) level analysis on given Kanji. (deprecated, gpl, natural-language-processing, program)2016-04-13fosskers
naver-translate50.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
ncurses520.0Modernised bindings to GNU ncurses (foreign, gpl, library, user-interfaces)2016-08-29tjtrabue
neet150.0A NEAT library for Haskell (ai, gpl, library)2016-02-12hijiri
nested-sets40.0Nested set model implementation (data-structures, gpl, library)2014-10-11rakatan
netclock60.0Netclock protocol (gpl, library, network)2013-07-12AlexMcLean
netrc130.0Parser for .netrc files (gpl, library, network)2015-04-04AndreasAbel, HerbertValerioRiedel
netstring-enumerator (deprecated)30.0Enumerator-based netstring parsing (deprecated, enumerator, gpl, library, network, parsing)2012-10-20JohnMillikin
network-house40.0data and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, TFTP (gpl, library, network)2015-09-03NiklasHambuechen
network-protocol-xmpp370.0Client library for the XMPP protocol. (gpl, library, network)2021-12-15StephenWeber
network-stream10.0ByteString and Text streams for networking (data, gpl, library)2011-11-08JaredHance
newsynth340.0Exact and approximate synthesis of quantum circuits (gpl, library, program, quantum)2019-06-28PeterSelinger
nirum60.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-25hongminhee, nirum
nominal190.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-16PeterSelinger
nonlinear-optimization-ad120.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop20.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
normalize110.0Normalize data using a variety of methods. (bioinformatics, gpl, library, program)2018-06-29GregorySchwartz
notmuch130.0Haskell binding to Notmuch, the mail indexer (ffi, gpl, library)2022-07-22frasertweedale, romanofski
number-show30.0Flexible and accurate (for a given precision) numerical->string conversion (gpl, library, text)2017-02-17leftaroundabout
oauth10a50.0Fully Automatic Luxury OAuth 1.0a headers (gpl, library, web)2016-11-16gatlin
obd70.0Communicate to OBD interfaces over ELM327 (gpl, hardware, library, program)2016-10-23hverr
octopus40.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
once150.0memoization for IO actions and functions (data, gpl, library)2018-12-01DmitryBogatov, KAction
oo-prototypes180.0Support for OO-like prototypes (data, gpl, library)2014-08-25DmitryIvanov, MateuszKowalczyk
open-haddock20.0Open haddock HTML documentation (development, gpl, program)2015-10-30jml
oplang30.0Stack-based esoteric programming language (compiler, compilers-interpreters, gpl, language, program)2022-08-12aionescu
org2anki40.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
organize-imports110.0Organize scala imports (development, gpl, program)2016-05-05lcycon
orgstat200.0Statistics visualizer for org-mode (gpl, library, program, unclassified)2021-04-25volhovm
oscpacking50.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-map20.0Efficient “spreadsheet table” like maps with multiple marginals (data, gpl, library)2017-09-29leftaroundabout
pagure150.0Pagure REST client library (gpl, library, network)2022-02-17JensPetersen
pagure-cli150.0Pagure client (gpl, program, utility)2022-02-17JensPetersen
pandoc13642.75Conversion between markup formats (gpl, library, program, text)2022-08-22JohnMacFarlane
pandoc-citeproc-preamble180.0Insert a preamble before pandoc-citeproc's bibliography (gpl, program, text)2020-07-26spwhitton
pandoc-crossref1640.0Pandoc filter for cross-references (gpl, library, program, text)2022-05-21lierdakil
pandoc-japanese-filters40.0Japanese-specific markup filters for pandoc. (gpl, program, text)2016-01-20HiromiIshii
pandoc-plot822.0A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. (gpl, library, program, text)2022-11-01LaurentRDC
pandoc-pyplot (deprecated in favor of pandoc-plot)192.0A Pandoc filter to include figures generated from Python code blocks (deprecated, documentation, gpl, library, program)2019-12-02LaurentRDC
pang-a-lambda20.0A super-pang clone (game, gpl, program)2017-05-24keera_studios_ci
paphragen20.0A passphrase generator. (gpl, program, security)2016-12-30mgmillani
parsek90.0Parallel Parsing Processes (gpl, library, parsing)2020-10-20JeanPhilippeBernardy
passman-cli10.0Deterministic password generator command line interface (gpl, password, program)2017-12-16mat8913
passman-core30.0Deterministic password generator core (gpl, library, password)2018-09-27mat8913
patat652.0Terminal-based presentations using Pandoc (gpl, library, program, text)2022-10-26JasperVanDerJeugt
pava180.0Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-10dschrempf
pdynload130.0pdynload is polymorphic dynamic linking library. (development, gpl, library, other)2010-07-30AndyStewart
peg20.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
persist2er60.0Transforms persist's quasi-quoted syntax into ER format (database, gpl, program)2015-07-18fgaray
phash90.0Haskell bindings to pHash, the open source perceptual hash library (data, gpl, library)2017-03-23MichaelXavier
phizzle40.0Library for checking if a given link is in a phishtank json file (gpl, library, phishing)2015-10-24bmcg
phraskell60.0A fractal viewer. (gpl, graphics, program)2013-02-23DimitriSabadie
pi-calculus70.0Applied pi-calculus interpreter (gpl, program, web)2014-06-17renzyq19
pia-forward30.0Set up port forwarding with the Private Internet Access VPN service. (gpl, network, program)2016-07-31EchoNolan
picedit100.0simple image manipulation functions (gpl, image, library, matrix, picture, program)2017-02-04mdibaiee
pictikz160.0Converts a svg image to tikz code. (gpl, graphics, program)2017-04-09mgmillani
pinboard-notes-backup150.0Back up the notes you've saved to Pinboard (backup, cli, gpl, pinboard, program)2022-12-02bdesham
pixel-printer30.0A program for turning pixel art into 3D prints (gpl, image, library, program)2021-03-23ZacharySarver
pkgtreediff240.0RPM package tree diff tool (gpl, library, program, utility)2022-10-27JensPetersen
place-cursor-at150.0A utility for X11 that moves the mouse cursor using the keyboard (desktop, desktop-environment, gpl, gui, program, utility, x11)2021-03-20unclechu
plailude142.0plaimi's prelude (data, gpl, library)2015-03-13alexander
plot-gtk-ui110.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)70.0A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-17sumitsahrawat
ploterific190.0Basic plotting of tabular data for the command line. (bioinformatics, gpl, library, program)2022-04-14GregorySchwartz
poly-rec50.0Polykinded extensible records (data, gpl, library)2022-07-02jpgarcia
pomodoro40.0pomodoro timer (gpl, office, program)2016-06-05zohl
poppler170.0Binding to the Poppler. (gpl, graphics, library)2018-04-08AndyStewart, IanWooKim
potato-tool40.0Command line Dreamcast VMU filesystem toolset. (gpl, program, system)2015-07-17RossMeikleham
potrace10.0Trace bitmap images to paths using potrace (gpl, graphics, library)2015-06-10cchalmers
potrace-diagrams10.0Potrace bindings for the diagrams library (gpl, graphics, library)2015-06-10cchalmers
pragmatic-show80.0Alternative Show class that gives shorter view if possible. (gpl, library, text)2019-10-13leftaroundabout
prime10.0prime number tools (gpl, library, math)2021-01-18jlamothe
proc110.0Parse process information for Linux (gpl, library, system)2011-05-07AndyStewart
provenience220.0Computations that automatically track data dependencies (algorithm-visualization, gpl, library)2022-09-05olf
puppetresources (deprecated in favor of language-puppet)100.0A program that displays the puppet resources associated to a node given .pp files. (deprecated, gpl, program, system)2013-05-16SimonMarechal
pwstore-cli80.0Command line interface for the pwstore library (console, cryptography, gpl, program)2012-11-12RobertHelgesson
qhull30.0Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-06andrewufrank
quicklz240.0QuickLZ compression for ByteStrings (codec, gpl, library)2012-09-01AustinSeipp
quickterm122.0An interface for describing and executing terminal applications (development, gpl, library, program)2017-01-18sgschlesinger
quickwebapp60.0A quick webapp generator for any file processing tool (gpl, library, web)2015-09-04jtanguy
ral1800.0Random access lists (data, dependent-types, gpl, library, singletons)2022-01-03phadej
ral-lens30.0Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2021-02-28phadej
ral-optics20.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2021-02-28phadej
rando182.0Easy-to-use randomness for livecoding (gpl, library, random)2018-03-31TomMurphy
random-tree160.0Create random trees (data-structures, gpl, library)2016-02-09GregorySchwartz
rank-product210.0Find the rank product of a data set. (bioinformatics, gpl, library, program)2018-09-12GregorySchwartz
rasa120.0A modular text editor (executable, gpl, library, text-editor)2017-03-16ChrisPenner
rasa-example-config70.0Example user config for Rasa (config, gpl, program)2017-02-20ChrisPenner
rasa-ext-cmd60.0Rasa Ext for running commands (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-cursors180.0Rasa Ext adding cursor(s) (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-files100.0Rasa Ext for filesystem actions (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-logger100.0Rasa Ext for logging state/actions (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-slate80.0Rasa extension for rendering to terminal with vty (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-status-bar60.0Rasa Ext for populating status-bar (extension, gpl, library)2017-01-29ChrisPenner
rasa-ext-style60.0Rasa Ext managing rendering styles (extension, gpl, library)2017-01-29ChrisPenner
rasa-ext-views90.0Rasa Ext managing rendering views (extension, gpl, library)2017-03-16ChrisPenner
rasa-ext-vim90.0Rasa Ext for vim bindings (extension, gpl, library)2017-03-16ChrisPenner
reactive-banana-sdl70.0Reactive Banana bindings for SDL (gpl, graphics, library)2014-01-31JeanPhilippeMoresmau
reexport-crypto-random20.0 (gpl, library, miscellaneous)2015-03-22JamesCandy
reflex-libtelnet52.0Reflex bindings for libtelnet (gpl, library, network)2022-05-21jack
reformat40.0The parser and render to parsec and render the string. (gpl, library, text)2017-12-28qinka
regex-rure80.0Bindings to Rust's regex library (agpl, gpl, library, regex, text)2022-01-24vmchale
requirements80.0Abstraction to manage user defined Type Errors (development, gpl, library)2022-07-02jpgarcia
resolv1420.0Domain Name Service (DNS) lookup via the libresolv standard library routines (gpl, library, network)2020-03-27HerbertValerioRiedel, phadej
resolve-trivial-conflicts (deprecated in favor of git-mediate)210.0Remove trivial conflict markers in a git repository (deprecated, development, gpl, program)2016-12-20EyalLotem
restless-git370.0Easy Git repository serialization (git, gpl, library)2018-10-06mbrock
rhbzquery190.0Bugzilla query tool (gpl, program, utils)2021-09-06JensPetersen
rlwe-challenges30.0Ring-LWE/LWR challenges using Lol. (crypto, gpl, library, program)2017-02-24crockeea
robin30.0A build daemon for Haskell development (development, gpl, program)2015-09-10KarlVoelker
roller200.0Playing with applicatives and dice! (acme, gpl, library, program)2016-02-23ljsc, PiotrJustyna
rosa180.0Query the namecoin blockchain (gpl, program, utility)2022-06-12rnhmjoj
rose-trie110.0Trees with polymorphic paths to nodes, combining properties of Rose Trees and Tries. (data, gpl, library)2017-03-27RaminHonary
rpm-nvr160.0RPM package name-version-release data types (distribution, gpl)2022-05-10JensPetersen
rtorrent-state30.0Parsing and manipulation of rtorrent state file contents (data, gpl, library)2014-08-17MateuszKowalczyk
rts-loader (deprecated)70.0Dynamically load Haskell libraries (deprecated, distribution, gpl, library, program)2016-06-23DanielG
rubberband30.0Binding to the C++ audio stretching library Rubber Band (gpl, library, sound)2015-07-13mtolly
runghc90.0runghc replacement for fast repeated runs (console, gpl, program)2014-09-09MikeZuser
satchmo350.0SAT encoding monad (gpl, library, logic)2022-08-30JohannesWaldmann
scalpel-search10.0scalpel scrapers for search engines (gpl, library, web)2020-08-03fffaaa
schedule20.0Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-03infinity0
schema30.0Encoding-independent schemas for Haskell data types. (data, gpl, library)2022-02-21iphydf, TokTokReleaser
scidb-hquery32.0Haskell query for SciDB via shim (client, database, gpl, library, program)2020-03-23mdgabriel
scotty-form40.0Html form validation using `ditto` (gpl, library, mit, web)2022-08-21goolord
scrape-changes60.0Scrape websites for changes (gpl, library, network)2017-02-172chilled
scroll272.0scroll(6), a roguelike game (game, gpl, program)2018-04-22JoeyHess
scubature10.0Multidimensional integration over simplices (gpl, integration, library, numeric)2022-08-06stla
sdl2-compositor140.0image compositing with sdl2 - declarative style (gpl, graphics, library)2017-06-12seppeljordan
secret-santa20.0Secret Santa game assigner using QR-Codes (game, gpl, program)2013-04-11RodrigoSetti
sednaDBXML130.0Sedna C API XML Binding (database, ffi, gpl, library)2011-11-11EricJones
sequence-formats550.0A package with basic parsing utilities for several Bioinformatic data formats. (bioinformatics, gpl, library)2022-03-30stephan_schiffels
sequenceTools200.0A package with tools for processing DNA sequencing data (bioinformatics, gpl, library, program)2022-02-17stephan_schiffels
sessiontypes40.0Session types library (control, gpl, library, program)2018-01-13ferdinandvw
sessiontypes-distributed40.0Session types distributed (control, gpl, library)2018-01-13ferdinandvw
sexp40.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
shake-persist30.0Shake build system on-disk caching (development, gpl, library, program)2016-01-05KAction
sibe160.0Machine Learning algorithms (data-science, gpl, library, machine-learning, program, web)2017-05-25mdibaiee
sieve40.0Sieve is an implementation of the Sieve abstract data type. (data, gpl, library)2013-01-15JohnSingleton
significant-figures20.0Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-13mizlan
simple-eval20.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-ui100.0UI library for terminal. (gpl, graphics, library)2021-06-11piotrborek
simplex90.0A simple markup language that translates to LaTeX (gpl, latex, program)2013-06-16JulianFleischer
simtreelo190.0Load data organized in a tree. (data, gpl, library)2018-10-23mgmillani
skylighting10202.25syntax highlighting library (gpl, library, text)2022-10-28JohnMacFarlane
sleep60.0zZzzZz (gpl, library, program, system)2017-01-15AlanHawkins
slope-field30.0Visualize mathematical function's slope fields (gpl, library, program, web)2016-11-25mdibaiee
slynx490.0Handle molecular sequences (bioinformatics, gpl, library, program)2022-07-11dschrempf
smcdel80.0Symbolic Model Checking for Dynamic Epistemic Logic (formal-methods, gpl, library, logic, program, symbolic-computation)2022-02-22m4lvin
smtlib272.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-debug40.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-pipe30.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-quickcheck30.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-06HenningGuenther
smtlib2-timing10.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-07HenningGuenther
snaplet-coffee80.0CoffeeScript for Snap, auto-compilation and pre-compilation. (gpl, library, snap, web)2013-04-16KevinVanRooijen
snaplet-sedna60.0Snaplet for Sedna Bindings. Essentailly a rip of snaplet-hdbc. (database, gpl, library)2011-11-06EricJones
sneakyterm50.0Tiny, declarative wrapper around ncurses (gpl, library, user-interfaces)2015-08-10pimiddy
snm40.0The Simple Nice-Looking Manual Generator. (documentation, gpl, library, program)2010-07-27JohnnyMorrice
snorkels10.0Strategic board game of medium complexity (game, gpl, library, program)2016-09-13unaizalakain
snowglobe100.0randomized fractal snowflakes demo (demo, gpl, program)2016-06-18ClaudeHeilandAllen
sortee20.0Generate string for sort key (gpl, library, sorting)2019-07-09b123400
spacecookie142.0Gopher server library and daemon (gpl, library, network, program)2022-10-03sternenseemann
spade70.0A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2022-10-16sras
sparql-protocol20.0An SPARQL 1.1 Protocol client library. (database, gpl, library)2018-01-26ardamose123
sparse-linear-algebra382.0Numerical computing in native Haskell (gpl, library, numeric)2018-04-05ocramz
spatial-rotations30.0Rotate about any suitable axis (gpl, library, math)2022-04-15leftaroundabout
spectral-clustering100.0Library for spectral clustering. (gpl, library, math)2020-05-04GregorySchwartz
spoonutil30.0Spoon's utilities. Simple testing and nice looking error reporting. (gpl, library, program, testing)2010-07-27JohnnyMorrice
sscan10.0text UI for scanning with SANE (gpl, graphics, program)2020-01-28spwhitton
stack2cabal301.75Convert stack projects to cabal.project + cabal.project.freeze (building, gpl, library, program)2022-09-13maerwald, tseenshe
stackage-to-hackage42.0Convert stack.yaml to cabal.project + cabal.project.freeze (building, gpl, library, program)2019-07-30tseenshe
stackcollapse-ghc92.0Program to fold GHC prof files into flamegraph input (gpl, profiling, program)2021-05-10rzeznik
static00.0Type-safe and interoperable static values and closures (closure, control, gpl, library, static)2020-05-29infinity0
staticanalysis30.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
stats40.0command line statistics (gpl, math, program)2013-12-05cheecheeo
stdf40.0Parse Structured Test Data Format (STDF) (data, gpl, library, program)2014-10-13m
stochastic40.0Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-27chokboy
stylist-traits170.0Traits, datatypes, & parsers for Haskell Stylist (gpl, library, web)2022-11-03alcinnz
subleq-toolchain40.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
submark90.0Extract a part from CommonMark/Markdown docs (gpl, library, program, text)2022-03-15hongminhee
subsample40.0Subsample data. (bioinformatics, gpl, library, program)2018-05-16GregorySchwartz
subzero250.0Helps when going "seed values" -> alternatives and optional -> answers (data-structures, gpl, library)2017-12-10codeshot
suffixarray70.0n log n implementation of suffix array. (data, gpl, library, program)2012-06-17DanielDeKok, VictorDenisov
svgsym30.0A tool to prune unused symbols from icon SVG files. (gpl, program, utility)2022-05-07RobertHelgesson
svm50.0A support vector machine written in Haskell (ai, gpl, library)2010-12-17AndrewDougherty
symantic60.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-12julm
symantic-atom10.0Library for reading and writing Atom. (gpl, library, text, xml)2020-08-17julm
symantic-cli20.0Symantics for parsing and documenting a CLI (cli, gpl, library, options, parsing, system)2019-10-28julm
symantic-grammar60.0Library for symantic grammars. (gpl, language, library)2019-06-17julm
symantic-http00.0Symantic combinators for deriving clients or a server from an HTTP API (gpl, library, protocol)2019-04-12julm
symantic-http-client10.0symantic-http applied to the derivation of HTTP clients (gpl, library, protocol)2019-04-12julm
symantic-http-demo00.0Demo for symantic-http and its companion libraries (gpl, library, program, protocol)2019-03-25julm
symantic-http-pipes00.0Streaming support through pipes for symantic-http (gpl, library, protocol)2019-03-25julm
symantic-http-server00.0symantic-http applied to the derivation of HTTP servers (gpl, library, protocol)2019-04-12julm
symantic-http-test00.0Test symantic-http and its companion libraries (gpl, protocol)2019-04-12julm
symantic-lib50.0Symantics for common types. (gpl, language, library)2019-06-17julm
symantic-xml10.0Library for reading, validating and writing XML. (gpl, library, text, xml)2020-08-17julm
symon42.0Minimal implementation(s) of the classic electronic memory game. (development, gpl, program)2016-08-31SimonMichael
synthesizer-alsa160.0Control synthesizer effects via ALSA/MIDI (gpl, library, music, sound)2021-10-16HenningThielemann
synthesizer-llvm180.0Efficient signal processing using runtime compilation (gpl, library, music, sound)2020-03-22HenningThielemann
talash50.0Line oriented fast enough text search (gpl, library, program, search, tui)2022-09-25rahguzar
telegram10.0Telegram API client (gpl, library, network)2015-07-21sgillis
tellbot260.0IRC tellbot (gpl, network, program)2016-05-25DimitriSabadie
template-toolkit51.5Template Toolkit implementation for Haskell (gpl, library, text)2018-12-03kobargh
templateify70.0Make template from website (gpl, program, web)2017-01-15AlanHawkins
tensor100.0A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-19NicolaSquartini
termcolor30.0Composable terminal colors (gpl, library, program, web)2017-03-30mdibaiee
tersmu60.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
tex-join-bib10.0Compile separate tex files with the same bibliography. (bioinformatics, gpl, library, program)2020-03-12GregorySchwartz
tex2txt60.0LaTeX to plain-text conversion (gpl, library, program, text)2015-03-24vdaudaravicius
texbuilder120.0View your latex output while editing (gpl, latex, program)2018-04-15xaverdh
texmath10852.0Conversion between math formats. (gpl, library, text)2022-10-08JohnMacFarlane
text-containers40.0Memory-efficient string-indexed container types. (data, data-structures, gpl, library)2017-10-13HerbertValerioRiedel
text-icu-normalized60.0Dealing with Strict Text in NFC normalization. (data, gpl, library, text)2017-04-30misandrist
tictactoe3d40.03D Tic-Tac-Toe game (game, gpl, library)2015-08-12ryo0ka
tidal2742.5Pattern language for improvised music (gpl, library, program, sound)2022-09-16AlexMcLean, kindohm, lennart
tidal-link1040.0Ableton Link integration for Tidal (gpl, library, program, sound)2022-09-16AlexMcLean
tidal-midi (deprecated)160.0Please ignore this package. (deprecated, gpl, library, sound)2018-04-14AlexMcLean, kindohm, lennart
tidal-serial10.0Serial support for tidal (gpl, library, sound)2016-05-13AlexMcLean, kindohm, lennart
tidal-vis200.0Visual rendering for Tidal patterns and osc messages (gpl, library, program, sound)2019-08-29AlexMcLean
time-io-access60.0IO Access for time (development, gpl, library)2013-12-31bheklilr
time-quote20.0Quasi-quoters for dates and times (gpl, library, time)2018-05-27ThomasTuegel
time-series10.0Time series analysis. (data, gpl, library, program)2013-11-08AtsuroHoshino
timeconsole140.0time each line of terminal output (gpl, program, testing)2019-03-15AlanHawkins
timeutils12.0Time utilities (gpl, library, program, time)2019-08-06jlamothe
timezone-detect60.0Haskell bindings for the zone-detect C library; plus tz-aware utils. (data, foreign, gpl, library, time)2021-03-14lfborjas
titan40.0Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs (gpl, program, testing)2020-01-22keera_studios_ci
titan-debug-yampa30.0Testing Infrastructure for Temporal AbstractioNs - Interactive Yampa debugging layer. (gpl, library, testing)2020-01-21keera_studios_ci
titan-record-yampa20.0Testing Infrastructure for Temporal AbstractioNs - Yampa record-and-replay layer (gpl, library, testing)2020-01-21keera_studios_ci
tlynx510.0Handle phylogenetic trees (bioinformatics, gpl, library, program)2022-07-11dschrempf
tmpl10.0simple executable for templating (data, gpl, program)2014-09-25michelk
token-bucket230.0Rate limiter using lazy bucket algorithm (concurrency, gpl, library)2014-12-06HerbertValerioRiedel
tokenizer-monad100.0An efficient and easy-to-use tokenizer monad. (gpl, library, text)2019-01-22implementation
tokenizer-streaming10.0A variant of tokenizer-monad that supports streaming. (gpl, library, text)2019-01-22implementation
tokstyle110.0TokTok C code style checker (development, gpl, library, program)2021-12-25iphydf
too-many-cells590.0Cluster single cells and analyze cell clade relationships. (bioinformatics, gpl, library, program)2022-10-06GregorySchwartz
tophat150.0Template-to-Haskell preprocessor, and templating language (gpl, library, program, web)2021-12-25jcranch
toxcore60.0A Tox protocol implementation in Haskell (gpl, library, network)2020-04-08iphydf
toxcore-c00.0Haskell bindings to the C reference implementation of Tox (gpl, library, network, program)2020-03-27iphydf
tpb40.0Applications for interacting with the Pushbullet API (gpl, program, web)2017-08-01tsani
tpdb520.0Data Type for Rewriting Systems (gpl, library, logic, program)2022-02-21JohannesWaldmann
tptp00.0Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-11EK
transformations30.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
tree-diff3302.25Diffing of (expression) trees. (data, gpl, library, testing)2022-08-21phadej
tree-fun100.0Library for functions pertaining to tree exploration and manipulation (data-structure, gpl, library)2016-02-09GregorySchwartz
treemap60.0A tree of Data.Map. (data-structures, gpl, library)2018-02-14julm
treeseq20.0Library for a multi-way tree (rose tree), using Seq (finger tree) for forests (data-structures, gpl, library)2018-02-14julm
tremulous-query90.0Library for polling Tremulous servers (gpl, library, network)2013-03-08ChristofferOjeling
trivial-constraint230.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
tropical-geometry50.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-13ferynando7
tubes170.0Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-16gatlin
tuple-sop160.0functions on n-ary tuples using generics-sop (data, gpl, library)2018-06-24ferdinandvw
turingMachine40.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
type-safe-avl20.0Type safe BST and AVL trees (data, gpl, library)2022-05-31nico
typography-geometry130.0Drawings for printed text documents (gpl, library, typography)2019-08-25JeanPhilippeBernardy, PierreEtienneMeunier
uhttpc20.0Minimal HTTP client library optimized for benchmarking (gpl, library, network, program)2019-05-29HerbertValerioRiedel
uniform-algebras70.0Pointless functions and a simplistic zero and monoid (algebra-uniform, gpl, library)2022-07-23andrewufrank
uniform-error30.0Handling errors in the uniform framework (error-exception-uniform, gpl, library)2022-07-28andrewufrank
uniform-fileio60.0Uniform file handling operations (data-text-uniform, gpl, library)2022-07-23andrewufrank
uniform-strings90.0Manipulate and convert strings of characters uniformly and consistently (data-text-uniform, gpl, library)2022-07-23andrewufrank
uniform-time40.0Time in the uniform framework (gpl, library, time-uniform)2022-07-23andrewufrank
uniformBase30.0A uniform base to build apps on (gpl, library, programming-uniform)2022-07-23andrewufrank
unmed2 (deprecated in favor of med-module)10.0Extract useful information from Amiga MED files (deprecated, gpl, program, sound)2017-07-01HenningThielemann
uxadt40.0Cross-language extensible representation for algebraic data type instances. (data, gpl, library)2014-07-22AndreiLapets
uzbl-with-source20.0Utility function for reading a source of loaded uzbl pages. (gpl, library, uzbl, web)2014-05-12MateuszKowalczyk
vabal92.25the cabal companion (development, distribution, gpl, program)2019-01-10Franciman
vampire90.0Analyze and visualize expression trees. (development, gpl, library, program)2014-06-29benzrf
vector-clock80.0Vector clocks for versioning message flows (data, data-structures, distributed-computing, gpl, library)2013-06-23AlexandruScvortov, hansonkd
venzone112.25ASCII platform-adventure game (game, gpl, program)2021-11-18fffaaa
verismith60.0Random verilog generation and simulator testing. (gpl, hardware, library, program)2020-03-06ymherklotz
vision90.0An XMMS2 client. (gpl, program, sound)2011-07-13OlegBelozeorov
vitrea20.0Profunctor optics via the profunctor representation theorem. (gpl, lenses, library)2020-03-30mroman42
vty-menu30.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)70.0DEPCRECATED (use package "simple" instead) A minimalist web framework for WAI web applications (deprecated, gpl, library, web)2012-10-30AmitLevy
wai-middleware-preprocessor30.0WAI middleware for preprocessing static files (gpl, library, web)2015-02-27taktoa
weatherhs10.0Weather and related data info command-line tool (application, command-line-tool, gpl, program)2022-09-01NH000
webdriver-w3c110.0Bindings to the WebDriver API (gpl, library, program, testing, web, webdriver)2022-06-29nbloomf
webp62.0JuicyPixels support for WebP format (codec, compression, gpl, image, library)2021-06-18vmchale
windns490.0Domain Name Service (DNS) lookup via the <windns.h>/dnsapi.dll standard library (gpl, library, network)2018-10-27HerbertValerioRiedel, phadej
withdependencies170.0Run computations that depend on one or more elements in a stream. (control, gpl, library)2020-02-04SimonMarechal
word-trie160.0Implementation of a finite trie over words. (data, gpl, library)2015-05-10DmitryIvanov, MateuszKowalczyk
workflow-osx60.0a "Desktop Workflow" monad with Objective-C bindings (accessibility, apple, automation, bindings, desktop, ffi-, gpl, library, program)2015-10-11sboo
wraxml110.0Lazy wrapper to HaXML, HXT, TagSoup via custom XML tree structure (gpl, library, xml)2021-03-16HenningThielemann
wsdl40.0WSDL parsing in Haskell (gpl, library, xml)2016-01-25pikajude
wsedit10.0A small tool to list, add and remove webseeds from a torrent file (gpl, network, program)2012-05-22LinusLuessing
x-dsp (deprecated)30.0A embedded DSL for manipulating DSP languages in Haskell (deprecated, gpl, library, music, sound)2012-06-17JohnLato
xchat-plugin40.0XChat (gpl, irc-client, library, program)2012-04-15CedricAuger
xcp20.0Partial implementation of the XCP protocol with ethernet as transport layer. (gpl, library, network)2015-06-26ChristianGosch
xfconf10.0FFI bindings to xfconf (gpl, library, system, xfce)2011-04-15JohnObbele
xml-prettify-text50.0XML pretty printer (efficient-xml-pretty-printer, gpl, library, program)2022-01-31MrcJkb
xmonad-contrib-gpl10.0Third party extensions for xmonad (gpl, library, system)2014-05-30DmitryBogatov
xor270.0Efficient XOR masking (codec, data, gpl, library)2022-02-16AndreasAbel, HerbertValerioRiedel
yajl110.0Bindings for YAJL, an event-based JSON implementation (codec, foreign, gpl, library)2014-02-15JohnMillikin
yajl-enumerator (deprecated)100.0Enumerator-based interface to YAJL, an event-based JSON implementation (deprecated, enumerator, gpl, json, library, parsing, text)2012-10-28JohnMillikin
yampa-glfw50.0Connects GLFW-b (GLFW 3+) with the Yampa FRP library (gpl, graphics, library, program)2014-06-08_deepfire
yampa-glut30.0Connects Yampa and GLUT (frp, gpl, graphics, library)2015-06-25NikolayOrlyuk
yeamer130.0Yesod-based server for interactive presentation slides (gpl, graphics, keynote, library, presentation, program)2021-09-17leftaroundabout
yesod-markdown700.0Tools for using markdown in a yesod application (gpl, library, web, yesod)2022-04-05AlexanderDunlap, PatrickBrisbin
yi652.25Yi editor (gpl, program, yi)2020-11-20CoreyOConnor, DmitryIvanov, JeanPhilippeBernardy, JeffWheeler, MarcelFourne, MateuszKowalczyk, TomMurphy, JaroReinders
yi-contrib (deprecated in favor of yi-fuzzy-open, yi-snippet)160.0Add-ons to Yi, the Haskell-Scriptable Editor (deprecated, development, editor, gpl, library)2014-10-14CoreyOConnor, DmitryIvanov, JeffWheeler, MateuszKowalczyk
yi-core300.0Yi editor core library (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-dynamic-configuration130.0Dynamic configuration support for Yi (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-emacs-colours60.0Simple mapping from colour names used in emacs to Color (gpl, library, yi)2014-11-03MateuszKowalczyk
yi-frontend-pango210.0Pango frontend for Yi editor (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-frontend-vty250.0Vty frontend for Yi editor (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-fuzzy-open402.0Fuzzy open plugin for yi (gpl, library, yi)2020-11-20DmitryIvanov, MateuszKowalczyk, TomMurphy, JaroReinders
yi-ireader220.0Yi editor incremental reader (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-keymap-cua260.0Cua keymap for Yi editor (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-keymap-emacs240.0Emacs keymap for Yi editor (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-keymap-vim282.0Vim keymap for Yi editor (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-language490.0Collection of language-related Yi libraries. (gpl, library, yi)2020-11-19DmitryIvanov, JaredHance, MateuszKowalczyk, TomMurphy, JaroReinders
yi-misc-modes310.0Yi editor miscellaneous modes (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-mode-haskell220.0Yi editor haskell mode (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-mode-javascript260.0Yi editor javascript mode (gpl, library, yi)2020-11-20DmitryIvanov, TomMurphy, JaroReinders
yi-rope382.25A rope data structure used by Yi (gpl, library, yi)2018-06-06DmitryIvanov, MateuszKowalczyk, JaroReinders
yi-snippet300.0Snippet support for yi (gpl, library, yi)2020-11-20DmitryIvanov, MateuszKowalczyk, TomMurphy, JaroReinders
yiyd00.0 (cli, gpl, program)2019-04-07vonfry
yst400.0Builds a static website from templates and data in YAML or CSV files. (gpl, program, text)2022-07-16JohnMacFarlane
yu-auth30.0Auth module for Yu. (gpl, library, web)2018-02-24qinka
yu-core40.0The core of Yu. (gpl, library, web)2018-02-24qinka
yu-launch72.0The launcher for Yu. (gpl, program, web)2018-02-24qinka
yu-tool50.0Tool for Yu (gpl, program, web)2018-02-24qinka
yu-utils70.0Utils for Yu (gpl, library, web)2018-02-24qinka
yxdb-utils20.0Utilities for reading and writing Alteryx .yxdb files (database, gpl, library, program)2015-05-10MichaelBurge
zim-parser160.0Read and parse ZIM files (codec, gpl, library)2016-10-27robbinch
zinza330.0Typed templates with jinja like syntax (gpl, library, template, text)2019-12-22phadej
zydiskell22.0Haskell language binding for the Zydis library, a x86/x86-64 disassembler. (disassembler, gpl, library, parsing, system)2020-11-22nerded