Packages tagged gpl

945 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (758), program (429), data (73), bioinformatics (68), math (66), network (62), language (56), text (56), web (55), development (46), deprecated (45), graphics (45), system (33), sound (32), game (22), testing (19), yi (18), manatee (17), control (16), music (15), codec (14), distribution (14), utility (14), parsing (13), data-structures (11), unclassified (10), compilers-interpreters (9), console (9), database (9), extension (9), ide (9), utils (9), algorithms (8), application (8), finance (8), statistics (8), ai (7), concurrency (7), crypto (7), dependent-types (7), formal-methods (7), logic (7), protocol (7), theorem-provers (7), desktop (6), ffi (6), foreign (6), smt (6), building (5), cli (5), desktop-environment (5), json (5), networking (5), numeric (5), pup-events (5), symbolic-computation (5), xml (5), algebra (4), bindings (4), compiler (4), demo (4), documentation (4), geometry (4), image (4), natural-language-processing (4), operating-system (4), politic (4), prelude (4), singletons (4), time (4), browser (3), compression (3), configuration (3), editor (3), formal-languages (3), generics (3), maths (3), optimisation (3), optimization (3), user-interfaces (3), accessibility (2), acme (2), automation (2), aws (2), chemistry (2), command-line-tool (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), hardware (2), image-viewer (2), integration (2), interpreter (2), irc-client (2), latex (2), lens (2), linguistics (2), machine-learning (2), mptcp (2), multimedia (2), numerical (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), classification (1), client (1), closure (1), clustering (1), code-generation (1), combinatorics (1), conduit (1), config (1), conversion (1), culinary (1), data-science (1), data-structure (1), datamining (1), debug (1), delay (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), foreign-binding (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
AlignmentAlgorithms230.01Collection of alignment algorithms (algorithms, bioinformatics, data-structures, gpl, library, linguistics)2017-03-140.1.0.0ChristianHoener
AspectAG660.05First-class Attribute Grammars implemented using type-level programming. (aspect-oriented-programming, gpl, language, library)2024-11-080.8.0.0MarcosViera, jpgarcia
BNFC-meta920.01Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-090.6.1JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BPS80.00Translations of classic Truth Maintenance Systems (gpl, library, program, truth-maintenance)2022-09-130.1.1.0jpmrst
Baggins40.01Tools for self-assembly (gpl, library, math)2014-06-121.0pmeunier
BenchmarkHistory70.01Benchmark functions with history (benchmarking, gpl, library)2015-11-190.0.0.2ChristianHoener
BioHMM460.01Libary for Hidden Markov Models in HMMER3 format. (bioinformatics, gpl, library)2017-06-091.2.0FlorianEggenhofer
Biobase280.06Base library for bioinformatics (bioinformatics, gpl, library)2011-04-080.3.1.1ChristianHoener
BiobaseBlast170.04BLAST-related tools (bioinformatics, gpl, library)2021-06-050.3.3.0ChristianHoener, FlorianEggenhofer
BiobaseDotP50.02Vienna / DotBracket / ExtSS parsers (bioinformatics, gpl, library)2011-08-220.1.0.0ChristianHoener
BiobaseEnsembl190.01Ensembl related datastructures and functions (bioinformatics, gpl, library)2020-01-090.2.0.1FlorianEggenhofer
BiobaseFR3D160.02Importer for FR3D resources (bioinformatics, gpl, library)2012-02-160.2.3.0ChristianHoener
BiobaseHTTP100.01Libary to interface with the Bioinformatics HTTP services - Entrez Ensembl (bioinformatics, gpl, library)2019-11-201.2.0FlorianEggenhofer
BiobaseHTTPTools80.00Tools to query Bioinformatics HTTP services e.g. Entrez, Ensembl. (bioinformatics, gpl, program)2018-12-131.0.0FlorianEggenhofer
BiobaseInfernal390.03Infernal data structures and tools (bioinformatics, gpl, library, program)2017-03-140.8.1.0ChristianHoener
BiobaseMAF60.01Multiple Alignment Format (bioinformatics, gpl, library)2011-07-290.5.0.0ChristianHoener
BiobaseTrainingData130.02RNA folding training data (bioinformatics, gpl, library, program)2011-09-290.1.2.3ChristianHoener
BiobaseTurner550.04Import Turner RNA parameters (bioinformatics, gpl, library)2013-04-250.3.1.1ChristianHoener
BiobaseVienna470.03Import Vienna energy parameters (bioinformatics, gpl, library)2013-04-220.3.0.0ChristianHoener
BlastHTTP250.02Libary to interface with the NCBI blast REST interface (bioinformatics, gpl, library)2021-06-051.4.2FlorianEggenhofer
BlogLiterately1730.02A tool for posting Haskelly articles to blogs (gpl, library, program, web)2023-02-080.8.8.2BrentYorgey, RobertGreayer
CMCompare110.01Infernal covariance model comparison (bioinformatics, gpl, library, program)2012-11-220.0.1.5ChristianHoener
ClustalParser590.03Libary for parsing Clustal tools output (bioinformatics, gpl, library, program)2019-11-141.3.0FlorianEggenhofer
ConcurrentUtils330.02Concurrent utilities (concurrency, gpl, library)2020-05-040.5.0.0JamesCandy
DAV2030.01RFC 4918 WebDAV support (gpl, library, program, web)2020-01-061.3.4ClintAdams
DMuCheck110.01Distributed Mutation Analysis framework for MuCheck (gpl, program, testing)2015-01-060.3.0.2RahulGopinath
Dao70.01Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-210.1.0.2RaminHonary
DiscussionSupportSystem100.01Discussion support system (gpl, library, system)2014-06-010.11.0.3minamiyama1994
DnaProteinAlignment60.01Frameshift-aware alignment of protein sequences with DNA sequences (bioinformatics, gpl, library, program)2013-12-180.0.0.1ChristianHoener
EntrezHTTP (deprecated in favor of BiobaseHTTP)210.01Libary to interface with the NCBI Entrez REST service. (bioinformatics, deprecated, gpl, library)2017-08-101.0.4FlorianEggenhofer
FComp70.01Compose music (gpl, library, music, program)2014-09-251.0.2JosePedroMagalhaes
FModExRaw (deprecated)160.01The Haskell FModEx raw API. (deprecated, gpl, library, sound)2013-12-290.2.0.0DimitriSabadie
FiniteCategories410.01Finite categories and usual categorical constructions on them. (data, gpl, library, maths)2024-05-310.6.5.1gsabbagh
FiniteCategoriesGraphViz70.00Transform objects of the package FiniteCategories into graphs using GraphViz. (data, gpl, library, maths)2023-10-100.2.0.0gsabbagh
Flint2190.01Haskell bindings for the flint library for number theory (gpl, library, math)2023-11-170.1.0.5monien
Flint2-Examples90.00Examples for the Flint2 library (gpl, math, program)2023-11-170.1.0.2monien
FormalGrammars280.09(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library)2019-10-020.4.0.0ChristianHoener
GLMatrix70.01Utilities for working with OpenGL matrices (gpl, graphics, library)2014-03-150.1.0.1fiendfan1
Gene-CluEDO60.00Hox gene clustering (bioinformatics, gpl, library, program)2017-09-110.0.0.2ChristianHoener
GenussFold100.00MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-160.0.0.2ChristianHoener
GoogleSuggest140.02Interface to Google Suggest API (browser, gpl, library)2010-10-010.0.4AndyStewart
GoogleTranslate180.02Interface to Google Translate API (gpl, language, library)2010-10-010.0.5AndyStewart
GrammarProducts310.04Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)2019-10-020.2.0.0ChristianHoener
Graph50070.02Graph500 benchmark-related definitions and data set generator. (concurrency, gpl, library, program)2013-11-050.4.0
GraphHammer40.01GraphHammer Haskell graph analyses framework inspired by STINGER. (concurrency, gpl, library)2013-11-050.3
GraphHammer-examples60.01Test harness for TriangleCount analysis. (concurrency, gpl, library, program)2013-11-050.3
HFrequencyQueue80.01A Queue with a random (weighted) pick function (data, gpl, library)2015-08-280.2.0.0Bellaz
HOpenCV390.02A binding for the OpenCV computer vision library (ai, gpl, graphics, library, program)2015-08-080.4.0.1NoamLewis
HaMinitel50.01An Haskell library to drive the french Minitel through a serial port (gpl, library, terminal)2014-07-120.1.0.0zigazou
Haggressive80.01Aggression analysis for Tweets on Twitter (gpl, library, web)2014-12-010.1.0.4Pold87
HarmTrace330.01Harmony Analysis and Retrieval of Music (gpl, music, program)2017-08-072.2.1BasDeHaas, JosePedroMagalhaes
HasCacBDD200.02Haskell bindings for CacBDD (data, gpl, library)2023-11-230.2.0.0m4lvin
HasGP30.01A Haskell library for inference using Gaussian processes (ai, classification, datamining, gpl, library, statistics)2011-10-260.1SeanHolden
HaskRel80.01HaskRel, Haskell as a DBMS with support for the relational algebra (database, gpl, library)2015-11-250.1.0.2thormick
HsYAML2671.516Pure Haskell YAML 1.2 processor (gpl, library, text)2024-04-250.2.1.4AndreasAbel, HerbertValerioRiedel, sjakobi
HsYAML-aeson1322.257JSON to YAML Adapter (codec, gpl, json, library, text, web, yaml)2021-11-070.2.0.1AndreasAbel, HerbertValerioRiedel, sjakobi
Hungarian-Munkres280.01A Linear Sum Assignment Problem (LSAP) solver (algorithms, gpl, library)2014-10-080.1.5kaizhang
I1M350.00Code for the Haskell course taught at the University of Seville. (data-structures, education, gpl, library)2024-10-090.2.2Jose_A_Alonso
ImperativeHaskell302.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
Irc60.01DSL for IRC bots (gpl, library, network)2015-01-210.1.0.2yunxing
JackMiniMix (deprecated in favor of jackminimix)70.01control JackMiniMix (deprecated, gpl, library, sound)2010-08-220.1RenickBell
LDAPv3160.00Lightweight Directory Access Protocol (LDAP) version 3 (gpl, library, network)2023-09-220.1.2.0HerbertValerioRiedel
LazyVault (deprecated)70.01A simple sandboxing tool for Haskell packages. (deprecated, development, gpl, program)2013-02-06KevinVanRooijen
Level070.01A Snake II clone written using SDL. (game, gpl, program)2012-04-291.0MikeLedger
Liquorice40.00Algorithmic Doom map generation (game, gpl, library)2020-03-060.0.1jmtd
MBot412.51Haskell interface for controlling the mBot educational robot (educational, gpl, library)2018-07-230.2.4.1cfscholl
MC-Fold-DP120.01Folding algorithm based on nucleotide cyclic motifs. (bioinformatics, gpl, library, program)2012-11-120.1.1.0ChristianHoener
MIP-glpk50.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
Modulo170.01Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-080.2.0.1NikolayMurzin
Mondrian50.00Renders backgrounds & borders (gpl, graphics, library, program)2023-07-160.1.0.0alcinnz
MorseCode210.02Morse code (gpl, library, text)2010-10-140.0.5AndyStewart
MuCheck230.05Automated Mutation Testing (gpl, library, testing)2015-01-060.3.0.4RahulGopinath
MuCheck-HUnit130.01Automated Mutation Testing for HUnit tests (gpl, library, program, testing)2015-01-060.3.0.4RahulGopinath
MuCheck-Hspec110.01Automated Mutation Testing for Hspec tests (gpl, library, program, testing)2015-01-060.3.0.4RahulGopinath
MuCheck-QuickCheck160.01Automated Mutation Testing for QuickCheck tests (gpl, library, program, testing)2015-01-060.3.0.4RahulGopinath
MuCheck-SmallCheck140.01Automated Mutation Testing for SmallCheck tests (gpl, library, program, testing)2015-01-060.3.0.4RahulGopinath
MusicBrainz720.01interface to MusicBrainz XML2 and JSON web services (gpl, library, network)2018-10-060.4.1ClintAdams
MutationOrder120.00Most likely order of mutation events in RNA (bioinformatics, gpl, library, program)2017-10-240.0.1.0ChristianHoener
NameGenerator190.01A name generator written in Haskell (gpl, library, text)2018-09-010.0.2
NestedSampling150.01A port of John Skilling's nested sampling C code to Haskell. (gpl, library, statistics)2011-09-220.1.4IssacTrotts
NumberTheory90.01A library for number theoretic computations, written in Haskell. (gpl, library, math)2016-02-170.1.0.1cfredric
Nussinov78190.01Nussinov78 using the ADPfusion library. (bioinformatics, gpl, library, program)2012-11-070.1.0.0ChristianHoener
PDBtools140.01A library for analysis of 3-D protein coordinates (bioinformatics, gpl, library)2012-06-030.0.3GrantRotskoff
Parry60.01A proven synchronization server for high performance computing. (gpl, library, parry)2014-04-010.1.0.0pmeunier
ParsecTools110.011Parsec combinators for more complex objects. (gpl, library, parsing)2010-09-220.0.2.0ChristianHoener
PastePipe320.01CLI for pasting to lpaste.net (gpl, library, program, utils)2015-04-251.8MateuszKowalczyk, RoganCreswick
Phsu140.01Personal Happstack Server Utils (gpl, program, web)2015-08-050.1.0.3utkarshl
Plural150.01Pluralize English words (gpl, language, library)2009-08-050.0.2AndyStewart
PortFusion380.01high-performance distributed reverse / forward proxy & tunneling for TCP (gpl, network, program, system)2012-08-191.2.1CetinSert
Pup-Events50.01A networked event handling framework for hooking into other programs. (gpl, library, networking, program, pup-events)2012-07-151.0DanielWilson
Pup-Events-Client130.02A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-161.1.4DanielWilson
Pup-Events-Demo130.01A networked event handling framework for hooking into other programs. (demo, gpl, networking, program, pup-events)2012-08-151.3DanielWilson
Pup-Events-PQueue90.04A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-07-151.0DanielWilson
Pup-Events-Server200.02A networked event handling framework for hooking into other programs. (gpl, library, networking, pup-events)2012-08-151.2DanielWilson
QuickCheckVariant280.01Valid and Invalid generator (gpl, library, testing)2021-10-221.0.1.0sanjorgek
QuickPlot60.01Quick and easy data visualization with Haskell (gpl, graphics, library)2016-02-150.1.0.1tepf
RNAFold290.02RNA secondary structure prediction (bioinformatics, gpl, library, program)2013-12-061.99.3.4ChristianHoener
RNAFoldProgs90.01RNA secondary structure folding (bioinformatics, gpl, program)2010-09-230.0.0.3ChristianHoener
RNAdesign280.01Multi-target RNA sequence design (bioinformatics, gpl, library, program)2014-02-130.1.2.2ChristianHoener
RNAdraw90.01Draw RNA secondary structures (bioinformatics, gpl, library, program)2014-02-030.2.0.1ChristianHoener
RNAlien692.00Unsupervized construction of RNA family models (bioinformatics, gpl, library, program)2019-08-291.7.0FlorianEggenhofer
RNAwolf210.01RNA folding with non-canonical basepairs and base-triplets. (bioinformatics, gpl, library, program)2011-09-290.4.0.0ChristianHoener
Referees60.01A utility for computing distributions of material to review among reviewers. (gpl, library, program, utils)2014-11-110.0.0PabloCouto
RollingDirectory70.01Limits the size of a directory's contents (file-manager, gpl, program, tools)2012-01-170.1FalcoHirschenberger
S350.00Library for accessing S3 compatible storage services (gpl, library, network)2019-08-180.1.0.0HerbertValerioRiedel
ScratchFs120.01Size limited temp filesystem based on fuse (gpl, program, system)2012-11-130.1.0.2FalcoHirschenberger
SelectSequencesFromMSA100.00Selects a representative subset of sequences from multiple sequence alignment. (bioinformatics, gpl, library, program)2018-03-121.0.5FlorianEggenhofer
ShellCheck2502.04Shell script analysis tool (gpl, library, program, static-analysis)2024-03-080.10.0koala_man, vidarhol
Shpadoinkle-isreal80.00Isreal Swan will make a snowman for you! (gpl, library, web)2021-06-020.0.0.2fresheyeball
SimpleTableGenerator82.01Simple table generator (gpl, library, text)2017-02-220.2.0.0klntsky
Sonnex170.01Sonnex is an alternative to Soundex for french language (gpl, library, natural-language-processing, text)2014-12-010.1.0.3zigazou
StatisticalMethods130.02Collection of useful statistical methods. (gpl, library, statistics)2011-08-220.0.0.1ChristianHoener
StockholmAlignment252.02Libary for Stockholm aligmnent format (bioinformatics, gpl, library)2019-12-171.3.0FlorianEggenhofer
Taxonomy260.03Libary for parsing, processing and vizualization of taxonomy data (bioinformatics, gpl, library)2021-05-302.2.0FlorianEggenhofer
TaxonomyTools70.01Tool for parsing, processing, comparing and visualizing taxonomy data (bioinformatics, gpl, program)2017-01-261.0.1FlorianEggenhofer
TeX-my-math220.02Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. (gpl, library, math, program)2023-04-260.203.0.0leftaroundabout
ThreadObjects70.01Mutable objects that reside in their own threads. (concurrency, gpl, library)2012-08-100.0TimothyHobbs
TigerHash120.01TigerHash with C implementation (cryptography, gpl, library)2010-04-160.2NikolayOrlyuk
Titim170.01Game for Lounge Marmelade (game, gpl, program)2015-03-250.2.3Jefffrey
TypingTester220.01Command Line Typing speed tester (game, gpl, program)2014-08-180.2.0.0AlanHawkins
ViennaRNAParser830.03Libary for parsing ViennaRNA package output (bioinformatics, gpl, library)2017-10-181.3.3FlorianEggenhofer
WordAlignment90.00Bigram word pair alignments. (gpl, library, linguistics, program)2017-03-140.2.0.0ChristianHoener
XMLParser422.251A library to parse xml (gpl, library, xml)2019-05-220.1.0.8AlanHawkins
acme-cutegirl152.01Maybe gives you a cute girl (acme, gpl, library, program)2014-01-270.2.0.0MateuszKowalczyk
adaptive-cubature120.00Multidimensional integration (gpl, library, numerical)2023-09-150.1.1.0stla
adblock2privoxy872.01Convert adblock config files to privoxy format (gpl, program, web)2024-02-152.3.0zubr, essandess
adtrees60.00Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-230.1.0.0umazalakain
aeson-dependent-sum60.00JSON encoding/decoding for dependent-sum (data, dependent-types, gpl, json, library)2022-08-270.1.0.1jack
ajhc252.01Haskell compiler that produce binary through C language (compiler, gpl, library, program)2013-12-180.8.0.10KiwamuOkabe
alga (deprecated)180.00Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-100.2.2mrkkrp
amqp-utils1000.01AMQP toolset for the command line (gpl, network, program)2023-07-200.6.4.0woffs
anansi800.03Simple literate programming preprocessor (development, gpl, library, program)2015-06-050.4.8JohnMillikin
anansi-hscolour170.01Colorized looms for Anansi (development, gpl, library)2014-02-140.1.2JohnMillikin
anansi-pandoc170.01Looms which use Pandoc to parse and produce a variety of formats. (development, gpl, library)2014-03-180.1.3JohnMillikin
android100.01Android methods exposed to Haskell (gpl, library, system)2015-09-290.0.2IvanPerez, keera_studios_ci
angle50.00A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-190.8.1.0GuiltyDolphin
animascii (deprecated)100.01text-file based ASCII animator (application, deprecated, gpl, program)2018-03-160.1.1.0fffaaa
ansi-terminal-game1442.00cross-platform library for terminal games (game, gpl, library)2024-02-071.9.3.0fffaaa
apelsin210.01Server and community browser for the game Tremulous (gpl, network, program)2013-06-261.2.3ChristofferOjeling
apigen50.00FFI API generator for several languages (development, gpl, library, program)2023-11-230.0.1iphydf
applicative-parsec50.01An applicative parser combinator library (gpl, language, library)2015-04-090.1.0.0KarlVoelker
arbtt1960.01Automatic Rule-Based Time Tracker (desktop, gpl, program)2023-09-130.12.0.3JoachimBreitner
arghwxhaskell70.01An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-030.8.2.0HenkJanVanTuyl, fgaz, GeorgeThomas
arguedit80.01A computer assisted argumentation transcription and editing software. (argumentation, gpl, program)2014-07-120.1.0.1hrazel
array-forth170.02A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-170.2.1.4TikhonJelvis
ascii-holidays122.50ASCII animations for the holidays! (gpl, graphics, program)2019-12-240.1.0.1TomMurphy
ascii-vector-avc50.01Process Ascii Vectors for Advantest 93k (data, gpl, library, program)2014-10-150.1.0.0m
aterm190.02serialisation for Haskell values with sharing support (data, gpl, library, parsing)2020-10-060.1.0.2ChristianMaeder
atp50.00Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-250.1.0.0EK
attoparsec-arff80.01An ARFF file parser using Attoparsec (ai, data, gpl, library, text)2012-02-090.0PaulWilson
aur1022.02Access metadata from the Arch Linux User Repository. (gpl, library, linux)2021-10-217.0.7fosskers
aura790.00A secure package manager for Arch Linux and the AUR. (gpl, library, program, system)2024-07-163.2.10fosskers
autom120.01Generates and displays patterns from next nearest neighbors cellular automata (gpl, graphics, library)2016-10-220.1.0.3infrared
avers342.04Server-side implementation of the Avers storage model (avers, gpl, library)2016-12-280.0.17.1wereHamster
awesome-prelude40.01A prelude which I can be happy with. Based on base-prelude. (gpl, library, prelude)2016-02-110.1.0.0kozross
aws-spend-summary390.00Extract recent daily AWS costs (aws, gpl, library, program)2024-11-090.2.0.0danielrolls
awsspendsummary (deprecated in favor of aws-spend-summary)330.00Extract recent daily AWS costs (aws, deprecated, gpl, library, program)2024-11-030.1.0.1danielrolls
azubi180.01A simple DevOps tool which will never "reach" enterprice level. (gpl, library, system)2017-10-140.2.0.3palo
backstop72.00Backstop a target directory by source directories (development, gpl, library, program)2019-11-041.3.0.354mdgabriel
balkon260.01Text layout engine built on top of HarfBuzz. (gpl, library, text)2023-07-031.3.0.0alcinnz
base-io-access190.03The IO functions included in base delimited into small, composable classes (gpl, library, system)2015-02-110.4.0.0bheklilr
bbcode180.00Library for parsing, constructing, and printing BBCode (gpl, library, text)2023-12-310.2.0.1repetitive
bbdb440.01Ability to read, write, and modify BBDB files (database, gpl, library)2017-12-140.8HenryLaxen
bdcs-api150.00BDCS API Server (gpl, library, network, program)2018-06-220.1.3clumens
bein (deprecated)270.01Bein is a provenance and workflow management system for bioinformatics. (application, deprecated, gpl, program)2010-05-280.3.3FrederickRoss
benchmark-function130.01Test the time it takes to run a haskell function (gpl, library, testing)2017-01-150.1.0.1AlanHawkins
bencodex42.01Bencodex reader/writer for Haskell (gpl, library, serialization)2018-11-051.0.0hongminhee
bin2080.05Bin: binary natural numbers. (data, dependent-types, gpl, library, math, singletons)2024-06-080.1.4phadej
binary-derive100.01Automatic deriving of Binary using GHC.Generics (data, gpl, library)2011-11-050.1.0JaredHance
bindings-cctools60.02Bindings to the CCTools WorkQueue C library (ffi, gpl, library)2013-01-023.6.1.0.1.0.0.1BadiAbdulWahid
bindings-codec2160.01Very low-level FFI bindings for Codec2 (bindings, codec, ffi, gpl, library, program)2014-10-310.1.1.0RickyElrod
bindings-nettle350.01bindings to nettle crypto library (bindings, gpl, library)2015-06-020.4ClintAdams
bindings-potrace90.01Low-level bindings to the potrace bitmap tracing library (gpl, graphics, library)2015-06-100.1cchalmers
bindings-saga-cmd150.01Wrapping saga_cmd (gpl, library, math, program)2015-06-160.1.1.1michelk
bindynamic100.01A variation of Data.Dynamic.Dynamic with a Binary instance (data, gpl, library)2018-03-261.0.0.1lspitzner
birch-beer640.01Plot a colorful tree. (bioinformatics, gpl, library, program)2022-10-060.4.2.1GregorySchwartz
bisc280.00A small tool that clears cookies (and more). (gpl, program, utility)2022-01-110.4.1.0rnhmjoj
bishbosh390.00Plays chess. (game, gpl, library, program)2021-12-260.1.4.0AlistairWard
black-jewel90.01The pirate bay client. (application, gpl, program)2013-05-210.0.0.1DmitryBogatov
blindpass132.00Password entry tool (gpl, library, program, utilities)2020-12-110.1.0jlamothe
blosum110.00BLOSUM generator (bioinformatics, gpl, library, program)2016-11-300.1.1.4GregorySchwartz
blubber40.01The blubber client; connects to the blubber server. (game, gpl, program)2015-06-300.0.1alexander
boilerplate110.00Generate Haskell boilerplate. (building, gpl, library, program)2023-05-220.0.3tseenshe
boolean-list130.02convert numbers to binary coded lists (data, gpl, library)2017-10-260.1.0.2AlanHawkins
boomange390.01A bookmarks manager with an HTML generator (gpl, program, web)2018-12-080.1.3.7mgmillani
bowntz80.01audio-visual pseudo-physical simulation of colliding circles (demo, gpl, program)2019-08-282ClaudeHeilandAllen
breve540.01a url shortener (gpl, program, web)2024-06-300.5.1.0rnhmjoj
brotli222.05Brotli (RFC7932) compression and decompression (codec, compression, gpl, library)2024-06-250.0.0.2AndreasAbel, HerbertValerioRiedel
bureaucromancy100.00Parse webforms & render to interactive hypertext (gpl, library, program, web)2024-01-190.1.0.2alcinnz
burst-detection40.01Burst detection algorithms (gpl, library, math)2013-11-081.0
butterflies110.00butterfly tilings (gpl, graphics, library, program)2018-11-060.3.0.2ClaudeHeilandAllen
byte-count-reader700.00Read strings describing a number of bytes like 2Kb and 0.5 MiB (gpl, library, text)2024-10-200.10.1.12danielrolls
c2ats62.00Translate C code into ATS (gpl, language, library, program)2016-09-170.1.0.1KiwamuOkabe
c2hs2210.01C->Haskell FFI tool that gives some cross-language type safety (development, gpl, program)2021-06-130.28.8DuncanCoutts, IanRoss, deech
cabal-plan1342.51Library and utility for processing cabal's plan.json file (development, gpl, library)2024-06-080.7.4.0HerbertValerioRiedel, phadej
cabal-rpm3062.01RPM packaging tool for Haskell Cabal-based packages (distribution, gpl, program)2024-08-022.2.1BryanOSullivan, JensPetersen
cabal2spec760.01Convert Cabal files into rpm spec files (distribution, gpl, library, program)2024-03-262.7.1PeterSimons, YaakovNemoy
calculator732.01A calculator repl, with variables, functions & Mathematica like dynamic plots. (gpl, math, program)2016-10-100.4.1.2sumitsahrawat
caledon202.251a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-063.2.2.0MatthewMirman
canadian-income-tax110.00Canadian income tax calculation (gpl, library, productivity, program, tax)2024-03-032023.0MarioBlazevic
carettah652.01A presentation tool written with Haskell. (gpl, graphics, program)2016-09-300.5.1KiwamuOkabe
carte42.01Carte: A commandline pastebin server. (gpl, network, program)2016-11-100.1.0.0cdetroye
cattrap190.00Lays out boxes according to the CSS Box Model. (gpl, graphics, library, program)2024-03-190.6.0.0alcinnz
cctools-workqueue80.01High-level interface to CCTools' WorkQueue library (distributed-computing, gpl, library)2013-01-023.6.1.0.1.0.0.1BadiAbdulWahid
cereal-derive60.01Automatic deriving of Serialize using GHC.Generics (data, gpl, library)2011-11-060.1.1JaredHance
cg60.01Parser for categorial grammars. (gpl, language, program)2015-05-290.0.9.0pepijnkokke
cgrep1440.01Command line tool (gpl, program, utils)2023-07-198.1.0awgn, NicolaBonelli
chain-codes170.01Library decoding chain codes from images (data, gpl, library)2014-03-160.3.0.0MateuszKowalczyk
cimple762.02Simple C-like programming language (data, gpl, library, program)2024-11-060.0.22iphydf
citeproc-hs-pandoc-filter70.01A Pandoc filter for processing bibliographic references with citeproc-hs (gpl, program, text)2015-03-170.1AndreaRossato
clac180.01Simple CLI RPN calculator (gpl, math, program)2015-03-180.5.0alexander
classy-parallel70.02Fork of the monad-parallel package using monad-control (control, gpl, library)2012-07-310.1.0.0SamAnklesaria
closed-intervals170.00Closed intervals of totally ordered types (data-mining, gpl, library)2023-09-290.2.1.0olf
clumpiness250.01Calculate the clumpiness of leaf properties in a tree (gpl, library, math)2019-01-210.17.0.2GregorySchwartz
cmv271.50Detailed visualization of CMs, HMMs and their comparisions (bioinformatics, gpl, library, program)2018-01-281.0.8FlorianEggenhofer
collapse-duplication70.00Collapse the duplication output into clones and return their frequencies. (bioinformatics, gpl, library, program)2018-08-280.4.0.1GregorySchwartz
colour-space300.01Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)2023-07-040.2.1.0leftaroundabout
compilation100.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
conductive-base120.04a library for live coding and real-time musical applications (gpl, library, music, sound)2012-12-270.3RenickBell
conductive-clock140.01a library for displaying musical time in a terminal-based clock (gpl, library, music, sound)2012-12-270.2RenickBell
conductive-hsc3150.01a library with examples of using Conductive with hsc3 (gpl, library, music, sound)2012-12-280.3.1RenickBell
conductive-song70.02a library of functions which are useful for composing music (gpl, library, music, sound)2012-12-270.2RenickBell
config-manager300.01Configuration management (configuration, data, gpl, library)2016-08-130.3.0.1guyonvarch
config-select80.01A small program for swapping out dot files. (gpl, program, system)2013-02-070.0.1TimothyHobbs
constrained-categories340.07Constrained clones of the category-theory type classes, using ConstraintKinds. (control, gpl, library)2023-05-180.4.2.0leftaroundabout
convert-annotation250.00Convert the annotation of a gene to another in a delimited file using a variety of different databases. (bioinformatics, gpl, library, program)2018-02-070.5.1.0GregorySchwartz
convexHullNd40.00Convex hull (geometry, gpl, library, math)2023-11-220.1.0.0stla
copr-api120.00Copr API client libary (gpl, library, network)2023-11-250.2.0JensPetersen
covariance380.01Well-conditioned estimation of large-dimensional covariance matrices (gpl, library, math, statistics)2022-07-100.2.0.1dschrempf
cpuid300.03Binding for the cpuid machine instruction on x86 compatible processors (foreign-binding, gpl)2023-04-210.2.3.1HenningThielemann, MartinGrabmueller
cpython372.02Bindings for libpython (foreign, gpl, library)2024-07-083.9.0zsedem
cr110.01Code review tool (control, gpl, network, program, system)2012-12-031.2AlexandruScvortov
crocodile100.01An offline renderer supporting ray tracing and photon mapping (gpl, graphics, program)2011-09-290.1.2TomHammersley
css-simple82.00eDSL for CSS (gpl, library, web)2022-07-260.1.0.1Qyutou
csv-sip80.00extracts data from a CSV file (data, gpl, library)2022-04-240.1.0jlamothe
ctpl80.02A programming language for text modification. (gpl, library, program, text)2016-04-050.1.0.4implementation
cv-combinators300.01Functional Combinators for Computer Vision (ai, gpl, graphics, library, program)2015-08-120.2.0.2NoamLewis
cyclotomic800.02A subfield of the complex numbers for exact calculation. (gpl, library, math)2023-03-171.1.2ScottWalck
daemonize-doublefork130.01Start background daemons by double-forking (gpl, library, web)2012-08-150.1.1AlexandruScvortov
daemons350.03Daemons in Haskell made fun and easy (control, gpl, library, network, program, system)2023-09-290.4.0AlexandruScvortov
dao50.01Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-210.1.0.1RaminHonary
darcs3592.52a distributed, interactive, smart revision control system (development, gpl, library)2024-10-262.18.4GaneshSittampalam, bfrk
darkplaces-demo40.01Utility and parser for DarkPlaces demo files (game, gpl, library, program)2015-02-120.1slava
darkplaces-rcon50.01Darkplaces rcon client library (game, gpl, library)2015-05-230.1slava
darkplaces-rcon-util80.00Darplaces rcon utility (game, gpl, library, program)2015-05-240.1.1slava
darkplaces-text100.02Parser for darkplaces colorful text (game, gpl, library)2015-05-230.2.1slava
data-list-sequences60.01Utilities for working with sequences within lists. (data, gpl, library)2011-08-130.1JonasKramer
dbus-client (deprecated in favor of dbus)410.017Monadic and object-oriented interfaces to DBus (deprecated, desktop, gpl, library, network)2012-06-230.4.1JohnMillikin
dbus-core (deprecated in favor of dbus)1180.015Low-level D-Bus protocol implementation (deprecated, desktop, gpl, library, network)2012-06-230.9.3JohnMillikin
ddate40.01Discordian Date Types for Haskell (data, gpl, library)2016-06-300.1.0.0hellerve
decimal-literals100.02Preprocessing decimal literals more or less as they are (instead of via fractions) (gpl, library, math)2019-02-200.1.0.1leftaroundabout
delaunayNd110.01Delaunay tessellation (geometry, gpl, library, math)2023-11-200.1.0.2stla
derive-enumerable110.01Generic instances for enumerating complex data types (data, generics, gpl, library)2022-11-180.2.0mgoszcz2, theunixman
derive-prim70.00Derive Prim and PrimUnaligned (data, development, generics, gpl, library)2024-05-120.1.0.1k355l3r5yndr0m3
descrilo230.01Loads a list of items with fields (configuration, data, gpl, library, parser)2018-11-030.1.0.7mgmillani
descript-lang60.00Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-200.2.0.0jakobeha
dhall-yaml640.00Convert between Dhall and YAML (compiler, gpl, library, program)2023-04-191.2.12GabrielGonzalez, HerbertValerioRiedel, sjakobi
dhscanner-ast132.01abstract syntax tree for multiple programming languages (gpl, library, parsing)2024-08-250.1.0.3OrenHackage
dhscanner-bitcode112.00Intermediate language for static code analysis (gpl, library, sast)2024-09-020.1.0.2OrenHackage
dice2tex60.01Convert a Diceware wordlist into a printer-ready LaTeX file. (gpl, program, text)2017-01-140.1.0.1mgmillani
dicom140.01A library for reading and writing DICOM files in the Explicit VR Little Endian transfer syntax. (data, gpl, library, medical)2015-12-110.3.0.0PhilFreeman, karchie
differential180.01Finds out whether an entity comes from different distributions (statuses). (bioinformatics, gpl, library, program)2021-02-050.2.0.1GregorySchwartz
digestive-functors-aeson1180.01Run digestive-functors forms against JSON (gpl, json, library, web)2019-02-161.1.27OliverCharles, nieled
dihaa120.01ASCII based Diagram drawing in Haskell (Idea based on ditaa) (gpl, graphics, program)2017-05-060.2.1.2wilde
diohsc692.00Gemini client (browser, gpl, program)2024-11-090.1.16mbays
diophantine80.01A quadratic diophantine equation solving library. (gpl, library, math)2014-11-240.2.1.0joejev
direm30.00Deletes a directory and retains its contents in the parent directory (gpl, program, tool)2019-04-180.1.0.0mgttlinger
discokitty110.00DisCoCat implementation. (gpl, language, library)2019-05-130.1.0mroman42
dist-upload120.01Generate/Upload cabal package to Hackage. (distribution, gpl, library, program)2010-11-240.0.4AndyStewart
diversity890.03Quantify the diversity of a population (bioinformatics, gpl, library, program)2017-09-010.8.1.0GregorySchwartz
dl-fedora970.00Fedora image download tool (gpl, program, utility)2024-11-021.2.1JensPetersen
dnf-repo430.00A dnf wrapper with fine control of enabled repos (gpl, program, utility)2024-06-140.6.1JensPetersen
doccheck50.01Checks Haddock comments for pitfalls and version changes. (documentation, gpl, program)2013-08-130.1.0.0MateuszKowalczyk
dojang50.00A cross-platform dotfiles manager (configuration, gpl, library, program)2023-11-250.1.0hongminhee
dozenal40.01A Haskell library for using Dozenal (Duodecimal - Base 12) numbers. (gpl, library, math)2015-04-110.1.0.0siddhanathan
dpkg200.01libdpkg bindings (debian, gpl, library)2012-07-050.0.3ClintAdams
drawille360.01A port of asciimoo's drawille to haskell (gpl, library, system)2023-08-310.1.3.0yamadapc
dson190.01Haskell Doge Serialized Object Notation Parser (data, gpl, library)2019-05-270.3.0.1lcycon
dsp542.02Haskell Digital Signal Processing (gpl, library, math, sound)2022-09-210.2.5.2HenningThielemann
dumb-cas170.02A computer “algebra” system that knows nothing about algebra, at the core. (gpl, library, math)2023-01-270.2.1.1leftaroundabout
dvdread40.01A monadic interface to libdvdread (gpl, library, system)2011-09-300.1NicolaSquartini
dynamic-plot510.01Interactive diagram windows (gpl, graphics, library)2022-04-170.4.2.0leftaroundabout
dynamic-state490.03Optionally serializable dynamic state keyed by type (data, gpl, library, yi)2018-06-070.3.1DmitryIvanov, MarcelFourne, MateuszKowalczyk, fread2281, JaroReinders
easyrender350.05User-friendly creation of EPS, PostScript, and PDF files (gpl, graphics, library)2018-11-250.1.1.4PeterSelinger
edentv210.01A Tool to Visualize Parallel Functional Program Executions (development, eden, gpl, profiling, program, trace)2015-01-224.10.0MischaDieterle, JostBerthold, horstmeyer
edge610.01Top view space combat arcade game (game, gpl, program)2016-09-050.9.1.1ChristopherHoward, infrared
eibd-client-simple130.01EIBd Client (automation, gpl, library)2014-11-210.0.4vapourismo
elbow150.01Find the elbow point. (gpl, library, math)2020-02-200.2.0.0GregorySchwartz
electrum-mnemonic200.01easy to remember mnemonic for a high-entropy value (gpl, library, natural-language-processing)2016-11-220.1.3JoeyHess
elynx1050.00Validate and (optionally) redo ELynx analyses (bioinformatics, gpl, program)2024-10-270.8.0.0dschrempf
elynx-markov1120.01Simulate molecular sequences along trees (bioinformatics, gpl, library)2024-10-270.8.0.0dschrempf
elynx-nexus970.01Import and export Nexus files (bioinformatics, gpl, library)2024-10-270.8.0.0dschrempf
elynx-seq1230.03Handle molecular sequences (bioinformatics, gpl, library)2024-10-270.8.0.0dschrempf
elynx-tools1220.05Tools for ELynx (bioinformatics, gpl, library)2024-10-270.8.0.0dschrempf
elynx-tree1040.04Handle phylogenetic trees (bioinformatics, gpl, library)2023-06-230.7.2.2dschrempf
embroidery40.01support for embroidery formats in haskell (codec, gpl, library, program)2011-07-310.1JimSnavely
epanet-haskell100.01Haskell binding for EPANET (algorithms, gpl, hydraulics, library)2013-12-162.0.12.4psibi
erebos-tester110.00Test framework with virtual network using Linux namespaces (gpl, program, testing)2024-08-130.2.4RomanSmrz
ert150.01Easy Runtime Templates (gpl, library, program, text)2015-04-300.0.2.1kayo
exherbo-cabal200.00Exheres generator for cabal packages (distribution, gpl, library, program)2017-02-090.2.1.1NikolayOrlyuk
exp-pairs620.01Linear programming over exponent pairs (gpl, library, math)2020-10-030.2.1.0Bodigrim
explicit-constraint-lens30.01Fully-flexible polymorphic lenses, without any bizarre profunctors (data, gpl, library)2017-12-300.1.0.0leftaroundabout
explicit-determinant80.01explicit computation of determinant of small matrices (gpl, library, math)2014-07-030.1.0.0JohannesWaldmann
factory590.05Rational arithmetic in an irrational world. (gpl, library, math, number-theory, program)2021-08-250.3.2.3AlistairWard, LennartAugustsson
fast-digits400.02Integer-to-digits conversion. (data, gpl, library)2023-07-290.3.2.0Bodigrim
fasta890.06A simple, mindless parser for fasta files. (data, gpl, library)2017-02-130.10.4.2GregorySchwartz
faster-megaparsec160.00Speed up Megaparsec parsing when parsing succeeds (gpl, library, parsing)2022-11-110.1.2.0olf
fathead-util60.01Utilities for working with DuckDuckHack's FatHead Instant Answers (development, gpl, library)2016-08-170.1.0.0GuiltyDolphin
fbrnch440.00Fedora packager tool to build package branches (distribution, gpl, program)2024-08-171.5JensPetersen
fec190.02Forward error correction of ByteStrings (codec, gpl, library, program)2023-10-060.2.0AdamLangley, ShaeErisson, jcalderone
fedora-dists (deprecated in favor of fedora-releases)360.00Library for Fedora distribution versions (deprecated, distribution, gpl, library)2022-05-242.1.1JensPetersen
fedora-haskell-tools280.01Building and maintenance tools for Fedora Haskell (distribution, gpl, program)2023-11-191.1JensPetersen
fedora-img-dl (deprecated in favor of dl-fedora)100.00Fedora image download tool (deprecated, gpl, program, utility)2019-06-030.4JensPetersen
fedora-releases150.00Library for Fedora release versions (distribution, gpl, library)2024-08-170.1.0JensPetersen
fedora-repoquery390.00Fedora release repos package query tool (gpl, program, utility)2024-09-080.7.1JensPetersen
feedback230.00Declarative feedback loop manager (gpl, library, program, unclassified)2024-04-150.1.0.5Norfair
fences120.01To be written (gpl, library, unclassified)2014-06-170.1.1HansHoglund
filepath-io-access50.01IO Access for filepath (development, gpl, library)2013-12-310.1.0.0bheklilr
find-clumpiness200.01Find the clumpiness of labels in a tree (gpl, library, math, program)2019-01-210.2.3.2GregorySchwartz
findhttp80.00List http/html files (gpl, program, utility)2022-10-190.1.1JensPetersen
finitary422.03A better, more type-safe Enum. (data, gpl, library)2024-08-072.2.0.0koz_ross, sheaf
finitary-derive220.00Flexible and easy deriving of type classes for finitary types. (data, gpl, library)2021-02-113.0.0.1koz_ross, sheaf
finitary-optics40.00Prisms and Isos between finitary types. (data, gpl, library)2020-06-061.0.0.0koz_ross, sheaf
flaccuraterip310.01Verify FLAC files ripped form CD using AccurateRip™ (gpl, program, sound)2020-06-100.3.9NicolaSquartini
flat-tex210.01flatten a latex multi-file latex document and remove all comments (gpl, program, text)2022-03-250.8.0JohannesWaldmann
flowsim350.01Simulate 454 pyrosequencing (bioinformatics, gpl, program)2013-11-190.3.5KetilMalde
fluffy92.01A simple web application as a online practice website for XDU SE 2017 fall SPM. (gpl, program, web)2017-11-270.1.0.71qinka
fluffy-parser42.01The parser for fluffy to parsec the question bank in .docx type (gpl, library, text)2017-11-270.1.0.50qinka
folgerhs170.00Toolset for Folger Shakespeare Library's XML annotated plays (gpl, library, program, text)2018-01-250.3.0.2umazalakain
follower60.01Follow Tweets anonymously (application, console, gpl, program, web)2011-01-230.0.1EmreBasar
forth-hll (deprecated)60.01A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-060.1.0.0TikhonJelvis
frp-arduino170.01Arduino programming without the hassle of C. (gpl, language, library)2018-03-260.1.1.0RickardLindberg, JeremyWright
frpnow-vty110.00Program terminal applications with vty and frpnow! (control, gpl, library, program)2018-03-190.2.0.1JaroReinders
funcmp472.01Functional MetaPost is a Haskell frontend to the MetaPost language (gpl, graphics, library)2018-01-291.9PeterSimons
futun90.01Simple IP-over-UDP tunnel using TUNTAP (gpl, network, program, system)2013-05-240.1.0.2JussiMaki
gdo220.01recursive atomic build system (distribution, gpl, program)2017-02-230.1.5seppeljordan
gearbox250.01zooming rotating fractal gears graphics demo (demo, gpl, program)2018-11-061.0.0.6ClaudeHeilandAllen
geni-util200.01Companion tools for use with the GenI surface realiser (gpl, library, natural-language-processing, program)2017-10-030.25.0.1EricKow
geom2d260.01package for geometry in euklidean 2d space (gpl, library, math)2015-11-010.2.2seppeljordan
ggtsTC80.01A type checker and runtime system of rCOS/g (impl. of ggts-FCS). (gpl, program, system---)2014-01-290.5brianchon
gist50.01A reliable command-line client for gist.github.com (gpl, program, web)2012-04-220.1SimonMichael
git-date210.01Bindings to the date parsing from Git. (data, gpl, library)2018-06-030.3.0StephenWeber
git-mediate672.01Tool to help resolving git conflicts (development, gpl, program)2024-09-201.1.0EyalLotem
github-backup570.01backs up everything github knows about a repository, to the repository (gpl, program, utility)2020-07-221.20200721JoeyHess
github-tools110.01Various Github helper utilities. (development, gpl, library, program)2023-12-200.1.2iphydf
glapp (deprecated)90.01An OpenGL micro framework. (deprecated, gpl, graphics, library, program)2014-01-080.1.0.1SchellScivally
glicko150.01Glicko-2 implementation in Haskell. (gpl, library, math)2021-01-130.3.0.2rprecenth
gloss-banana150.01An Interface for gloss in terms of a reactive-banana Behavior. (gpl, graphics, library)2014-10-300.1.0.4Twey
gmndl120.01Mandelbrot Set explorer using GTK (gpl, graphics, program)2017-08-040.4.0.4ClaudeHeilandAllen
gnome-keyring640.01Bindings for libgnome-keyring (desktop, gpl, library)2019-08-090.3.1.1NickPershyn
gnuidn250.02Bindings for GNU IDN (codec, gpl, library, text)2015-10-250.2.2StephenWeber
gnutls390.02Bindings for GNU libgnutls (gpl, library, network)2024-09-040.3.1StephenWeber
gopher-proxy422.01proxy gopher over http (gpl, network, program)2021-10-250.1.1.3sternenseemann
gruff370.01fractal explorer GUI using the ruff library (gpl, graphics, library, program)2016-11-070.4ClaudeHeilandAllen
gruff-examples80.01Mandelbrot Set examples using ruff and gruff (gpl, graphics, program)2016-11-070.4ClaudeHeilandAllen
gsasl530.03Bindings for GNU libgsasl (gpl, library, network)2024-01-220.4.0StephenWeber
gscholar-rss470.00scrapes google scholar, provides RSS feed (gpl, program, utils, web)2023-11-100.3.0.4fffaaa
gtk-jsinput80.01A simple custom form widget for gtk which allows inputing of JSON values (gpl, graphics, library)2012-11-290.0.0TimothyHobbs
gtk-simple-list-view90.01A simple custom form widget for gtk which allows single LOC creation/updating of list views. (gpl, graphics, library)2012-11-290.0.0TimothyHobbs
gtk-toggle-button-list130.01A simple custom form widget for gtk which allows single LOC creation/updating of toggle button lists. (gpl, graphics, library)2012-11-290.0.0TimothyHobbs
gtk2hs-buildtools3340.01Tools to build the Gtk2Hs suite of User Interface libraries. (development, gpl, library, program)2024-07-130.13.11.0AndyStewart, AxelSimon, DanielWagner, DuncanCoutts, HamishMackenzie
gulcii90.01graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-230.3ClaudeHeilandAllen
gutenberg-fibonaccis280.01The first 1001 Fibonacci numbers, retrieved from the Gutenberg Project. (algorithms, gpl, library, math, numeric, numerical)2012-09-091.1.0JustinHanekom
h-booru110.01Haskell library for retrieving data from various booru image sites (gpl, library, program, web)2014-11-180.3.0.0MateuszKowalczyk
hOff-display60.00The tool to transform the OFF to other image format. (gpl, graphics, library, program)2017-12-150.1.0.0qinka
hOff-parser90.01The parser to parser the OFF(Object File Format, Princeton ModelNet). (gpl, library, text)2017-12-150.1.0.0qinka
hackage-cli180.00CLI tool for Hackage (development, gpl, library, program)2024-07-020.1.0.2AndreasAbel, HerbertValerioRiedel
hackport1930.01Hackage and Portage integration tool (distribution, gpl, library, program)2024-02-150.8.5.1LennartKolmodin, solpeth, hololeap
hadolint1580.00Dockerfile Linter JavaScript API (development, gpl, library, program)2022-11-092.12.0lorenzo
hails-bin (deprecated in favor of hails)120.01Dynamic launcher of Hails applications (deprecated, gpl, program, web)2012-04-200.1.1.1DeianStefan
hakyll-shortcode60.01A shortcode extension module for Hakyll (gpl, library, web)2017-10-110.0.2nbloomf
half-space60.01Additive monoids generalising vector spaces (gpl, library, math)2023-05-210.1.1.0leftaroundabout
haltavista130.01looks for functions given a set of example input/outputs (development, gpl, program)2010-09-190.1.0.1PaulBrauner
hamsql132.00Interpreter for SQL-structure definitions in YAML (YamSql) (database, gpl, library, program)2016-10-270.9.0.0quabla
happy-arbitrary50.00Token list generator for arbitrary Happy grammars. (data, gpl, library)2024-01-150.0.1iphydf
happy-dot110.01Parser for dot made with happy. (gpl, language, library)2019-12-211.0.0.0mgmillani
harmony162.00A web service specification compiler that generates implementation and tests. (development, gpl, library, program)2015-08-190.1.1.0SantiMunin
hascar370.00Decompress SAPCAR archives (codec, gpl, library, program)2018-02-010.2.2.1hc
hashrename80.01Rename every file in a directory with his SHA1 hash. (gpl, program, utility)2018-01-300.1.1.0rnhmjoj
haskarrow60.01A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-040.0TimothyHobbs
haskelisp210.01Write Emacs module in Haskell, using Emacs 25's Dynamic Module feature (editor, emacs, gpl, library)2016-11-280.1.1.0shintak
haskell-ci522.00Cabal package script generator for Travis-CI (development, gpl, library, program)2024-02-250.18.1HerbertValerioRiedel, phadej
haskell-coffee60.02Simple CoffeeScript API (gpl, language, library)2015-07-190.1.0.2KevinVanRooijen
haskell-compression160.01compress files (gpl, library, program, system)2017-10-260.3AlanHawkins
haskell-lsp-client (deprecated)62.00A haskell package to build your own Language Server client. (deprecated, development, gpl, language, library, program, protocol)2017-12-291.0.0.1
haskell-pdf-presenter150.01Tool for presenting PDF-based presentations. (application, gpl, graphics, image-viewer, pdf, program)2014-01-200.2.5MichaelAdams
haskell-rules80.01A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-160.1.0.1spacekitteh
haskell-snake50.00Snake game implemetation in Haskell using SDL2 (games, gpl, library, program)2018-05-251.0.0cgenie
haskell-typescript50.01Simple TypeScript API (gpl, language, library)2013-10-160.1.0.0DavidJohnson
haskell-updater1072.01Rebuild Haskell dependencies in Gentoo (distribution, gpl, program)2024-06-301.4.1.0IvanMiljenovic, solpeth, hololeap
haskellscrabble620.01A scrabble library capturing the core game logic of scrabble. (game, gpl, library)2016-03-262.2.2happy0
hasmtlib752.00A monad for interfacing with external SMT solvers (gpl, library, logic, smt)2024-10-052.7.1bruderj15
haste-perch300.02Create, navigate and modify the DOM tree with composable syntax, with the haste compiler (gpl, library, web)2015-04-090.1.0.9AlbertoCorona
hbf180.00An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-040.2.0.0paraseba
hchesslib80.01Chess library (game, gpl, library)2021-12-050.2.0.0MiikaPetteriMatikainen
hcwiid230.01Library to interface with the wiimote (gpl, library, system)2017-04-270.0.6.1IvanPerez, KiwamuOkabe, keera_studios_ci
hdm80.01a small display manager. (gpl, program, system)2012-08-260.0.1TimothyHobbs
hdmenu60.00A small wrapper around dmenu (gpl, library, program, system)2024-05-230.3.0TonyZorman
hdr-histogram60.01Haskell implementation of High Dynamic Range (HDR) Histograms (gpl, library, math, statistics)2016-01-030.1.0.0joshbohde
heatitup100.00Find and annotate ITDs. (bioinformatics, gpl, library, program)2019-06-130.5.4.0GregorySchwartz
heatitup-complete180.00Find and annotate ITDs with assembly or read pair joining. (bioinformatics, gpl, library, program)2020-02-170.5.5.0GregorySchwartz
hellnet100.01Simple, distributed, anonymous data sharing network. (gpl, library, network, program)2010-03-030.1.1JaroslavGridin
herms262.01A command-line manager for delicious kitchen recipes (cli, command-line-tool, culinary, gpl, program)2018-08-011.9.0.4JackKiefer
heystone40.01Haskell bindings for the Keystone assembler framework (assembler, bindings, compilers-interpreters, gpl, library)2022-07-080.1.0raehik
hgraph180.00Tools for working on (di)graphs. (data, gpl, library)2024-06-131.10.0.0mgmillani
hgreet42.00Haskell module to interact with the greetd daemon trough it's IPC protocol. (gpl, library, network)2022-06-150.1.0.0Vawlpe
hgrib130.01Unofficial bindings for GRIB API (data, gpl, library)2015-11-070.3.1.0mjakob
hierarchical-spectral-clustering550.02Hierarchical spectral clustering of a graph. (bioinformatics, gpl, library, program)2019-09-260.5.0.1GregorySchwartz
himg60.01Simple gtk2hs image viewer. Point it at an image and fire away. (gpl, graphics, library, program)2014-02-010.1.0.0MateuszKowalczyk
hjugement220.01Majority Judgment. (gpl, library, politic)2019-04-142.0.2.20190414julm
hjugement-cli260.00Majority Judgment and Helios-C command line tool (gpl, politic, program)2019-11-050.0.0.20191104julm
hjugement-protocol270.00A cryptographic protocol for the Majority Judgment. (gpl, library, politic)2019-11-050.0.10.20191104julm
hkgr1180.00Simple Hackage release workflow for package maintainers (gpl, program, util)2024-06-200.4.6JensPetersen
hledger4512.54Command-line interface for the hledger accounting system (console, finance, gpl, library, program)2024-09-091.40SimonMichael
hledger-api (deprecated in favor of hledger-web)460.01Web API server for the hledger accounting tool (deprecated, finance, gpl, program)2019-03-021.14SimonMichael
hledger-diff420.01Compares the transactions in two ledger files. (console, finance, gpl, program)2018-05-130.2.0.14gebner
hledger-flow380.00An hledger workflow focusing on automated statement import and classification. (console, finance, gpl, library, program)2021-06-240.14.4apauley
hledger-lib4492.08A library providing the core functionality of hledger (finance, gpl, library)2024-09-091.40SimonMichael
hledger-makeitso (deprecated in favor of hledger-flow)150.00An hledger workflow focusing on automated statement import and classification. (console, deprecated, finance, gpl, library, program)2019-04-060.10.0.0apauley
hledger-ui2560.01Terminal interface for the hledger accounting system (console, finance, gpl, library, program)2024-09-091.40SimonMichael
hledger-web4080.01Web user interface for the hledger accounting system (finance, gpl, library)2024-09-091.40SimonMichael
hmatrix-glpk450.02Linear Programming based on GLPK (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-gsl550.013Numerical computation (gpl, library, math)2018-04-220.19.0.1AlbertoRuiz, DominicSteinitz
hmatrix-special490.07Interface to GSL special functions (gpl, library, math)2018-04-220.19.0.0AlbertoRuiz, DominicSteinitz
hmatrix-syntax220.01MATLAB-like syntax for hmatrix vectors and matrices (gpl, library, math)2012-03-310.1.2.1ReinerPope
hmp3-ng392.00A 2019 fork of an ncurses mp3 player written in Haskell (gpl, program, sound)2024-10-202.15.0galen
hmt (deprecated)380.08Haskell Music Theory (deprecated, gpl, library, music)2022-12-020.20RohanDrape
hmt-base (deprecated)60.01Haskell Music Theory Base (deprecated, gpl, library, music)2022-12-020.20RohanDrape
hob70.01A source code editor aiming for the convenience of use (gpl, ide, library, program)2014-12-270.0.1.0rakatan
hoodie60.01A small, toy roguelike (game, gpl, program)2013-11-060.1.0.0dvolk
hoodle610.01Executable for hoodle (application, gpl, library, program)2016-07-250.5IanWooKim
hoodle-extra60.01extra hoodle tools (application, gpl, program)2014-07-140.1IanWooKim
hoq120.01A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-270.3valis
hosc2000.030Haskell Open Sound Control (gpl, library, sound)2022-12-020.20HenningThielemann, PaoloVeronelli, RohanDrape
hosts-server60.01An dns server which is extremely easy to config. (gpl, network, program)2014-01-150.1.1YiHuang
hps-kmeans60.01A nice implementation of the k-Means algorithm. (algorithms, clustering, data-mining, gpl, library, math, pattern-recognition, statistics)2012-07-100.1.0.0RodrigoGadea
hsay90.01(ab)Use Google Translate as a speech synthesiser (accessibility, gpl, program)2014-12-171.1.0alexander
hsc3560.020Haskell SuperCollider (gpl, library, sound)2022-12-020.20HenningThielemann, RohanDrape
hscdio60.00Haskell bindings to the libcdio disc-reading library. (gpl, library, sound)2021-06-050.1.0.0ageitilt
hsfacter (deprecated in favor of language-puppet)180.01A small and ugly library that emulates the output of the puppet facter program. (deprecated, gpl, library, system)2013-05-160.2.1SimonMarechal
hsinspect482.251Inspect Haskell source files. (building, gpl, library, program)2023-05-220.1.0tseenshe
hsinspect-lsp100.00LSP interface over the hsinspect binary. (building, gpl, library, program)2020-07-220.0.6tseenshe
hsluv-haskell40.02HSLuv conversion utility. (conversion, gpl, library)2018-02-010.1.0.0modalduality
hspecVariant140.01Spec for testing properties (gpl, library, testing)2021-10-231.0.1.0sanjorgek
hspray710.03Multivariate polynomials and fractions of multivariate polynomials. (algebra, gpl, library, math)2024-06-210.5.4.0stla
hsprocess (deprecated in favor of haskell-awk)70.01The Haskell Stream Processor command line utility (console, deprecated, gpl, library, program)2013-08-040.3MarioPastorelli
hstorchat80.01Distributed instant messaging over Tor (gpl, library, network, program)2014-06-040.1.1.0creichert, ChristopherReichert
hstox (deprecated in favor of toxcore)60.00A Tox protocol implementation in Haskell (deprecated, gpl, library, network)2018-10-170.0.2iphydf
htalkat290.00Talk across TLS (gpl, network, program)2024-04-200.1.2.5mbays
htirage (deprecated in favor of reloto)170.01Equiprobable draw from publicly verifiable random data. (deprecated, gpl, library, politic)2018-08-302.1.0.20180829julm
htsn (deprecated)380.01Parse XML files from The Sports Network feed. (deprecated, gpl, program, utils)2014-09-230.1.1MichaelOrlitzky
htsn-common (deprecated)120.01Display/logging facilities used by both htsn and htsn-import. (deprecated, gpl, library, utils)2014-05-290.0.2MichaelOrlitzky
htsn-import (deprecated)550.01Import XML files from The Sports Network into an RDBMS. (deprecated, gpl, program, utils)2015-03-100.2.4MichaelOrlitzky
https-everywhere-rules-raw50.02Low-level (i.e. XML) access to HTTPS Everywhere rulesets. (data, gpl, library)2014-08-244.0vi
htvm110.00Bindings for TVM machine learning framework (gpl, library, machine-learning)2018-12-150.1.2SergeyMironov
hum100.00A TUI MPD client, inspired by ncmpcpp (gpl, library, program, sound)2021-01-250.2.0.0iyefrat
hurl610.01Haskell URL resolver (gpl, library, network, program)2023-03-232.3.0.1alcinnz
hurl-xml140.00Fetch parsed XML & possibly CSS for a URL based on MIMEtype. (gpl, library, web)2023-06-230.2.0.2alcinnz
hvega-theme250.02Theme for hvega. (gpl, graphics, library)2021-08-120.2.0.5GregorySchwartz
hwhile162.00An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-070.1.1.6alexj136
hwormhole70.00magic-wormhole client (gpl, library, network, program)2019-03-290.2.0.1rkrishnan
hydrogen80.01An alternate Prelude (gpl, library, prelude)2015-04-050.3.0.0KarlVoelker
hzulip1202.02A haskell wrapper for the Zulip API. (gpl, library, web)2016-01-271.1.1.3yamadapc
ib-api80.00An API for the Interactive Brokers Trading Workstation written in pure Haskell (gpl, library, network, program)2015-07-280.1.0.1rbermani
iff330.01Constructing and dissecting IFF files (codec, gpl, library)2023-02-150.0.6.1HenningThielemann
ige81.251An keyboard-driven interactive graph editor (editing, gpl, program)2017-09-110.1.0.0olynch
imparse90.01Multi-platform parser analyzer and generator. (gpl, library, program, text)2013-08-200.0.0.3AndreiLapets
incremental-parser1580.05Generic parser library capable of providing partial results from partial input. (gpl, library, parsing)2023-12-190.5.1MarioBlazevic
inf-interval100.01Non-contiguous interval data types with potentially infinite ranges. (gpl, library, numeric)2016-05-310.1.0.2RaminHonary
infernu80.01Type inference and checker for JavaScript (experimental) (gpl, library, program, unclassified)2015-04-180.0.0.1NoamLewis
inject-function210.01Monadic functions with injected parameters. (control, gpl, library)2013-09-130.2.1.0DimitriSabadie
inquire90.01Console client for encyclopedias (gpl, program, web)2014-01-080.1orbifx
instrument-chord450.01Render Instrument Chords (gpl, library, music)2019-03-120.1.0.11AlanHawkins
integreat50.00Integrate different assays. (bioinformatics, gpl, library, program)2018-05-160.2.2.1GregorySchwartz
interpol230.01GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-220.2.3AlexandruScvortov
interval70.01Intervals with adherences. (data-structures, gpl, library)2016-08-211.20160821julm
intricacy590.01A game of competitive puzzle-design (game, gpl)2024-05-010.8.2.1mbays
ipatch112.01interactive patch editor (development, gpl, program)2012-04-150.1.1JoachimBreitner
iron-mq60.01Iron.IO message queueing client library (gpl, library, network)2014-12-270.1.1.0arnoblalam
isotope130.01Isotopic masses and relative abundances. (chemistry, gpl, library)2017-04-290.5.0.1Michaelt293
iyql310.01CLI (command line interface) to YQL (gpl, network, program)2010-09-220.0.7DiegoSouza
jack622.02Bindings for the JACK Audio Connection Kit (gpl, library, sound)2023-01-140.7.2.2HenningThielemann
jackminimix70.01control JackMiniMix (gpl, library, sound)2010-08-250.1RenickBell
jackpolynomials630.00Jack, zonal, Schur, and other symmetric polynomials (algebra, combinatorics, gpl, library, math)2024-07-131.4.7.0stla
jammittools450.01Export sheet music and audio from Windows/Mac app Jammit (gpl, library, program, sound)2019-04-130.5.5.2mtolly
jdi40.01Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-280.0.3VictorDenisov
jsonrpc-conduit860.01JSON-RPC 2.0 server over a Conduit. (conduit, gpl, library)2024-02-190.4.1GabrieleSales
judge90.00Tableau-based theorem prover for justification logic. (gpl, library, logic, program)2018-03-140.1.3.0slakkenhuis
kdesrc-build-extra (deprecated in favor of kdesrc-build-profiles)100.01Build profiles for kdesrc-build (deprecated, development, gpl, program)2016-04-050.1.1ivan
kdesrc-build-profiles80.00Build profiles for kdesrc-build (development, gpl, program)2020-05-270.2.0ivan
koji150.00Koji buildsystem XML-RPC API bindings (gpl, library, network)2021-05-070.0.2JensPetersen
koneko40.00a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-120.0.2obfusk
konnakol102.00Formalising the rules of Konnakol, an Indian percussional art form. (development, gpl, library)2022-08-160.3.0.0JJMan
lambda2js91.51Untyped Lambda calculus to JavaScript compiler (compiler, gpl, program)2015-09-270.1.0.1MatejKollar
lambdabot-telegram-plugins70.00Lambdabot for Telegram (development, gpl, library, program, web)2022-09-240.2.1swamp_agr
language-Modula2210.00Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2024-04-280.1.4.1MarioBlazevic
language-docker2082.03Dockerfile parser, pretty-printer and embedded DSL (development, gpl, library)2024-04-2413.0.0lorenzo
language-dockerfile420.01Dockerfile linter, parser, pretty-printer and embedded DSL (development, gpl, library)2017-05-140.3.6.0yamadapc
language-oberon230.01Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2024-04-280.3.3.1MarioBlazevic
lat100.01Tool to track security alerts on LWN (gpl, program, utils)2011-05-130.6MagnusTherning
lazy-hash30.01Identifiers for not-yet-computed values (data, gpl, library)2017-07-240.1.0.0leftaroundabout
lazy-hash-cache40.01Storing computed values for re-use when the same program runs again. (data, gpl, library)2017-07-240.1.0.0leftaroundabout
lazy-priority-queue70.00Lazy-Spined Monadic Priority Queues (control, data, gpl, library, program)2021-02-180.1.1MarioBlazevic
leaf80.01A simple portfolio generator (gpl, program, web)2013-02-181.0.1.1DimitriSabadie
lentil3372.51frugal issue tracker (development, gpl, program, project-management)2024-11-181.5.8.0fffaaa, lwm
lfst80.01L-Fuzzy Set Theory implementation in Haskell (gpl, library, math----------)2016-03-121.0.2claudiogreco
liblawless990.01Prelude based on protolude for GHC 8 and beyond. (gpl, library, prelude)2017-10-020.26.0misandrist
libmolude (deprecated in favor of liblawless)70.01Prelude based on protolude for GHC 8 and beyond. (deprecated, gpl, library, prelude)2016-11-260.12.3misandrist
libnix181.751Bindings to the nix package manager (foreign, gpl, library, nix)2021-11-230.4.1.0Profpatsch, chris_martin
liboath-hs140.00Bindings to liboath (gpl, library, program, security)2020-10-260.0.1.2parsonsmatt
libpafe60.01Wrapper for libpafe (ffi, gpl, library)2015-07-290.1.1.0haru2036
libtelnet180.01Bindings to libtelnet (gpl, library, network)2021-02-130.1.0.1jack
line-break120.01Convert newlines in text (gpl, program, text)2017-01-150.1.0.1AlanHawkins
line-size110.01Display the number of bytes of each line (data, gpl, program)2017-03-270.1.0.0AlanHawkins
linear-code92.01A simple library for linear codes (coding theory, error correction) (gpl, library, math)2018-08-300.2.0wchresta
linear-socket150.01Typed sockets (gpl, library, network)2018-09-290.3.3.3alleledev
linearmap-category540.04Native, complete-ish, matrix-free linear algebra. (gpl, library, math)2023-05-200.6.0.1leftaroundabout
list-prompt90.01A simple list prompt UI for the terminal. (gpl, library, system)2015-12-200.1.1.0yamadapc
localization100.01Library for localization (l10n) (data-structures, gpl, library)2018-02-271.0.1.20180226julm
lol392.06A library for lattice cryptography. (crypto, gpl, library)2020-02-190.7.0.0crockeea, crossroads1112
lol-apps250.00Lattice-based cryptographic applications using <https://hackage.haskell.org/package/lol lol>. (crypto, gpl, library)2020-02-190.3.0.0crockeea, crossroads1112
lol-benches120.01A library for benchmarking <https://hackage.haskell.org/package/lol lol>. (crypto, gpl, library)2017-02-260.0.0.5crockeea, crossroads1112
lol-calculus50.01Calculus for LOL (λω language). (gpl, language)2016-08-231.20160822julm
lol-cpp140.01A fast C++ backend for <https://hackage.haskell.org/package/lol lol>. (crypto, gpl, library)2020-02-190.2.0.0crockeea, crossroads1112
lol-repa90.01A repa backend for <https://hackage.haskell.org/package/lol lol>. (crypto, gpl, library)2017-02-240.0.0.2crockeea, crossroads1112
lol-tests40.01A library for testing <https://hackage.haskell.org/package/lol Λ ∘ λ>. (crypto, gpl, library)2017-02-190.0.0.1crockeea, crossroads1112
lol-typing60.01Type inferencer for LOL (λω language) (gpl, language, library)2016-08-231.20160822julm
loris90.01interface to Loris API (gpl, library, music, sound)2012-12-190.3.1JohnLato
lsql-csv260.00A tool for CSV files data querying from the shell with short queries. (gpl, library, program, text)2024-05-080.1.0.6stastnypremysl
luachunk62.01Library functions for reading and writing Lua chunks (gpl, library, scripting)2012-10-050.1.0.0AnupamJain
lxd-client260.00LXD client written in Haskell. (gpl, library, program, system)2018-02-130.1.0.6hverr
lxd-client-config130.01Read the configuration file of the standard LXD client. (gpl, library, system)2017-10-180.1.0.1hverr
lzip40.00Lzip compression / Lzlib bindings (codec, compression, gpl, library)2019-09-120.0.0.0HerbertValerioRiedel
machines-amazonka150.01Machine transducers for Amazonka calls. (gpl, library, network)2017-05-220.7.1misandrist
manatee612.02The Haskell/Gtk+ Integrated Live Environment (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-140.2.2AndyStewart
manatee-all40.01Virtual package to install all Manatee packages. (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-05-140.2.2AndyStewart
manatee-anything300.01Multithread interactive input/search framework for Manatee (desktop-environment, gpl, ide, library, manatee, operating-system, program)2011-01-120.0.8AndyStewart
manatee-browser290.02Browser extension for Manatee. (browser, gpl, library, manatee, network, program)2011-05-140.1.1AndyStewart
manatee-core290.016The core of Manatee. (desktop-environment, gpl, ide, library, manatee, operating-system)2011-05-140.1.1AndyStewart
manatee-curl390.02Download Manager extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-140.1.1AndyStewart
manatee-editor480.02Editor extension for Manatee. (editor, gpl, ide, library, manatee, program)2011-05-140.1.1AndyStewart
manatee-filemanager450.02File manager extension for Manatee. (file-manager, gpl, library, manatee, program)2011-05-140.1.1AndyStewart
manatee-imageviewer390.02Image viewer extension for Manatee. (gpl, image, image-viewer, library, manatee, program)2011-05-140.1.1AndyStewart
manatee-ircclient320.02IRC client extension for Manatee. (gpl, irc, irc-client, library, manatee, program)2011-05-140.1.1AndyStewart
manatee-mplayer410.02Mplayer client extension for Manatee. (gpl, library, manatee, multimedia, multimedia-player, program)2011-05-140.1.1AndyStewart
manatee-pdfviewer270.02PDF viewer extension for Manatee. (gpl, library, manatee, pdf, pdf-viewer, program)2011-05-140.1.1AndyStewart
manatee-processmanager450.02Process manager extension for Manatee. (gpl, library, manatee, process-manager, program, system)2011-05-140.1.1AndyStewart
manatee-reader230.02Feed reader extension for Manatee. (atom, feed, gpl, library, manatee, program, rss, rss-atom-reader)2011-05-140.1.1AndyStewart
manatee-template130.01Template code to create Manatee application. (gpl, ide, library, manatee, program, template)2011-05-140.1.1AndyStewart
manatee-terminal270.02Terminal Emulator extension for Manatee. (download-manager, gpl, library, manatee, network, program)2011-05-140.1.1AndyStewart
manatee-welcome50.02Welcome module to help user play Manatee quickly. (gpl, ide, library, manatee, program, welcome)2011-05-140.1.1AndyStewart
mandulia260.01A zooming visualisation of the Mandelbrot Set as many Julia Sets. (gpl, graphics, program)2022-09-220.8.0.1ClaudeHeilandAllen
manifold-random370.01Sampling random points on general manifolds. (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds810.04Coordinate-free hypersurfaces (gpl, library, math)2023-07-040.6.1.0leftaroundabout
manifolds-core360.05The basic classes for the manifolds hierarchy. (gpl, library, math)2023-05-180.6.1.0leftaroundabout
markup-preview250.01A simple markup document preview (markdown, textile, reStructuredText) (gpl, program, text)2015-03-070.2.2.1MariusGhita
mars270.01Generates mountainous terrain using a random walk algorithm. (gpl, graphics, library)2016-08-240.2.1.0infrared
marxup260.01Markup language preprocessor for Haskell (gpl, library, program, text)2019-11-193.1.2.0JeanPhilippeBernardy
masakazu-bot120.01@minamiyama1994_bot on haskell (gpl, program, web)2014-08-200.4.0.0minamiyama1994
mathexpr310.01Parse and evaluate math expressions with variables and functions (gpl, library, math)2022-07-140.3.1.0mdibaiee
mathgenealogy440.01Discover your (academic) ancestors! (gpl, program, web)2015-11-221.4.0PeterRobinson
mbug160.00download bugs mailboxes (debian, gpl, library, program)2019-01-091.3.2DmitryBogatov
mcm92.01Machine Configuration Manager (gpl, language, program, system, text)2018-11-030.6.8.1AnthonyDoggett
mcmc890.00Sample from a posterior using Markov chain Monte Carlo (gpl, library, math, statistics)2024-10-070.8.3.1dschrempf
mcmc-synthesis230.02MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-130.1.2.2TikhonJelvis
med-module330.01Parse song module files from Amiga MED and OctaMED (gpl, library, sound)2023-06-040.1.3HenningThielemann
medium-sdk-haskell50.01Haskell SDK for communicating with the Medium API (gpl, library, web)2015-11-160.1.0.0timmy_tofu
microaeson1190.01A tiny JSON library with light dependency footprint (gpl, json, library, text, web)2024-06-250.1.0.2AndreasAbel, HerbertValerioRiedel
mida (deprecated)310.00Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-101.0.2mrkkrp
midair292.01Hot-swappable FRP (concurrency, control, frp, gpl, interaction, library, music, reactive, reactivity, user-interfaces)2018-11-100.2.0.1TomMurphy
midi-utils50.01Utilities for working with MIDI data (gpl, library, sound)2016-08-150.1.0.0GuiltyDolphin
mikrokosmos160.01Lambda calculus interpreter (gpl, language, program)2018-08-010.8.0mroman42
miniball150.01Bindings to Miniball, a smallest enclosing ball library (gpl, library, math)2013-04-040.1.0.2GardSpreemann
minici60.00Minimalist CI framework to run checks on local machine (gpl, program, testing)2024-07-300.1.2RomanSmrz
minilens292.01A minimalistic lens library, providing only the simplest, most basic lens functionality. (data, gpl, lens, library)2016-05-311.0.0.2RaminHonary
minst-idx (deprecated in favor of mnist-idx)152.01Read and write IDX data that is used in e.g. the MINST database. (data, deprecated, gpl, library)2015-05-300.1.2.2muzzle
mios220.01A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-071.6.2shnarazk
mirror-tweet40.01Tweet mirror (gpl, program, web)2014-08-170.1.0.0minamiyama1994
missing-py270.01Haskell interface to Python (foreign, gpl, library)2013-11-121.0.1domdere
modify-fasta380.00Modify fasta (and CLIP) files in several optional ways (bioinformatics, gpl, library, program)2018-04-020.8.3.0GregorySchwartz
modularity200.02Find the modularity of a network. (bioinformatics, gpl, library)2019-08-080.2.1.1GregorySchwartz
modulo410.01Modular C code generator (ffi, gpl, language, library, program)2014-07-281.9.1HansHoglund
morloc70.00A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-060.33.0arendsee
mp240.01Music player for linux. (gpl, program, sound)2021-06-111.3.0piotrborek
mpolynomials100.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-110.1.1.0stla
mpris50.01Interface for MPRIS (gpl, library, media)2015-12-150.1.0.0Fuco
mptcp50.02Datastructures to describe TCP and MPTCP connections (gpl, library, mptcp, network)2022-01-040.0.1teto
mptcp-pm190.01A Multipath TCP path manager (gpl, library, mptcp, network, program)2022-01-040.0.5teto
mptcpanalyzer50.00A Multipath TCP analyzer (gpl, library, network, program)2022-01-050.0.2.0teto
mpvguihs70.01A minimalist mpv GUI written in I/O heavy Haskell. (gpl, multimedia, program)2013-11-140.1.1pse
mqtt-hs140.02A MQTT client library. (gpl, library, network)2018-08-031.0.2LukasBraun
multiwalk50.01Traverse data types via generics, acting on multiple types simultaneously. (control, gpl, library)2023-07-170.3.0.1lvreis
musicScroll400.00Supply your tunes info without leaving your music player. (gpl, library, music, program)2024-03-220.3.4RubenAstudillo
musicbrainz-email (deprecated)30.01Send an email to all MusicBrainz editors (deprecated, gpl, library, musicbrainz, program)2013-04-181.0.0.0OliverCharles
mute-unmute180.01Watches your screensaver and (un)mutes music when you (un)lock the screen. (gpl, program, system)2010-08-270.2.0.0KrzysztofSkrzetnicki
myanimelist-export110.00Export from MyAnimeList (gpl, library, program, web)2018-07-050.3.0.0mat8913
nagios-config70.00EDSL to specify Nagios configuration files. (gpl, library, program, web)2019-05-260.1.0.0hverr
namecoin-update190.00Tool to keep namecoin names updated and well (gpl, library, network, program)2022-06-120.2.3.0rnhmjoj
nanq (deprecated in favor of kanji)210.01Performs 漢字検定 (Japan Kanji Aptitude Test) level analysis on given Kanji. (deprecated, gpl, natural-language-processing, program)2016-04-133.0.1fosskers
naver-translate80.01Interface to Naver Translate (gpl, language, library)2015-10-150.1.0.2hongminhee
ncurses1110.05Modernised bindings to GNU ncurses (foreign, gpl, library, user-interfaces)2016-08-290.2.16tjtrabue
neet170.01A NEAT library for Haskell (ai, gpl, library)2016-02-120.4.0.1hijiri
neolua40.00A CLI adapter to map Lua's CLI to Neovim's CLI for lua interpretation. (cli, gpl, program)2023-06-041.0.0MrcJkb
nested-sets100.02Nested set model implementation (data-structures, gpl, library)2014-10-110.0.1.1rakatan
netclock180.02Netclock protocol (gpl, library, network)2013-07-120.6AlexMcLean
netrc230.02Parser for .netrc files (gpl, library, network)2024-06-250.2.0.1AndreasAbel, HerbertValerioRiedel
netstring-enumerator (deprecated)110.01Enumerator-based netstring parsing (deprecated, enumerator, gpl, library, network, parsing)2012-10-200.1.1JohnMillikin
netw80.00Binding to C socket API operating on bytearrays. (gpl, library, network)2024-04-300.1.1.0k355l3r5yndr0m3
network-house70.01data and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, TFTP (gpl, library, network)2015-09-030.1.0.2NiklasHambuechen
network-protocol-xmpp720.01Client library for the XMPP protocol. (gpl, library, network)2024-01-220.5.1StephenWeber
network-stream40.01ByteString and Text streams for networking (data, gpl, library)2011-11-080.1.0JaredHance
newsynth450.04Exact and approximate synthesis of quantum circuits (gpl, library, program, quantum)2024-05-010.4.1.0PeterSelinger
nirum290.00IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-250.5.0hongminhee, nirum
nominal160.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
nonlinear-optimization-ad310.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop100.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
normalize210.00Normalize data using a variety of methods. (bioinformatics, gpl, library, program)2018-06-290.3.1.1GregorySchwartz
notmuch310.00Haskell binding to Notmuch, the mail indexer (ffi, gpl, library)2023-11-080.3.1.1frasertweedale, romanofski
number-show110.01Flexible and accurate (for a given precision) numerical->string conversion (gpl, library, text)2017-02-170.1.0.0leftaroundabout
oauth10a90.01Fully Automatic Luxury OAuth 1.0a headers (gpl, library, web)2016-11-160.1.0.0gatlin
obd190.00Communicate to OBD interfaces over ELM327 (gpl, hardware, library, program)2016-10-230.2.1.1hverr
obdd540.01Ordered Reduced Binary Decision Diagrams (gpl, library, logic)2024-03-150.9.0JohannesWaldmann
octopus100.01Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-070.0.2.1ZankokuOkuno
once240.02memoization for IO actions and functions (data, gpl, library)2018-12-010.4DmitryBogatov, KAction
oo-prototypes160.08Support for OO-like prototypes (data, gpl, library)2014-08-250.1.0.0DmitryIvanov, MateuszKowalczyk
open-haddock70.01Open haddock HTML documentation (development, gpl, program)2015-10-300.1.0.0jml
oplang220.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2024-04-280.5.0.0aionescu
org-parser40.00Parser for Org Mode documents. (gpl, library, text)2023-07-180.1.0.0lvreis
org2anki90.01Basic org to anki exporter (gpl, language, program)2016-10-290.1.0mroman42
organize-imports90.01Organize scala imports (development, gpl, program)2016-05-050.4.0.0lcycon
orgstat540.00Statistics visualizer for org-mode (gpl, library, program, unclassified)2021-04-250.1.10volhovm
oscpacking130.01Implements an osculatory packing (kissing circles) algorithm and display. (gpl, graphics, library)2016-08-270.3.0.0infrared
oso2pdf80.01Better conversion of Oxford Scholarship Online material to PDF (gpl, program, text)2015-09-280.1.0spwhitton
ostree-pin70.00Tool to update ostree deployment pin (gpl, program, utility)2023-10-300.1.1JensPetersen
packed-multikey-map30.01Efficient “spreadsheet table” like maps with multiple marginals (data, gpl, library)2017-09-290.1.0.0leftaroundabout
pagure280.00Pagure REST client library (gpl, library, network)2024-05-060.2.1JensPetersen
pagure-cli260.00A Pagure gitforge query tool (gpl, program, utility)2024-05-060.2.2JensPetersen
pandoc20893.091Conversion between markup formats (gpl, library, text)2024-10-053.5JohnMacFarlane
pandoc-citeproc-preamble360.01Insert a preamble before pandoc-citeproc's bibliography (gpl, program, text)2020-07-261.6spwhitton
pandoc-cli2430.00Conversion between documentation formats (gpl, program, text)2024-10-053.5JohnMacFarlane
pandoc-crossref2610.01Pandoc filter for cross-references (gpl, library, program, text)2024-10-130.3.18.0lierdakil
pandoc-japanese-filters40.01Japanese-specific markup filters for pandoc. (gpl, program, text)2016-01-200.1.0.1HiromiIshii
pandoc-lua-engine2050.01Lua engine to power custom pandoc conversions (gpl, library, text)2024-10-050.3.3JohnMacFarlane
pandoc-plot2052.00A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. (gpl, library, program, text)2024-09-271.9.1LaurentRDC
pandoc-pyplot (deprecated in favor of pandoc-plot)612.00A Pandoc filter to include figures generated from Python code blocks (deprecated, documentation, gpl, library, program)2019-12-022.3.0.1LaurentRDC
pandoc-query120.00Pandoc filter to extract only the links. (gpl, library, text)2023-11-171.0.0AmyDeBuitleir
pandoc-server1790.00Pandoc document conversion as an HTTP servant-server (gpl, library, text)2024-10-050.1.0.9JohnMacFarlane
pandoc-symreg210.00A tool to convert symbolic regression expressions into different formats. (gpl, library, math, program, text)2023-06-250.2.1.3olivetti
pang-a-lambda70.01A super-pang clone (game, gpl, program)2017-05-240.2.0.0keera_studios_ci
paphragen70.01A passphrase generator. (gpl, program, security)2016-12-300.2.0.0mgmillani
parsek230.04Parallel Parsing Processes (gpl, library, parsing)2020-10-201.0.4.0JeanPhilippeBernardy
passman-cli50.00Deterministic password generator command line interface (gpl, password, program)2017-12-160.2.0.0mat8913
passman-core100.00Deterministic password generator core (gpl, library, password)2018-09-270.2.0.1mat8913
patat1312.01Terminal-based presentations using Pandoc (gpl, library, program, text)2024-10-300.13.0.0JasperVanDerJeugt
pava250.00Greatest convex majorants and least concave minorants (gpl, library, math, statistics)2022-07-100.1.1.4dschrempf
pcubature60.00Integration over convex polytopes (gpl, integration, library, numeric)2024-05-080.2.0.0stla
pdynload90.01pdynload is polymorphic dynamic linking library. (development, gpl, library, other)2010-07-300.0.3AndyStewart
peg80.01a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-160.2DustinDeWeese
persist2er90.01Transforms persist's quasi-quoted syntax into ER format (database, gpl, program)2015-07-180.1.0.1fgaray
phash240.01Haskell bindings to pHash, the open source perceptual hash library (data, gpl, library)2017-03-230.0.6MichaelXavier
phizzle100.01Library for checking if a given link is in a phishtank json file (gpl, library, phishing)2015-10-240.1.0.2bmcg
phraskell150.01A fractal viewer. (gpl, graphics, program)2013-02-230.1.4DimitriSabadie
pi-calculus90.01Applied pi-calculus interpreter (gpl, program, web)2014-06-170.0.5renzyq19
pia-forward110.01Set up port forwarding with the Private Internet Access VPN service. (gpl, network, program)2016-07-310.1.0.2EchoNolan
picedit280.00simple image manipulation functions (gpl, image, library, matrix, picture, program)2017-02-040.2.3.0mdibaiee
pictikz170.01Converts a svg image to tikz code. (gpl, graphics, program)2017-04-091.1.0.0mgmillani
pinboard-notes-backup240.00Back up the notes you've saved to Pinboard (backup, cli, gpl, pinboard, program)2024-01-171.0.5.7bdesham
pixel-printer130.00A program for turning pixel art into 3D prints (gpl, image, library, program)2021-03-230.1.2ZacharySarver
pkgtreediff380.00RPM package tree diff tool (gpl, library, program, utility)2022-10-270.6.0JensPetersen
place-cursor-at170.00A utility for X11 that moves the mouse cursor using the keyboard (desktop, desktop-environment, gpl, gui, program, utility, x11)2021-03-201.0.1unclechu
plailude302.01plaimi's prelude (data, gpl, library)2015-03-130.6.0alexander
plot-gtk-ui210.01A quick way to use Mathematica like Manipulation abilities (gpl, library, math)2016-10-100.3.0.2sumitsahrawat
plot-lab (deprecated in favor of plot-gtk-ui, calculator)140.01A plotting tool with Mathematica like Manipulation abilities (deprecated, gpl, math, program)2014-12-170.0.1.9sumitsahrawat
ploterific290.01Basic plotting of tabular data for the command line. (bioinformatics, gpl, library, program)2022-04-140.2.1.4GregorySchwartz
poly-rec290.01Polykinded extensible records (data, dependent-types, gpl, library)2024-11-080.7.0.4jpgarcia
pomodoro60.01pomodoro timer (gpl, office, program)2016-06-050.1.0.1zohl
poppler470.06Binding to the Poppler. (gpl, graphics, library)2018-04-080.14.2AndyStewart, IanWooKim
potato-tool130.01Command line Dreamcast VMU filesystem toolset. (gpl, program, system)2015-07-170.1.0.2RossMeikleham
potrace140.01Trace bitmap images to paths using potrace (gpl, graphics, library)2015-06-100.1.0.0cchalmers
potrace-diagrams130.01Potrace bindings for the diagrams library (gpl, graphics, library)2015-06-100.1.0.0cchalmers
pragmatic-show220.02Alternative Show class that gives shorter view if possible. (gpl, library, text)2019-10-130.1.2.1leftaroundabout
prime200.00prime number tools (gpl, library, math)2021-01-180.1.1jlamothe
proc360.03Parse process information for Linux (gpl, library, system)2011-05-070.0.9AndyStewart
provenience180.00Computations that automatically track data dependencies (algorithm-visualization, gpl, library)2022-09-050.1.2.4olf
puppetresources (deprecated in favor of language-puppet)330.01A program that displays the puppet resources associated to a node given .pp files. (deprecated, gpl, program, system)2013-05-160.4.2SimonMarechal
pwstore-cli210.01Command line interface for the pwstore library (console, cryptography, gpl, program)2012-11-120.4RobertHelgesson
qhull110.00Delaunay triangulation, Voronoi diagrams and convex hulls. (gpl, library, math)2022-08-060.1.0.4andrewufrank
quicklz510.01QuickLZ compression for ByteStrings (codec, gpl, library)2012-09-011.5.0.11AustinSeipp
quickterm162.00An interface for describing and executing terminal applications (development, gpl, library, program)2017-01-180.2.4.0sgschlesinger
quickwebapp150.01A quick webapp generator for any file processing tool (gpl, library, web)2015-09-043.0.0.2jtanguy
ral1900.04Random access lists (data, dependent-types, gpl, library, singletons)2024-06-080.2.2phadej
ral-lens210.00Length-indexed random access lists: lens utilities. (data, dependent-types, gpl, lens, library, singletons)2024-06-080.2.1phadej
ral-optics180.00Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2024-06-080.2.1phadej
rando212.02Easy-to-use randomness for livecoding (gpl, library, random)2018-03-310.0.0.4TomMurphy
random-cycle120.00Uniform draws of partitions and cycle-partitions, with thinning. (gpl, graphs, library, math)2023-11-190.1.2.0brendanrbrown
random-tree110.01Create random trees (data-structures, gpl, library)2016-02-090.6.0.5GregorySchwartz
rank-product380.02Find the rank product of a data set. (bioinformatics, gpl, library, program)2018-09-120.2.2.0GregorySchwartz
rasa310.010A modular text editor (executable, gpl, library, text-editor)2017-03-160.1.12ChrisPenner
rasa-example-config130.01Example user config for Rasa (config, gpl, program)2017-02-200.1.4ChrisPenner
rasa-ext-cmd120.01Rasa Ext for running commands (extension, gpl, library)2017-03-160.1.3ChrisPenner
rasa-ext-cursors250.01Rasa Ext adding cursor(s) (extension, gpl, library)2017-03-160.1.7ChrisPenner
rasa-ext-files140.01Rasa Ext for filesystem actions (extension, gpl, library)2017-03-160.1.5ChrisPenner
rasa-ext-logger150.01Rasa Ext for logging state/actions (extension, gpl, library)2017-03-160.1.4ChrisPenner
rasa-ext-slate190.00Rasa extension for rendering to terminal with vty (extension, gpl, library)2017-03-160.1.8ChrisPenner
rasa-ext-status-bar120.04Rasa Ext for populating status-bar (extension, gpl, library)2017-01-290.1.3ChrisPenner
rasa-ext-style120.03Rasa Ext managing rendering styles (extension, gpl, library)2017-01-290.1.4ChrisPenner
rasa-ext-views110.03Rasa Ext managing rendering views (extension, gpl, library)2017-03-160.1.6ChrisPenner
rasa-ext-vim140.00Rasa Ext for vim bindings (extension, gpl, library)2017-03-160.1.8ChrisPenner
reactive-banana-sdl70.01Reactive Banana bindings for SDL (gpl, graphics, library)2014-01-310.2.0JeanPhilippeMoresmau
reexport-crypto-random70.02 (gpl, library, miscellaneous)2015-03-220.1.0.0JamesCandy
reflex-libtelnet62.00Reflex bindings for libtelnet (gpl, library, network)2022-05-210.2.0.0jack
reformat90.01The parser and render to parsec and render the string. (gpl, library, text)2017-12-280.1.0.1qinka
requirements350.02Abstraction to manage user defined Type Errors (development, gpl, library)2024-11-080.7.0.3jpgarcia
resolv2550.03Domain Name Service (DNS) lookup via the libresolv standard library routines (gpl, library, network)2023-06-120.2.0.2AndreasAbel, HerbertValerioRiedel, lyokha
resolve-trivial-conflicts (deprecated in favor of git-mediate)410.01Remove trivial conflict markers in a git repository (deprecated, development, gpl, program)2016-12-200.3.2.4EyalLotem
restless-git200.01Easy Git repository serialization (git, gpl, library)2018-10-060.7mbrock
rhbzquery230.00Bugzilla query tool (gpl, program, utils)2021-09-060.4.4JensPetersen
rlwe-challenges70.00Ring-LWE/LWR challenges using Lol. (crypto, gpl, library, program)2017-02-240.1.0.1crockeea
robin30.01A build daemon for Haskell development (development, gpl, program)2015-09-100.1.0.0KarlVoelker
roller300.01Playing with applicatives and dice! (acme, gpl, library, program)2016-02-230.1.7ljsc, PiotrJustyna
rosa350.01Query the namecoin blockchain (gpl, program, utility)2022-06-120.6.0.0rnhmjoj
rose-trie230.01Trees with polymorphic paths to nodes, combining properties of Rose Trees and Tries. (data, gpl, library)2017-03-271.0.0.5RaminHonary
rpm-nvr260.02RPM package name-version-release data types (distribution, gpl)2022-05-100.1.2JensPetersen
rtorrent-state100.01Parsing and manipulation of rtorrent state file contents (data, gpl, library)2014-08-170.1.0.1MateuszKowalczyk
rts-loader (deprecated)110.00Dynamically load Haskell libraries (deprecated, distribution, gpl, library, program)2016-06-230.0.0.3DanielG
rubberband160.01Binding to the C++ audio stretching library Rubber Band (gpl, library, sound)2015-07-130.1.0.2mtolly
runghc140.01runghc replacement for fast repeated runs (console, gpl, program)2014-09-090.1.0.3MikeZuser
satchmo740.05SAT encoding monad (gpl, library, logic)2022-08-302.9.9.4JohannesWaldmann
scalpel-search110.00scalpel scrapers for search engines (gpl, library, web)2023-03-190.1.0.2fffaaa
schedule150.00Pure deterministic scheduled computations (control, delay, gpl, library, schedule, time, timeout)2020-04-030.3.0.0infinity0
schema130.01Encoding-independent schemas for Haskell data types. (data, gpl, library)2022-02-210.0.3iphydf, TokTokReleaser
scidb-hquery112.00Haskell query for SciDB via shim (client, database, gpl, library, program)2020-03-232.8.0.437mdgabriel
scrape-changes220.01Scrape websites for changes (gpl, library, network)2017-02-170.1.0.52chilled
scroll342.01scroll(6), a roguelike game (game, gpl, program)2018-04-221.20180421JoeyHess
scubature100.01Multidimensional integration over simplices (gpl, integration, library, numeric)2022-12-121.1.0.0stla
sdl2-compositor250.01image compositing with sdl2 - declarative style (gpl, graphics, library)2017-06-121.2.0.7seppeljordan
secret-santa50.01Secret Santa game assigner using QR-Codes (game, gpl, program)2013-04-110.1.0.0RodrigoSetti
sednaDBXML120.02Sedna C API XML Binding (database, ffi, gpl, library)2011-11-110.1.2.5EricJones
sequence-formats1310.01A package with basic parsing utilities for several Bioinformatic data formats. (bioinformatics, gpl, library)2024-11-081.10.0.0stephan_schiffels
sequenceTools290.00A package with tools for processing DNA sequencing data (bioinformatics, gpl, library, program)2023-04-181.5.3.1stephan_schiffels
sessiontypes140.01Session types library (control, gpl, library, program)2018-01-130.1.2ferdinandvw
sessiontypes-distributed80.01Session types distributed (control, gpl, library)2018-01-130.1.1ferdinandvw
sexp130.01S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-260.7AlexandruScvortov
shake-persist60.00Shake build system on-disk caching (development, gpl, library, program)2016-01-050.1.0.0KAction
sibe340.00Machine Learning algorithms (data-science, gpl, library, machine-learning, program, web)2017-05-250.2.0.5mdibaiee
sieve130.01Sieve is an implementation of the Sieve abstract data type. (data, gpl, library)2013-01-150.1.0.1JohnSingleton
significant-figures80.00Calculate expressions involving significant figures. (chemistry, gpl, library, math, program)2022-10-130.2.0.0mizlan
simple-eval70.01Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-240.1.0.1m
simple-ui120.00UI library for terminal. (gpl, graphics, library)2021-06-110.3.0piotrborek
simplex470.01A simple markup language that translates to LaTeX (gpl, latex, program)2013-06-160.3.8JulianFleischer
simtreelo350.01Load data organized in a tree. (data, gpl, library)2018-10-230.1.1.4mgmillani
skylighting10792.2512syntax highlighting library (gpl, library, text)2024-09-100.14.3JohnMacFarlane
sleep140.01zZzzZz (gpl, library, program, system)2017-01-150.1.0.1AlanHawkins
slope-field90.00Visualize mathematical function's slope fields (gpl, library, program, web)2016-11-250.1.0.1mdibaiee
slynx1160.00Handle molecular sequences (bioinformatics, gpl, library, program)2024-10-270.8.0.0dschrempf
smcdel122.00Symbolic Model Checking for Dynamic Epistemic Logic (gpl, library, logic)2024-04-241.3.0m4lvin
smtlib2172.06A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-debug50.01Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-pipe60.01A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-quickcheck40.01Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-061.0HenningGuenther
smtlib2-timing50.01Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-071.0HenningGuenther
snaplet-coffee130.01CoffeeScript for Snap, auto-compilation and pre-compilation. (gpl, library, snap, web)2013-04-160.1.0.2KevinVanRooijen
snaplet-sedna60.01Snaplet for Sedna Bindings. Essentailly a rip of snaplet-hdbc. (database, gpl, library)2011-11-060.0.1.0EricJones
sneakyterm70.01Tiny, declarative wrapper around ncurses (gpl, library, user-interfaces)2015-08-100.1pimiddy
snm160.01The Simple Nice-Looking Manual Generator. (documentation, gpl, library, program)2010-07-270.0.4JohnnyMorrice
snorkels30.01Strategic board game of medium complexity (game, gpl, library, program)2016-09-130.2.0.0unaizalakain
snowglobe310.01randomized fractal snowflakes demo (demo, gpl, program)2016-06-183.0.0.3ClaudeHeilandAllen
sortee170.00Generate string for sort key (gpl, library, sorting)2019-07-090.1.0.1b123400
sox690.07Play, write, read, convert audio signals using Sox (gpl, library, sound)2023-01-140.2.3.2HenningThielemann
spacecookie212.00Gopher server library and daemon (gpl, library, network, program)2022-10-031.0.0.2sternenseemann
spade280.00A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2024-08-040.1.0.10sras
sparql-protocol100.01An SPARQL 1.1 Protocol client library. (database, gpl, library)2018-01-261.1.0.0ardamose123
sparse-linear-algebra772.08Numerical computing in native Haskell (gpl, library, numeric)2018-04-050.3.1ocramz
spatial-rotations160.01Rotate about any suitable axis (gpl, library, math)2022-04-150.1.0.2leftaroundabout
spectral-clustering510.04Library for spectral clustering. (gpl, library, math)2020-05-040.3.2.2GregorySchwartz
specup450.00Manage the application of templates to custom yaml (documentation, gpl, library, program)2024-10-260.2.0.3danielrolls
spoonutil50.02Spoon's utilities. Simple testing and nice looking error reporting. (gpl, library, program, testing)2010-07-270.0.1JohnnyMorrice
sscan70.01text UI for scanning with SANE (gpl, graphics, program)2020-01-280.2spwhitton
stack2cabal431.750Convert stack projects to cabal.project + cabal.project.freeze (building, gpl, library, program)2022-09-131.0.14maerwald, tseenshe
stackage-to-hackage152.00Convert stack.yaml to cabal.project + cabal.project.freeze (building, gpl, library, program)2019-07-301.1.1tseenshe
stackcollapse-ghc172.00Program to fold GHC prof files into flamegraph input (gpl, profiling, program)2021-05-100.0.1.4rzeznik
static110.00Type-safe and interoperable static values and closures (closure, control, gpl, library, static)2020-05-290.1.0.1infinity0
staticanalysis130.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
stats110.01command line statistics (gpl, math, program)2013-12-050.1.1cheecheeo
stdf80.01Parse Structured Test Data Format (STDF) (data, gpl, library, program)2014-10-130.2.0.0m
stochastic170.01Monadic composition of probabilistic functions and sampling. (gpl, library, math)2016-08-270.1.1.1chokboy
stylist440.01Apply CSS styles to a document tree. (gpl, language, library)2023-06-202.7.0.1alcinnz
stylist-traits200.06Traits, datatypes, & parsers for Haskell Stylist (gpl, library, web)2023-05-180.1.3.1alcinnz
subleq-toolchain80.01Toolchain of subleq computer. (gpl, language, library, program)2015-12-240.1.8.5na4zagin3
submark110.00Extract a part from CommonMark/Markdown docs (gpl, library, program, text)2022-03-150.3.1hongminhee
subsample60.00Subsample data. (bioinformatics, gpl, library, program)2018-05-160.1.0.0GregorySchwartz
subzero260.01Helps when going "seed values" -> alternatives and optional -> answers (data-structures, gpl, library)2017-12-100.1.0.8codeshot
suffixarray100.01n log n implementation of suffix array. (data, gpl, library, program)2012-06-170.0.3.1DanielDeKok, VictorDenisov
svgsym110.00A tool to prune unused symbols from icon SVG files. (gpl, program, utility)2024-02-190.1.2.0RobertHelgesson
svm130.01A support vector machine written in Haskell (ai, gpl, library)2010-12-171.0.0.1AndrewDougherty
symantic200.01Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-126.3.4.20190712julm
symantic-atom40.00Library for reading and writing Atom. (gpl, library, text, xml)2020-08-170.0.0.20200523julm
symantic-cli270.01Symantics for parsing and documenting a CLI (cli, gpl, library, options, parsing, system)2019-10-282.4.2.20190806julm
symantic-grammar160.02Library for symantic grammars. (gpl, language, library)2019-06-170.3.3.20190614julm
symantic-http90.04Symantic combinators for deriving clients or a server from an HTTP API (gpl, library, protocol)2019-04-120.1.1.20190410julm
symantic-http-client100.00symantic-http applied to the derivation of HTTP clients (gpl, library, protocol)2019-04-120.0.1.20190410julm
symantic-http-demo70.00Demo for symantic-http and its companion libraries (gpl, library, program, protocol)2019-03-250.0.0.0julm
symantic-http-pipes100.00Streaming support through pipes for symantic-http (gpl, library, protocol)2019-03-250.0.0.20190324julm
symantic-http-server150.00symantic-http applied to the derivation of HTTP servers (gpl, library, protocol)2019-04-120.1.1.20190410julm
symantic-http-test70.00Test symantic-http and its companion libraries (gpl, protocol)2019-04-120.0.1.20190410julm
symantic-lib160.01Symantics for common types. (gpl, language, library)2019-06-170.0.5.20190614julm
symantic-xml70.01Library for reading, validating and writing XML. (gpl, library, text, xml)2020-08-172.0.0.20200523julm
symon52.01Minimal implementation(s) of the classic electronic memory game. (development, gpl, program)2016-08-310.1SimonMichael
synthesizer-alsa600.02Control synthesizer effects via ALSA/MIDI (gpl, library, music, sound)2021-10-160.5.0.6HenningThielemann
synthesizer-llvm600.01Efficient signal processing using runtime compilation (gpl, library, music, sound)2023-10-051.1.0.1HenningThielemann
systemd-ntfy90.00Send notifications for systemd units to ntfy.sh (gpl, program, system)2023-08-240.1.0mpardalos
talash290.00Line oriented fast enough text search (gpl, library, program, search, tui)2022-09-250.3.0rahguzar
tasty-process72.00Test execution of external processes with Tasty (gpl, library, program, testing)2024-03-140.1.0.1pcloud
telegram50.01Telegram API client (gpl, library, network)2015-07-210.1.0.0sgillis
tellbot880.01IRC tellbot (gpl, network, program)2016-05-250.6.1DimitriSabadie
template-toolkit131.51Template Toolkit implementation for Haskell (gpl, library, text)2018-12-030.1.1.0kobargh
templateify80.01Make template from website (gpl, program, web)2017-01-150.1.0.1AlanHawkins
tensor180.01A completely type-safe library for linear algebra (data, gpl, library, math)2013-10-190.3.0.1NicolaSquartini
termcolor110.00Composable terminal colors (gpl, library, program, web)2017-03-300.2.0.0mdibaiee
tersmu80.01A semantic parser for lojban (gpl, language, library, program)2018-04-290.2.2mbays
tex-join-bib80.00Compile separate tex files with the same bibliography. (bioinformatics, gpl, library, program)2020-03-120.1.0.0GregorySchwartz
tex2txt40.01LaTeX to plain-text conversion (gpl, library, program, text)2015-03-240.1.0.0vdaudaravicius
texbuilder280.01View your latex output while editing (gpl, latex, program)2018-04-150.1.4.1xaverdh
texmath12032.08Conversion between math formats. (gpl, library, text)2024-10-050.12.8.11JohnMacFarlane
text-containers50.00Memory-efficient string-indexed container types. (data, data-structures, gpl, library)2017-10-130.1.0.0HerbertValerioRiedel
text-icu-normalized180.02Dealing with Strict Text in NFC normalization. (data, gpl, library, text)2017-04-300.4.1misandrist
tictactoe3d110.013D Tic-Tac-Toe game (game, gpl, library)2015-08-120.1.0.3ryo0ka
tidal5642.56Pattern language for improvised music (gpl, library, sound)2024-04-071.9.5AlexMcLean, kindohm, lennart, MatthewKaney
tidal-link1370.01Ableton Link integration for Tidal (gpl, library, program, sound)2024-04-071.0.3AlexMcLean, MatthewKaney
tidal-midi (deprecated)350.01Please ignore this package. (deprecated, gpl, library, sound)2018-04-140.9.10AlexMcLean, kindohm, lennart
tidal-serial50.01Serial support for tidal (gpl, library, sound)2016-05-130.8AlexMcLean, kindohm, lennart
tidal-vis410.01Visual rendering for Tidal patterns and osc messages (gpl, library, program, sound)2019-08-291.0.15AlexMcLean, MatthewKaney
time-io-access40.01IO Access for time (development, gpl, library)2013-12-310.1.0.0bheklilr
time-quote50.01Quasi-quoters for dates and times (gpl, library, time)2018-05-271.9.0.0ThomasTuegel
time-series70.01Time series analysis. (data, gpl, library, program)2013-11-080.1.0.0AtsuroHoshino
timeconsole240.01time each line of terminal output (gpl, program, testing)2019-03-150.1.0.5AlanHawkins
timeutils62.00Time utilities (gpl, library, program, time)2019-08-060.1.0jlamothe
timezone-detect210.00Haskell bindings for the zone-detect C library; plus tz-aware utils. (data, foreign, gpl, library, time)2021-03-140.3.0.1lfborjas
titan130.01Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs (gpl, program, testing)2020-01-221.0.2keera_studios_ci
titan-debug-yampa70.00Testing Infrastructure for Temporal AbstractioNs - Interactive Yampa debugging layer. (gpl, library, testing)2020-01-211.0.1keera_studios_ci
titan-record-yampa60.00Testing Infrastructure for Temporal AbstractioNs - Yampa record-and-replay layer (gpl, library, testing)2020-01-211.0.1keera_studios_ci
tlynx1190.00Handle phylogenetic trees (bioinformatics, gpl, library, program)2024-10-270.8.0.0dschrempf
tmpl70.01simple executable for templating (data, gpl, program)2014-09-250.0.0.1michelk
token-bucket200.02Rate limiter using lazy bucket algorithm (concurrency, gpl, library)2014-12-060.1.0.1HerbertValerioRiedel
tokenizer-monad130.02An efficient and easy-to-use tokenizer monad. (gpl, library, text)2019-01-220.2.2.0implementation
tokenizer-streaming80.00A variant of tokenizer-monad that supports streaming. (gpl, library, text)2019-01-220.1.0.1implementation
tokstyle160.00TokTok C code style checker (development, gpl, library, program)2021-12-250.0.8iphydf
too-many-cells860.00Cluster single cells and analyze cell clade relationships. (bioinformatics, gpl, library, program)2022-10-063.0.1.0GregorySchwartz
tophat350.00Template-to-Haskell preprocessor, and templating language (gpl, library, program, web)2024-05-211.0.8.0jcranch
toxcore100.01A Tox protocol implementation in Haskell (gpl, library, network)2020-04-080.2.11iphydf
toxcore-c60.00Haskell bindings to the C reference implementation of Tox (gpl, library, network, program)2020-03-270.2.11iphydf
tpb120.01Applications for interacting with the Pushbullet API (gpl, program, web)2017-08-010.4.0.0tsani
tpdb870.01Data Type for Rewriting Systems (gpl, library, logic, program)2023-10-112.7.2JohannesWaldmann
tptp220.01Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-110.1.3.0EK
transformations90.01Generic representation of tree transformations (gpl, language, library, program)2015-02-150.2.0.0JeroenBransen, JosePedroMagalhaes
tree-diff3252.256Diffing of (expression) trees. (data, gpl, library, testing)2024-10-190.3.2phadej
tree-fun110.04Library for functions pertaining to tree exploration and manipulation (data-structure, gpl, library)2016-02-090.8.1.0GregorySchwartz
treemap100.01A tree of Data.Map. (data-structures, gpl, library)2018-02-142.4.0.20180213julm
treeseq70.03Library for a multi-way tree (rose tree), using Seq (finger tree) for forests (data-structures, gpl, library)2018-02-141.0.0.20180213julm
tremulous-query220.01Library for polling Tremulous servers (gpl, library, network)2013-03-081.0.7ChristofferOjeling
trivial-constraint480.05Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-070.7.0.0leftaroundabout
tropical-geometry60.00A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-130.0.0.1ferynando7
tubes550.01Write stream processing computations with side effects in a series of tubes. (control, gpl, library, streaming)2016-08-162.1.1.0gatlin
tuple-sop240.01functions on n-ary tuples using generics-sop (data, gpl, library)2018-06-240.3.1.0ferdinandvw
turingMachine120.01An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-151.0.0.0sanjorgek
type-safe-avl80.00Type safe BST and AVL trees (data, gpl, library)2022-05-311.0.0.1nico
typechain110.00An implementation of LangChain in Haskell (ai, gpl, library, program)2024-01-280.2.0.0archaversine
typography-geometry250.03Drawings for printed text documents (gpl, library, typography)2019-08-251.0.1.0JeanPhilippeBernardy, PierreEtienneMeunier
uhttpc110.01Minimal HTTP client library optimized for benchmarking (gpl, library, network, program)2019-05-290.1.1.1HerbertValerioRiedel
uniform-algebras180.04Pointless functions and a simplistic zero and monoid (algebra-uniform, gpl, library)2023-03-060.1.5.1andrewufrank
uniform-error180.03Handling errors in the uniform framework (error-exception-uniform, gpl, library)2023-03-060.1.5.1andrewufrank
uniform-fileio90.02Uniform file handling operations (data-text-uniform, gpl, library)2023-03-060.1.5.1andrewufrank
uniform-strings220.05Manipulate and convert strings of characters uniformly and consistently (data-text-uniform, gpl, library)2023-03-060.1.5.1andrewufrank
uniform-time110.02Time in the uniform framework (gpl, library, time-uniform)2023-03-060.1.5.1andrewufrank
uniformBase90.010A uniform base to build apps on (gpl, library, programming-uniform)2023-03-060.1.5.1andrewufrank
unmed2 (deprecated in favor of med-module)100.01Extract useful information from Amiga MED files (deprecated, gpl, program, sound)2017-07-010.0HenningThielemann
uxadt80.02Cross-language extensible representation for algebraic data type instances. (data, gpl, library)2014-07-220.0.16.0AndreiLapets
uzbl-with-source120.01Utility function for reading a source of loaded uzbl pages. (gpl, library, uzbl, web)2014-05-120.1.0.0MateuszKowalczyk
vabal112.250the cabal companion (development, distribution, gpl, program)2019-01-102.0.0Franciman
vampire150.01Analyze and visualize expression trees. (development, gpl, library, program)2014-06-290.1.3.0benzrf
vector-clock250.01Vector clocks for versioning message flows (data, data-structures, distributed-computing, gpl, library)2013-06-230.2.2AlexandruScvortov, hansonkd
venzone322.250ASCII platform-adventure game (game, gpl, program)2023-03-191.1.1.2fffaaa
verismith290.00Random verilog generation and simulator testing. (gpl, hardware, library, program)2020-03-061.0.0.2ymherklotz
vertexenum120.01Vertex enumeration (geometry, gpl, library, math)2024-05-081.0.0.0stla
vision150.01An XMMS2 client. (gpl, program, sound)2011-07-130.0.5.0OlegBelozeorov
vitrea70.00Profunctor optics via the profunctor representation theorem. (gpl, lenses, library)2020-03-300.1.0.0mroman42
vty-menu120.01A lib for displaying a menu and getting a selection using VTY (gpl, graphics, library, program)2016-10-110.0.4TimothyHobbs
wai-lite (deprecated in favor of simple)80.01DEPCRECATED (use package "simple" instead) A minimalist web framework for WAI web applications (deprecated, gpl, library, web)2012-10-300.2.0.0AmitLevy
wai-middleware-preprocessor50.01WAI middleware for preprocessing static files (gpl, library, web)2015-02-270.2.0.0taktoa
weatherhs50.00Weather and related data info command-line tool (application, command-line-tool, gpl, program)2022-09-011.0.0NH000
webdriver-w3c90.00Bindings to the WebDriver API (gpl, library, program, testing, web, webdriver)2022-06-290.0.3nbloomf
webp122.01JuicyPixels support for WebP format (codec, compression, gpl, image, library)2023-08-010.1.0.3vmchale
wikimusic-api40.00 (gpl, library, program, unclassified)2024-08-141.1.0.1jjba
wikimusic-api-spec90.02 (gpl, library, unclassified)2024-09-181.2.1.2jjba
wikimusic-model-hs50.03 (gpl, library, unclassified)2024-08-131.2.0.0jjba
wikimusic-ssr90.00 (gpl, library, program, unclassified)2024-08-140.6.0.1jjba
windns640.02Domain Name Service (DNS) lookup via the <windns.h>/dnsapi.dll standard library (gpl, library, network)2018-10-270.1.0.1HerbertValerioRiedel, phadej
withdependencies640.01Run computations that depend on one or more elements in a stream. (control, gpl, library)2024-10-290.3.1SimonMarechal
word-trie420.03Implementation of a finite trie over words. (data, gpl, library)2015-05-100.3.0DmitryIvanov, MateuszKowalczyk
workflow-osx90.00a "Desktop Workflow" monad with Objective-C bindings (accessibility, apple, automation, bindings, desktop, ffi-, gpl, library, program)2015-10-110.0.1sboo
wraxml460.01Lazy wrapper to HaXML, HXT, TagSoup via custom XML tree structure (gpl, library, xml)2023-09-300.5HenningThielemann
wsdl90.01WSDL parsing in Haskell (gpl, library, xml)2016-01-250.1.0.1pikajude
wsedit50.01A small tool to list, add and remove webseeds from a torrent file (gpl, network, program)2012-05-220.1.0.0LinusLuessing
x-dsp (deprecated)100.01A embedded DSL for manipulating DSP languages in Haskell (deprecated, gpl, library, music, sound)2012-06-170.2.3.1JohnLato
xchat-plugin70.01XChat (gpl, irc-client, library, program)2012-04-150.0.3CedricAuger
xcp60.01Partial implementation of the XCP protocol with ethernet as transport layer. (gpl, library, network)2015-06-260.1.0.1ChristianGosch
xfconf40.01FFI bindings to xfconf (gpl, library, system, xfce)2011-04-154.8.0.0JohnObbele
xml-prettify-text90.00XML pretty printer (efficient-xml-pretty-printer, gpl, library, program)2022-01-311.0.0.3MrcJkb
xmonad-contrib-gpl40.01Third party extensions for xmonad (gpl, library, system)2014-05-300.12.1DmitryBogatov
xor280.01Efficient XOR masking (codec, data, gpl, library)2024-06-250.0.1.3AndreasAbel, HerbertValerioRiedel
yajl500.02Bindings for YAJL, an event-based JSON implementation (codec, foreign, gpl, library)2014-02-150.3.2JohnMillikin
yajl-enumerator (deprecated)410.01Enumerator-based interface to YAJL, an event-based JSON implementation (deprecated, enumerator, gpl, json, library, parsing, text)2012-10-280.4.1JohnMillikin
yampa-glfw70.01Connects GLFW-b (GLFW 3+) with the Yampa FRP library (gpl, graphics, library, program)2014-06-080.1.0.0_deepfire
yampa-glut120.01Connects Yampa and GLUT (frp, gpl, graphics, library)2015-06-250.1.1.1NikolayOrlyuk
yeamer290.00Yesod-based server for interactive presentation slides (gpl, graphics, keynote, library, presentation, program)2023-04-260.1.3.1leftaroundabout
yesod-markdown1820.05Tools for using markdown in a yesod application (gpl, library, web, yesod)2024-05-080.12.6.14AlexanderDunlap, PatrickBrisbin
yi1522.2510Yi editor (gpl, program, yi)2024-11-010.19.3CoreyOConnor, DmitryIvanov, JeanPhilippeBernardy, JeffWheeler, MarcelFourne, MateuszKowalczyk, TomMurphy, JaroReinders
yi-contrib (deprecated in favor of yi-fuzzy-open, yi-snippet)430.01Add-ons to Yi, the Haskell-Scriptable Editor (deprecated, development, editor, gpl, library)2014-10-140.10.1CoreyOConnor, DmitryIvanov, JeffWheeler, MateuszKowalczyk
yi-core910.012Yi editor core library (gpl, library, yi)2024-10-160.19.4DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-dynamic-configuration330.01Dynamic configuration support for Yi (gpl, library, yi)2020-11-200.19.1DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-emacs-colours90.01Simple mapping from colour names used in emacs to Color (gpl, library, yi)2014-11-030.1.0.1MateuszKowalczyk
yi-frontend-pango800.00Pango frontend for Yi editor (gpl, library, yi)2024-10-160.19.2DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-frontend-vty560.00Vty frontend for Yi editor (gpl, library, yi)2024-10-160.19.1DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-fuzzy-open422.01Fuzzy open plugin for yi (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, MateuszKowalczyk, TomMurphy, JaroReinders
yi-ireader450.01Yi editor incremental reader (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-keymap-cua910.01Cua keymap for Yi editor (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-keymap-emacs720.01Emacs keymap for Yi editor (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-keymap-vim502.00Vim keymap for Yi editor (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-language1030.015Collection of language-related Yi libraries. (gpl, library, yi)2024-10-250.19.2DmitryIvanov, JaredHance, MarcelFourne, MateuszKowalczyk, TomMurphy, JaroReinders
yi-misc-modes540.01Yi editor miscellaneous modes (gpl, library, yi)2024-10-160.19.1DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-mode-haskell550.00Yi editor haskell mode (gpl, library, yi)2024-10-160.19.1DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-mode-javascript560.00Yi editor javascript mode (gpl, library, yi)2024-10-160.19.1DmitryIvanov, MarcelFourne, TomMurphy, JaroReinders
yi-rope1202.2527A rope data structure used by Yi (gpl, library, yi)2018-06-060.11DmitryIvanov, MarcelFourne, MateuszKowalczyk, JaroReinders
yi-snippet540.01Snippet support for yi (gpl, library, yi)2020-11-200.19.0DmitryIvanov, MarcelFourne, MateuszKowalczyk, TomMurphy, JaroReinders
yiyd100.00 (cli, gpl, program)2019-04-071.0.1vonfry
yst752.01Builds a static website from templates and data in YAML or CSV files. (gpl, program, text)2023-02-040.7.2JohnMacFarlane
yu-auth150.01Auth module for Yu. (gpl, library, web)2018-02-240.1.1.10qinka
yu-core80.00The core of Yu. (gpl, library, web)2018-02-240.1.1.2qinka
yu-launch112.01The launcher for Yu. (gpl, program, web)2018-02-240.1.1.0qinka
yu-tool90.01Tool for Yu (gpl, program, web)2018-02-240.1.1.30qinka
yu-utils70.02Utils for Yu (gpl, library, web)2018-02-240.1.1.0qinka
yxdb-utils70.00Utilities for reading and writing Alteryx .yxdb files (database, gpl, library, program)2015-05-100.1.0.1MichaelBurge
zim-parser310.01Read and parse ZIM files (codec, gpl, library)2016-10-270.2.1.0robbinch
zinza320.00Typed templates with jinja like syntax (gpl, library, template, text)2024-06-050.2.1phadej
zydiskell232.00Haskell language binding for the Zydis library, a x86/x86-64 disassembler. (disassembler, gpl, library, parsing, system)2020-11-220.2.0.0nerded