Packages tagged language

792 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (718), bsd3 (469), program (238), mit (171), deprecated (58), gpl (57), math (42), phonetic-languages (31), game (29), Ukrainian (26), embedded (26), public-domain (24), web (23), compiler (21), compilers-interpreters (19), apache (18), data (18), development (16), text (15), sound (11), formal-methods (10), hardware (9), music (9), .net (7), ffi (7), phonetics (7), agpl (6), clr (6), concurrency (6), parser (6), sox (6), PhLADiPreLiO (5), code-generation (5), control (5), database (5), generics (5), lgpl (5), mpl (5), parsing (5), pretty-printer (5), source-tools (5), uniqueness (5), bsd2 (4), effect (4), javascript (4), speech-approximation (4), syllable-segmentation (4), uniqueness-periods (4), writing-systems (4), algorithmic-composition (3), ats (3), elm (3), foreign (3), pugs (3), speech-transformation (3), system (3), algorithms (2), aop (2), aspect-oriented-programming (2), bsd4 (2), compilers (2), configuration (2), dependent-types (2), dhall (2), dsl (2), formal-languages (2), frp (2), general (2), graphics (2), haskell (2), html (2), interpreter (2), interpreters (2), io (2), json (2), jvm (2), lenses (2), logic (2), monads (2), mutable-state (2), optimization (2), phladiprelio (2), poetry (2), polymorphism (2), prosodic-languages (2), prosody (2), reflection (2), template-haskell (2), unification (2), visual-programming (2), voice (2), #AncientEgypt (1), aftovolio (1), ai (1), algebra (1), analysis (1), api (1), array (1), binary-search (1), bitcoin (1), build (1), c (1), codec (1), coherency (1), compression (1), cryptography (1), debug (1), debuggers (1), disassembler (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ASN130.01ASN.1 support for Haskell (bsd3, language, library)2008-06-220.0.1.1HerbertValerioRiedel
AspectAG300.05First-class Attribute Grammars implemented using type-level programming. (gpl, language, library)2024-11-080.8.0.0MarcosViera, jpgarcia
BASIC91.751Embedded BASIC (bsd3, language, library)2009-02-090.1.5.0LennartAugustsson
BNFC-meta370.01Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-090.6.1JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BiGUL42.251The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-301.0.1joshko, Zirun
CSPM-CoreLanguage260.04Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-260.3.1.0MarcFontaine
CSPM-FiringRules90.02Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-260.4.4.0MarcFontaine
CSPM-Frontend140.04A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-260.12.1.0MarcFontaine
CSPM-Interpreter150.02An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-260.7.1.0MarcFontaine
CSPM-cspm130.01cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-260.8.1.0MarcFontaine
CoreErlang70.01Manipulating Core Erlang source code (bsd3, language, library)2018-03-200.0.4AlexKropivny, HenriqueFerreiro
DTC60.01Data To Class transformation. (bsd3, language, library)2013-04-211.1.0.1DanielDiaz
DrHylo40.01A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-090.0.2HugoPacheco
Ebnf2ps210.01Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-261.0.15PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)580.06The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-220.13EvanCzaplicki
Eq (deprecated)110.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
Feval42.01Evaluation using F-Algebras (language, mit, program)2015-09-071.0.0.1burz
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)90.01ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, deprecated, hardware, language, library)2010-06-253.1.1AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo
GLM100.00Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-090.7.0.0LyndonMaydwell
GTALib90.01A library for GTA programming (bsd3, language, library)2012-06-080.0.6KentoEmoto
Ganymede40.01An Io interpreter in Haskell. (bsd3, language, program)2011-04-180.0.0.5WaltBaety
GoogleTranslate60.02Interface to Google Translate API (gpl, language, library)2010-10-010.0.5AndyStewart
GroteTrap80.01Parser and selection library for expression languages. (bsd3, language, library)2016-10-080.5.2MartijnVanSteenbergen
HJScript140.02HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-180.7.0JeremyShaw, NiklasBroberg
HJVM20.01A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-150.1JeanPhilippeMoresmau
HJavaScript80.02HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-050.4.7NiklasBroberg
HsParrot100.01Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-150.0.2.20150805AudreyTang
HsPerl5100.01Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-150.0.6.20150815AudreyTang
ImperativeHaskell252.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
Javasf (deprecated in favor of javasf)20.01A utility to print the SourceFile attribute of one or more Java class files. (bsd3, deprecated, language, program)2010-12-120.0.1TonyMorris
Javav (deprecated in favor of javav)70.01A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-060.0.4TonyMorris
JsContracts50.01Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-150.5.3ArjunGuha
JsonGrammar310.01Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-071.0.5MartijnVanSteenbergen
LC3110.00LC-3 virtual machine (bsd3, language, program)2019-01-010.1.0.2DavidJohnson
LambdaCalculator130.01A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-290.2ThomasDuBuisson
LambdaPrettyQuote100.01Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-240.0.0.8JonathanFischoff
LibClang110.01Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-153.8.0ChetanTaralekar, deech
LslPlus210.01An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-250.4.3RobertGreayer
MagicHaskeller230.02Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2022-06-020.9.7.1SusumuKatayama
MicroCabal140.00A partial Cabal replacement (apache, language, program)2024-11-100.3.1.2LennartAugustsson
MicroHs372.50A small compiler for Haskell (apache, language, program)2025-01-250.11.4.0LennartAugustsson
MicrosoftTranslator50.01Interface for Microsoft Translator (bsd3, language, library)2015-08-230.1.0.1netogallo
NXTDSL60.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
NanoProlog190.01Very small interpreter for a Prolog-like language (bsd3, language, library, program)2011-12-220.3DoaitseSwierstra, JurrienStutterheim, joaopizani
Nomyx-Language (deprecated in favor of nomyx-language)420.03Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-260.7.6CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)70.01Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-250.1.0CorentinDupont
Obsidian70.01Embedded language for GPU Programming (bsd3, language, library)2016-05-140.4.0.0JoelSvensson
Ordinary40.00A Programming Language in Construction (bsd3, language, library, program)2018-01-080.2018.1.8MarisaVeryMoe
Paraiso150.01a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-030.3.1.5TakayukiMuranushi
Plural230.01Pluralize English words (gpl, language, library)2009-08-050.0.2AndyStewart
Pugs280.01A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-156.2.13.20150815AudreyTang, JeffShaw
SCRIPTWriter60.00ESCRIPT: a human friendly language for programming Bitcoin scripts (bitcoin, bsd3, language, library, program, script)2018-10-151.0.1RickKlomp
SNet30.01Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-240.1.0MerijnVerstraaten
Strafunski-Sdf2Haskell80.01Converts SDF to Haskell (bsd3, language, program)2013-05-031.0.0.2JamesKoppel
URLT (deprecated in favor of web-routes)40.02Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-160.14JeremyShaw
WebBits (deprecated in favor of language-ecmascript)130.06JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-102.2AndreyChudnov, ArjunGuha
WebBits-Html50.02JavaScript analysis tools (language, library)2010-02-011.0.2ArjunGuha
WebBits-multiplate30.01A Multiplate instance for JavaScript. (language, library, mit)2011-03-240.0.0.1BalazsEndresz
Wired70.01Wire-aware hardware description (bsd3, hardware, language, library)2014-05-060.3EmilAxelsson
XmlHtmlWriter52.01A library for writing XML and HTML (bsd3, language, library)2012-05-250.0.0.1MatthewMirman
abacate30.02Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-110.0.0.0MarcoSilva
abt61.251Abstract binding trees for Haskell (language, library, mit)2015-01-110.1.1.0JonSterling
acl280.02Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-010.0.1TomHawkins
adtrees20.00Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-230.1.0.0umazalakain
aftovolio560.01An AFTOVolio implementation for creating texts with special phonetic / prosodic properties. (aftovolio, language, library, math, mit, music, poetry, program, rhythmicity)2025-02-240.7.1.0OleksandrZhabenko
agda2hs132.00Compiling Agda code to readable Haskell. (bsd3, compiler, language, program)2024-10-041.3jcockx
alga (deprecated)80.00Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-100.2.2mrkkrp
algorithmic-composition-additional120.00Helps to create experimental music from a file (or its part) and a Ukrainian text. (Ukrainian, algorithmic-composition, language, library, mit, music, program, sound, sox)2022-08-170.2.0.0OleksandrZhabenko
algorithmic-composition-basic540.04Helps to create experimental music from a file (or its part) and a Ukrainian text. (Ukrainian, algorithmic-composition, language, library, mit, music, sound, sox)2022-08-170.6.0.0OleksandrZhabenko
antimirov20.01Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-300.1.0RickKaudewitz
aop-prelude150.00prelude for Algebra of Programming (bsd3, language, library)2024-11-100.5.0.0KatsutoshiItoh
apple52.00Apple array language compiler (agpl, array, language, library, program)2024-09-100.3.0.0vmchale
applicative-parsec40.01An applicative parser combinator library (gpl, language, library)2015-04-090.1.0.0KarlVoelker
applicative-quoters220.01Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-220.1.0.8BenMillwood
arduino-copilot562.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2024-02-221.7.8JoeyHess
arghwxhaskell30.01An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-030.8.2.0HenkJanVanTuyl, fgaz, GeorgeThomas
ariadne70.01Go-to-definition for Haskell (language, mit, program)2014-11-010.1.2.3RomanCheplyaka, manzyuk
array-forth70.02A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-170.2.1.4TikhonJelvis
ast-monad30.01A library for constructing AST by using do-notation (bsd3, language, library)2017-04-270.1.0.0MasatoMouri
ast-monad-json40.01A library for writing JSON (bsd3, language, library)2017-04-290.1.0.1MasatoMouri
astview (deprecated)80.01A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-190.1.4SebastianMenge
astview-utils (deprecated)70.01Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-180.1SebastianMenge
aterm-utils50.01Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-180.2.0.2JasonDagit
atom330.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atomo120.02A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-110.4.0.2AlexSuraci
ats-format660.02A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2019-11-300.2.0.36vmchale
axel120.00The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-030.0.12jgrosso256
bash140.01Bash generation library. (bsd3, language, library)2013-03-170.1.8JasonDusek
berp51.251An implementation of Python 3. (bsd3, language, library, program)2010-05-310.0.2BerniePope
bidirectional-instances50.00Make instance constraints bidirectional (language, library, mit)2022-09-040.1.0.0lev_135
bidirectionalization-combined40.01Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) (language, program, public-domain)2010-09-270.1.0.1JoachimBreitner
bighugethesaurus50.01API wrapper for Big Huge Thesaurus (api, language, library)2015-12-280.1.0.0TheKing
binary-literal-qq (deprecated)70.01Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-241.0MathieuBoespflug
birds-of-paradise80.00Birds of Paradise (bsd3, language, library)2023-04-190.2.1.2KatsutoshiItoh
bitcoin-scripting42.00Resources for working with miniscript, and script descriptors (bsd3, language, library)2022-08-040.3.0IanShipman
blanks100.00Fill-in-the-blanks - A library factoring out substitution from ASTs (bsd3, language, library)2020-11-040.5.0ejconlon
bond260.01Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2024-07-150.13.0.0chwarr, jdupej9000
bond-haskell-compiler210.01Bond code generator for Haskell (bsd3, language, library, program)2016-11-260.1.5.0blaze
boolsimplifier160.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
bound782.59Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2023-08-062.0.7EdwardKmett, EricMertens, ryanglscott
bound-extras50.00ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2024-08-030.0.3phadej
bound-simple32.00A lightweight implementation of 'bound' (bsd3, language, library)2021-10-180.2.0.0ocramz
brain-bleep40.01primitive imperative language (bsd3, language, program)2019-05-220.1.0.2AlanHawkins
brainfuck-tut140.01A simple BF interpreter. (bsd3, language, library, program)2016-12-300.7.0.2alleledev
bricks (deprecated)60.01Bricks is a lazy functional language based on Nix. (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-internal (deprecated)30.05... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-internal-test (deprecated)20.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-parsec (deprecated)30.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-rendering (deprecated)40.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-syntax (deprecated)30.03... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
brittany430.01Haskell source code formatter (agpl, language, library, program)2022-01-130.14.0.2lspitzner, fozworth, dukerutledge
broker-haskell20.01Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-160.1.0.0DavidBanas
c-dsl60.02A higher level DSL on top of language-c (language, library, mit)2014-05-070.3.1jozefg
c0check40.01Simple C0 Syntax Check (language, program)2013-01-040.2DanielSeidel, JanisVoigtlaender
c0parser40.01Simple C0 Parser (language, library)2013-01-040.2DanielSeidel, JanisVoigtlaender
c2ats22.00Translate C code into ATS (gpl, language, library, program)2016-09-170.1.0.1KiwamuOkabe
caledon112.251a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-063.2.2.0MatthewMirman
call-alloy800.00A simple library to call Alloy given a specification (language, library, mit)2024-04-240.5.0.1marcellus
call-plantuml430.00A simple library to call PlantUML given a diagram specification (graphics, language, library, mit)2023-12-060.0.1.3marcellus
calligraphy130.00HIE-based Haskell call graph and source code visualizer (bsd3, development, haskell, language, library, program)2023-06-260.1.6jonascarpay
camfort230.01CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program)2022-10-121.2.0DominicOrchard, mdanish, madgen, raehik
cao40.01CAO Compiler (compiler, cryptography, language, program)2014-04-070.1.1paufil, tfaoliveira, mbbarbosa
cap40.01Interprets and debug the cap language. (bsd3, language, program)2008-09-281.0.1ThomasDavie
cdeps310.03Extract dependencies from C code. (bsd3, c, development, language, library, program)2020-06-240.1.3.1vmchale
cg30.01Parser for categorial grammars. (gpl, language, program)2015-05-290.0.9.0pepijnkokke
chalmers-lava2000180.02Hardware description EDSL (bsd3, hardware, language, library)2016-05-191.6.1EmilAxelsson
cil60.01An interface to CIL. (bsd3, language, library)2010-11-100.1.1TomHawkins
circ70.01A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-010.0.4TomHawkins
clang-compilation-database80.01JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-090.1.0.1AlekseyKliger
clang-pure120.01Pure C++ code analysis with libclang (apache, language, library)2020-01-310.2.0.6PatrickChilton
clash (deprecated in favor of clash-ghc)200.01CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-020.1.3.11ChristiaanBaaij
cleff101.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin22.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
clogparse30.01Parse IRC logs such as the #haskell logs on tunes.org (bsd3, irc, language, library, text)2010-10-020.2KeeganMcAllister
clr-bindings90.01Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-host90.03Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-010.2.1.0PepeIborra, TimMatthews, moodmosaic
clr-inline40.01Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-080.2.0.1PepeIborra, TimMatthews, moodmosaic
clr-marshal80.04Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0.0PepeIborra, TimMatthews, moodmosaic
clr-typed50.01A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-win-linker80.01A GHC linker wrapper tool to workaround a GHC >8.2 bug (.net, bsd3, clr, ffi, language, program)2017-04-250.1.0.0PepeIborra, TimMatthews
clua50.01C to Lua data wrapper generator (bsd3, language, program)2012-04-040.3TomSchouten
cmake-syntax80.00Parser for the CMake syntax (CMakeLists.txt and .cmake files) (bsd3, language, library)2019-08-030.1.0.00xd34df00d
cmonad50.01A library for C-like programming (bsd3, language, library)2009-03-290.1.1.1LennartAugustsson
co-feldspar20.00Hardware software co-design Feldspar (bsd3, language, library)2021-06-150.1.0.1mararon
codec-beam120.01Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-060.2.0hkgumbs
codo-notation40.01A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-220.5.2DominicOrchard
coformat60.00Generate clang-format config based on some existing code base (bsd3, language, library, program)2019-12-300.3.0.00xd34df00d
combinator-interactive40.01SKI Combinator interpreter (bsd3, language, library, program)2013-09-070.1.2FumiakiKinoshita
compilation40.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
compstrat40.01Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-240.1.0.2JamesKoppel
config-schema532.03Schema definitions for the config-value package (language, library)2022-08-101.3.0.0EricMertens
config-value782.56Simple, layout-based value language similar to YAML or JSON (language, library, mit)2022-08-100.8.3EricMertens
context-free-grammar130.01Basic algorithms on context-free grammars (bsd3, language, library)2021-05-290.1.1nedervold
control-dsl191.751An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-180.2.1.3yangbo
copilot1352.256A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, LeePike, agoodloe, frankdedden
copilot-bluespec110.00A compiler for Copilot targeting FPGAs. (bsd3, embedded, language, library)2025-01-204.2IvanPerez, ryanglscott, galoisinc
copilot-c99810.08A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc110.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core1110.011An intermediate representation for Copilot. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, agoodloe, frankdedden
copilot-frp-sketch20.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter570.01Interpreter for Copilot. (bsd3, embedded, language, library)2025-03-084.3IvanPerez
copilot-language1190.08A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries1390.03Libraries for the Copilot language. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter480.04A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2025-03-084.3IvanPerez
copilot-sbv110.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem860.03k-induction for Copilot. (bsd3, embedded, language, library)2025-03-084.3IvanPerez, LeePike, agoodloe, frankdedden
copilot-verifier140.00System for verifying the correctness of generated Copilot programs (bsd3, language, library, program)2025-01-204.2IvanPerez, ryanglscott, galoisinc
core70.01External core parser and pretty printer. (bsd3, language, library)2009-04-080.5DavidHimmelstrup
core-compiler50.00compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-060.1.0.2aneksteind
core-haskell60.01A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-130.6.4happlebao
corenlp-types20.00Types for interaction with CoreNLP (agpl, language, library)2023-12-040.1.0.0cgenie
cparsing20.01A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-160.1.0.0lazac
crucible40.05Crucible is a library for language-agnostic symbolic simulation (bsd3, language, library)2024-08-300.7.1ryanglscott, galoisinc, mccleeary
crucible-llvm40.02Support for translating and executing LLVM code in Crucible (bsd3, language, library)2024-08-300.7ryanglscott, galoisinc, mccleeary
crucible-symio50.02An implementation of symbolic I/O primitives for Crucible (bsd3, language, library)2024-08-300.1.1ryanglscott, galoisinc, mccleeary
crux30.02Simple top-level library for Crucible Simulation (bsd3, language, library)2024-08-300.7.1ryanglscott, galoisinc, mccleeary
crux-llvm30.01A verification tool for C programs. (bsd3, language, library, program)2024-08-300.9ryanglscott, galoisinc, mccleeary
cryptol580.01Cryptol: The Language of Cryptography (bsd3, language, library, program)2024-08-203.2.0IavorDiatchki, ryanglscott, galoisinc, mccleeary
cspretty30.01AST and pretty printer for CSPm (bsd3, language, library)2016-11-301.0ccasin
css (deprecated)30.01Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-080.2
cube30.01Cubic DSL for 3D printing (bsd3, language, library)2015-04-150.2.0junjihashimoto
curry-base160.02Functions for manipulating Curry programs (bsd3, language, library)2019-11-221.1.1BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend212.02Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2021-02-112.0.0BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
dap30.00A debug adaptor protocol library (bsd3, debuggers, language, library)2023-09-150.1.0.0CsabaHruska, DavidJohnson
data-reify700.013Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2024-10-270.6.4AndyGill, ryanglscott
data-reify-cse30.01Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-080.0.3SebastiaanVisser
data-treify140.03Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection-)2014-03-180.3.4ConalElliott
deepl100.00Call DeepL to translate you files (bsd3, language, library, program, web)2021-04-160.1.0.1PaoloVeronelli
derive-gadt40.01Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-250.1.1MattMorrow
descript-lang30.00Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-200.2.0.0jakobeha
desert100.00a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-240.1.0.6zjhsdtc
dhall-lex80.01Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-250.2.0.0
dictparser100.01Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-100.3.0.0MarkWotton
dino90.00A convenient tagless EDSL (bsd3, language, library)2022-05-270.1.3EmilAxelsson
disco120.00Functional programming language for teaching discrete math. (bsd3, language, library, program)2025-01-220.2BrentYorgey
discokitty50.00DisCoCat implementation. (gpl, language, library)2019-05-130.1.0mroman42
djinn-ghc110.02Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-110.0.2.3AlejandroSerrano
djinn-lib210.02Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2022-05-210.0.1.4AlejandroSerrano
djinn-th20.01Generate executable Haskell code from a type (bsd3, language, library)2010-08-030.0.1ClaudeHeilandAllen
do-notation170.01Generalize do-notation to work on monads and indexed monads simultaneously. (bsd3, language, library)2018-09-090.1.0.2isovector
do-notation-dsl (deprecated in favor of control-dsl)100.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
dobutokO-poetry300.00Helps to order the 7 or less Ukrainian words to obtain somewhat suitable for poetry or music text (Ukrainian, game, language, library, mit, phonetic-languages, poetry, program, uniqueness)2020-09-070.17.0.0OleksandrZhabenko
dobutokO-poetry-general70.02Helps to order the 7 or less words (first of all the Ukrainian ones) to obtain somewhat suitable for poetry or music text (game, language, library, mit)2020-08-160.1.0.0OleksandrZhabenko
dobutokO-poetry-general-languages130.00Helps to order the 7 or less words to obtain somewhat suitable for poetry or music text (game, language, library, mit, uniqueness, uniquenessPeriods)2020-08-180.2.0.0OleksandrZhabenko
dobutokO21500.02Helps to create experimental music from a file (or its part) and a Ukrainian text. (Ukrainian, algorithmic-composition, language, library, mit, music, program, rhythm, sound, sox, timbre, tonality)2025-02-240.45.2.0OleksandrZhabenko
dove80.01The Dove verification language. (bsd3, formal-methods, language, library)2015-04-280.0.0TomHawkins
dovetail30.01A PureScript interpreter with a Haskell FFI. (bsd3, language, library)2021-11-180.1.1.0PhilFreeman
dovetail-aeson20.00Use Aeson from your Dovetail programs (bsd3, language, library)2021-11-130.1.0.0PhilFreeman
drmaa70.03A Haskell bindings to the DRMAA C library. (bsd3, language, library)2018-12-050.3.0kaizhang
ds-kanren30.01A subset of the miniKanren language (language, library, mit)2014-10-090.2.0.1jozefg
each42.251Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2018-11-301.1.1.0dramforever, ice1000
ecma26220.03A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-120.0.0FabianBergmark
effective-aspects50.01A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-150.1.0.0IsmaelFigueroa
effective-aspects-mzv50.01A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. (aop, aspect-oriented-programming, language, library, monads)2014-04-160.1.0.1IsmaelFigueroa
eflint80.00Simulation interpreter for FLINT policy descriptions (bsd3, language, library, program)2024-02-103.1.0.2ltvanbinsbergen
egison-pattern-src190.04Manipulating Egison patterns: abstract syntax, parser, and pretty-printer (bsd3, language, library, parser, pretty-printer)2020-11-030.2.1.2SatoshiEgi, coord_e, momohatt
egison-pattern-src-haskell-mode230.01Parser and pretty printer for Egison pattern expressions in Haskell source code (bsd3, language, library, parser, pretty-printer)2020-11-030.2.1.2SatoshiEgi, coord_e, momohatt
egison-pattern-src-th-mode150.02Parser and pretty printer for Egison pattern expressions to use with TH (bsd3, language, library, parser, pretty-printer, template-haskell)2020-11-030.2.1.2SatoshiEgi, coord_e, momohatt
egison-quote40.01A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-070.2TakuyaKuwahara
ehs60.01Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-150.7.0minpou
elm-bridge492.02Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2024-09-260.8.4AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)60.01Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-130.14.0.0jeremondi
elm-compiler (deprecated)82.03Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-200.15EvanCzaplicki
elm-core-sources130.02Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-111.0.0jeremondi
elm-get (deprecated in favor of elm-package)100.01Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-220.1.3EvanCzaplicki
elm-package (deprecated)110.01Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-200.5EvanCzaplicki
elm-reactor (deprecated)80.01Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-200.3.1EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)200.01Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-200.11.0.1EvanCzaplicki
elm-street140.00Crossing the road between Haskell and Elm (compiler, elm, language, library, mpl, program)2024-05-160.2.2.1vrom911, HolmuskTechTeam
elm-syntax210.04Elm syntax and pretty-printing (bsd3, compiler, elm, language, library)2023-12-020.3.3.0OliverCharles, OlleFredriksson, GeorgeThomas, rickowens
elsa150.00A tiny language for understanding the lambda-calculus (language, library, mit, program)2022-09-280.2.2.0ranjitjhala
enchant30.01Binding to the Enchant library (bsd3, language, library)2016-06-220.1.0.0kseo
ewe140.01An interpreter for EWE programming language (bsd3, language, program)2019-02-040.3.1.1JuanFranciscoCardonaMcCormick
exception-hierarchy380.05Exception type hierarchy with TemplateHaskell (bsd3, language, library)2024-12-120.1.0.12YoshikuniJujo
exference20.00Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-131.6.0.0lspitzner
explain30.01Show how expressions are parsed (language, mit, program)2014-01-130.1.0.1JoelTaylor
extcore162.01Libraries for processing GHC Core (bsd3, language, library)2013-04-211.0.2TimChevalier
fault-tree20.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
feldspar-language170.03A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-010.7AndersPersson, EmilAxelsson
feldspar-signal40.01Signal Processing extension for Feldspar (bsd3, language, library)2015-06-110.0.1.0EmilAxelsson, mararon
first-class-instances20.00First class typeclass instances (bsd3, language, library)2020-02-020.1.0.0lyxia, TheMatten
foma50.01Simple Haskell bindings for Foma. (language, library, mit)2021-01-280.1.2.0joom
formura20.00Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-041.0TakayukiMuranushi
forsyde-deep30.00ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-260.2.0ugeorge, ingo, JorRodolfo
forsyde-shallow210.01ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2021-03-193.5.0.0ugeorge, ingo, JorRodolfo
forth-hll (deprecated)40.01A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-060.1.0.0TikhonJelvis
fortran-src360.03Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). (apache, language, library, program)2024-09-300.16.3DominicOrchard, mdanish, madgen, raehik
fortran-src-extras130.01Common functions and utils for fortran-src. (apache, language, library, program)2023-05-040.5.0raehik
fortran-vars60.00Fortran memory model and other static analysis tools. (apache, language, library, program)2023-06-220.4.0raehik
fractionizer260.00Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types. (#AncientEgypt, language, library, math, mit, music, sound)2023-10-190.17.0.0OleksandrZhabenko
free-theorems130.03Automatic generation of free theorems. (language, library, public-domain)2022-12-210.3.2.1DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples120.01Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-140.3.1.0DanielSeidel, JanisVoigtlaender
free-theorems-seq20.01Taming Selective Strictness (language, library, public-domain)2011-03-111.0DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui70.01Taming Selective Strictness (language, program, public-domain)2011-03-301.0.0.2DanielSeidel, JanisVoigtlaender
free-theorems-webui100.01CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-180.2.1.1DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect70.01A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-210.8AndrewSeniuk
fregel20.00A functional DSL for vertex-centric large-scale graph processing (language, mit, program)2023-07-201.2.0KentoEmoto
fresh50.01Introduce fresh variables into Haskell source code (language, library, mit)2012-01-030.1.1DavidLazar
frp-arduino60.01Arduino programming without the hassle of C. (gpl, language, library)2018-03-260.1.1.0RickardLindberg, JeremyWright
ft-generator50.00implementation accompanying a WFLP'19 paper (language, program)2019-08-291.0.1JanisVoigtlaender
ftshell40.01Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-120.3.0.1JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp50.01call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-080.1.0.2ltvanbinsbergen
funpat20.01A generalization of pattern matching (bsd3, language, library)2011-07-010.1GergelyDevai
gender40.01Identify a persons gender by their first name (language, lgpl, library, program)2013-02-160.1.1.0KraniumGikos
ghc-core-smallstep20.01A small-step semantics for Core (language, library, mit)2018-04-100.1.0.1JoachimBreitner
ghc-justdoit70.01A magic typeclass that just does it (language, library, mit)2022-08-010.1.0.2JoachimBreitner
ghc-options40.01Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-160.2.0.0ranjitjhala
ghc-parser610.02Haskell source parser from GHC. (language, library, mit)2024-11-030.2.7.0gibiansky, VaibhavSagar
ghc-session80.00Simplified GHC API (language, library, mit, program)2016-02-180.1.2.1danilo2, PiotrMlodawski, iamrecursion
ghc-srcspan-plugin60.01Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-210.2.2.1EricSeidel
ghci-lib20.02A library for interactively evaluating Haskell code. (language, library, mit)2014-02-160.1.0.0gibiansky
ghci-websockets110.00A websocket server that survives GHCi reloads (bsd3, language, library)2019-07-160.0.2jfmueller
gimlh110.02Haskell parser for GIML (language, library, mit)2015-04-160.1.3.0gazay
global60.01Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-020.2.1.0ByronJohnson
glualint90.00Attempts to fix your syntax erroring Lua files. (language, lgpl, library)2024-07-011.29.0FPtje
goldplate250.00A lightweight golden test runner (apache, language, library, program)2024-09-300.2.2.1AndreasAbel, JasperVanDerJeugt
google-search50.02EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-310.2.0.0LiyangHu
graphql462.255Haskell GraphQL implementation (language, library)2024-12-031.5.0.0jdnavarro, belka
graphql-spice170.01GraphQL with batteries (language, library, mpl)2024-12-061.0.6.0belka
graphql-w-persistent272.01GraphQL interface middleware for SQL databases. (data, database, development, graphs, language, library)2020-09-180.9.1.0jasonsychau
hakaru120.02A probabilistic programming language (bsd3, language, library, program)2020-11-020.7.0pravnar, z
halfsplit80.02A library to provide special kind of two-column output for Phladiprelio. (PhLADiPreLiO, data, language, library, mit)2024-04-080.4.3.0OleksandrZhabenko
halide-JuicyPixels30.00Integration between Halide and JuicyPixels (bsd3, language, library)2023-05-220.0.2.1tom_westerhout
halide-arrayfire20.00Integration between Halide and ArrayFire (bsd3, language, library)2023-05-220.0.2.0tom_westerhout
halide-haskell30.02Haskell bindings to Halide (bsd3, language, library, program)2023-05-220.0.2.0tom_westerhout
hanspell102.00Korean spell checker (korean, language, library, mit, program, spellchecker)2021-09-190.2.6.19beach
happstack-facebook (deprecated in favor of fb)100.01A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-060.30JeremyShaw
happy-dot50.01Parser for dot made with happy. (gpl, language, library)2019-12-211.0.0.0mgmillani
haquil50.01A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-050.2.1.14BrianBush
hardware-edsl70.02Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2021-06-150.1.6mararon
harp220.06HaRP allows pattern-matching with regular expressions (bsd3, language, library)2023-01-230.4.3.6DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
hascalam40.00Haskell to and from Scalameta (language, library, mit)2024-07-070.1.1.2sjbiaga
haskarrow20.01A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-040.0TimothyHobbs
haskell-brainfuck50.01BrainFuck interpreter (language, library, mit, program)2014-08-080.1.0.1paraseba
haskell-coffee50.02Simple CoffeeScript API (gpl, language, library)2015-07-190.1.0.2KevinVanRooijen
haskell-exp-parser150.02Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2020-10-170.1.4EmilAxelsson
haskell-generate80.02Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-020.2.4BennoFuenfstueck
haskell-holes-th52.01Infer haskell code by given type. (language, library, mit)2019-08-242.0.0.0klntsky
haskell-lexer5280.08A fully compliant Haskell 98 lexer (language, library, mit)2025-02-201.2.1IavorDiatchki
haskell-lsp-client (deprecated)42.00A haskell package to build your own Language Server client. (deprecated, development, gpl, language, library, program, protocol)2017-12-291.0.0.1
haskell-names652.255Name resolution library for Haskell (bsd3, language, library)2020-05-260.9.9AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster
haskell-rules50.01A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-160.1.0.1spacekitteh
haskell-src830.040Support for manipulating Haskell source code (bsd3, language, library)2024-09-221.0.4.1AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts6332.5158Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2020-06-021.23.1AdamBergmark, DanBurton, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering
haskell-src-exts-observe30.02Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-170.1.0PepeIborra
haskell-src-exts-prisms40.01Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-071.18.2.0DanielWaterworth
haskell-src-exts-qq240.03A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-140.7MathieuBoespflug
haskell-src-exts-sc100.01Pretty print haskell code with comments (bsd3, language, library)2018-04-100.1.0.6achirkin
haskell-src-exts-util470.02Helper functions for working with haskell-src-exts trees (bsd3, language, library)2019-04-110.2.5NeilMitchell, PepeIborra
haskell-src-meta3490.0116Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2025-01-180.8.15AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)60.04Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-180.1.0MarkWotton
haskell-to-elm140.01Generate Elm types and JSON encoders and decoders from Haskell types (bsd3, compiler, elm, language, library)2021-03-090.3.2.0OlleFredriksson, rickowens
haskell-tools-ast360.013Haskell AST for efficient tooling (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-ast-fromghc110.02Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-050.2.0.0lazac
haskell-tools-ast-gen40.02Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-050.2.0.0lazac
haskell-tools-ast-trf40.03Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-050.2.0.0lazac
haskell-tools-backend-ghc740.05Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-builtin-refactorings300.04Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-cli300.00Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-daemon240.01Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-debug290.00Debugging Tools for Haskell-tools (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-demo290.00A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-experimental-refactorings330.01Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-prettyprint700.08Pretty printing of Haskell-Tools AST (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-refactor850.06Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-rewrite690.03Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-type-exts30.01A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-020.1.0NiklasBroberg
haskell-typescript30.01Simple TypeScript API (gpl, language, library)2013-10-160.1.0.0DavidJohnson
haskellish512.00For parsing Haskell-ish languages (bsd3, language, library)2025-01-240.3.2.4dktr0
haskelm80.01Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-250.1.12.0jeremondi
haskeme70.00Compiler from I- to S-Expressions for the Scheme Programming Language (bsd3, language, library, program)2019-07-180.1.0.4jumper149
haspell110.01Haskell bindings to aspell (language, library, mit)2013-08-261.1.0JoelTaylor
hbf50.00An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-040.2.0.0paraseba
hdis8630.02Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-280.2KeeganMcAllister
heap-console30.00interactively inspect Haskell values at runtime (bsd3, language, library)2020-11-210.1.0.1TheMatten
her-lexer50.02A lexer for Haskell source code. (language, library, public-domain)2012-09-060.1.1TimothyHobbs
her-lexer-parsec20.01Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-270.0.0TimothyHobbs
hermit210.02Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-231.0.1AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb30.01HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation-)2013-11-180.1.0.0AndrewFarmer
hexpr30.02A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-030.0.0.0ZankokuOkuno
hfmt172.250Haskell source code formatter (language, library, mit, program)2021-09-070.3.0.0danielstiner
hgrep52.00Search Haskell source code from the command line (bsd3, language, library, program)2017-10-040.1TimHumphries
hierarchical-exceptions60.01Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-211.0.1BenjaminBarenblat
hindley-milner20.01Template for Hindley-Milner based languages (language, library, mit)2016-04-230.1.0.0mbg
hindley-milner-type-check70.00Type inference for Hindley-Milner based languages (language, library, mit)2021-06-080.1.1.0AntonKholomiov
hint2302.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server160.05A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-271.4.3CorentinDupont, FernandoBenavides
hinter (deprecated)30.01Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-060.1.0.0
hinterface170.01Haskell / Erlang interoperability library (bsd3, language, library)2020-11-302.0.1SvenHeyll, timo_koepke
hnock40.00A Nock interpreter. (language, library, mit, program)2019-10-010.4.0JaredTobin
ho-rewriting60.01Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-110.2.1EmilAxelsson
homplexity231.251Haskell code quality tool (bsd3, language, library, program, tools)2022-10-090.4.8.1MichalGajda
hoop40.00Object-Oriented Programming in Haskell (language, library, mit)2020-07-040.3.0.0mbg
hopencc30.01Haskell binding to libopencc (bsd3, language, library)2019-10-060.2.0.0PaulMeng
hpython62.00Python language tools (bsd3, language, library, program)2019-05-020.3qfpl
hruby560.02Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2023-11-070.5.1.0SimonMarechal
hs-gen-iface (deprecated)40.01Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-260.5.0AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector170.01Haskell source code analyzer (language, library, mit)2015-05-140.5.2.0flbulgarelli
hs-pattrans30.00DSL for musical patterns and transformation, based on contravariant functors. (bsd3, language, library, program)2020-02-120.1.0.2omelkonian
hs2ats302.01Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2019-10-170.5.0.1vmchale
hs2dot60.01Generate graphviz-code from Haskell-code. (language, program)2010-08-150.1.4OscarFinnsson
hscolour2110.038Colourise Haskell code. (language, library, program)2023-08-301.25DonaldStewart, MalcolmWallace, phadej
hse-cpp182.04Preprocess+parse haskell code (language, library, mit)2016-10-060.2AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock90.01Nock 5K interpreter. (language, library, program, public-domain)2013-11-050.5.1mrdomino
hsp260.030Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-120.10.0GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp200.04SQL parser and type checker (bsd3, database, language, library)2019-07-080.6.2JakeWheat
hssqlppp-th50.01hssqlppp extras which need template-haskell (bsd3, database, language, library)2019-07-080.6.2JakeWheat
hswip42.01embedding prolog in haskell (foreign, language, library)2010-08-130.3EvgenyTarasov
hsx (deprecated in favor of hsx2hs)260.016HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-050.10.5NiklasBroberg
hsx2hs320.011HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2023-01-230.14.1.11DavidFox, JeremyShaw, NiklasBroberg
htoml200.07Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-071.0.0.3cies
htoml-megaparsec390.04Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2023-10-242.1.0.5vmchale
hubris40.01Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-240.0.3MarkWotton
hunspell-hs32.01Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-270.2.0.0ashutoshrishi
husk-scheme842.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs50.01Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-130.0.1JustinEthier
hwhile152.00An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-070.1.1.6alexj136
hydrogen-cli40.01Hydrogen Data (language, mit, program)2015-01-080.14JulianFleischer
hydrogen-cli-args110.01Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-data90.01Hydrogen Data (bsd3, language, library)2015-01-080.14JulianFleischer
hydrogen-multimap40.03Hydrogen Multimap (language, library, mit)2015-03-260.3JulianFleischer
hydrogen-parsing80.03Hydrogen Parsing Utilities (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-prelude290.07Hydrogen Prelude (language, library, mit)2015-03-260.20JulianFleischer
hydrogen-prelude-parsec40.01Hydrogen Prelude /w Parsec (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-syntax140.02Hydrogen Syntax (bsd3, language, library)2015-03-220.17JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)100.03Hydrogen Tools (bsd3, deprecated, language, library)2014-12-160.8JulianFleischer
hydrogen-version100.02Hydrogen Version Type (language, library, mit)2015-03-261.4JulianFleischer
hypertypes80.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
ihs150.01Interpolated Haskell (language, program, public-domain)2018-12-120.1.0.3minad
imperative-edsl120.03Deep embedding of imperative programs with code generation (bsd3, language, library)2021-08-280.9AndersPersson, EmilAxelsson, mararon
imperative-edsl-vhdl (deprecated in favor of hardware-edsl)50.01Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-140.3.2mararon
imprevu20.04Reactive programming language based on a DSL (bsd3, language, library)2017-03-130.1.0CorentinDupont
imprevu-happstack40.01Imprevu support for Happstack (bsd3, language, library)2017-03-130.1.0CorentinDupont
improve330.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
inch50.01A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-070.2.0AdamGundry
indexed-do-notation30.01Do notation for indexed monads (bsd3, language, library)2013-05-010.1FumiakiKinoshita
indian-language-font-converter120.01Indian Language Font Converter (bsd3, language, library)2013-12-020.2AkashJagdhane
indigo110.00Convenient imperative eDSL over Lorentz. (language, library, mit, program)2023-03-310.6.0gromak, pasqu4le, serokell, rinn7e
intensional-datatys30.00A GHC Core plugin for intensional datatype refinement checking (bsd3, language, library)2020-07-240.2.0.0eddiejones
interpol70.01GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-220.2.3AlexandruScvortov
intrinsic-superclasses172.01A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-140.4.0.0dailectic
invertible-grammar280.01Invertible parsing combinators framework (bsd3, language, library)2023-11-120.1.3.5EugeneSmolanka
ion20.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
ipa102.00Internal Phonetic Alphabet (IPA) (bsd3, language, library)2021-06-140.3.1.1RoryTylerHayford
ivory102.2511Safe embedded C programming. (bsd3, language, library)2019-04-050.1.0.9EricMertens, LeePike
ivory-artifact120.04Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ivory-avr-atmega328p-registers60.00Ivory register bindings for the Atmega328p (bsd3, language, library)2020-11-190.1.0.0erdeszt
ivory-backend-c90.05Ivory C backend. (bsd3, language, library)2018-07-170.1.0.8EricMertens, LeePike
ivory-bitdata (deprecated in favor of ivory)30.02Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-260.2.0.0EricMertens, LeePike
ivory-examples80.01Ivory examples. (bsd3, language, program)2016-12-160.1.0.5EricMertens, LeePike
ivory-hw60.02Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-170.1.0.6EricMertens, LeePike
ivory-opts70.02Ivory compiler optimizations. (bsd3, language, library)2018-07-180.1.0.6EricMertens, LeePike
ivory-serialize60.01Serialization library for Ivory. (bsd3, language, library)2019-04-050.1.0.6EricMertens, LeePike
ivory-stdlib50.01Ivory standard library. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ixdopp50.01A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-230.1.3JesseTov
jacinda322.250Functional, expression-oriented data processing language (agpl, data, interpreters, language, library, program, text)2025-02-013.3.0.3vmchale
jarfind50.01Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-300.1.0.3EugeneKirpichov
jaskell30.00Stack-based concatenative language embedded in Haskell (language, library, mit)2023-06-270.1.0.0OwenBechtel
jdi30.01Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-280.0.3VictorDenisov
jmacro572.017QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2023-03-220.6.18GershomBazerman, JeremyShaw
joy-rewrite50.00Transform Joy code using conditional rewrite rules (bsd2, language, library)2022-06-290.2.0rieckenj
js-good-parts100.01Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-200.0.7SeanSeefried
jsmw20.01Javascript Monadic Writer base package. (bsd3, language, library)2009-04-260.1DmitryGolubovsky
json-python60.01Call python inline from haskell (language, library, mit)2014-11-100.4.0.1russell91
jvm-binary170.01A library for reading Java class-files (java, jvm, language, library, mit)2021-05-120.10.0kalhauge
jvm-parser20.01A parser for JVM bytecode files (bsd3, language, library)2014-08-070.2.1KevinQuick, RobertDockins, galoisinc
kansas-lava70.04Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-060.2.4.5AndyGill, GergoErdi
kbq-gu80.01Rpoku spoken word programming language (language, program)2008-08-140.2AndriiZvorygin
kempe272.00Kempe compiler (bsd3, compilers, language, library, program)2024-05-290.2.0.14vmchale
kuifje50.00A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-100.1.2.0martonbognar
kure300.05Combinators for Strategic Programming (bsd3, language, library)2021-04-042.18.6AndyGill, NeilSculthorpe
kure-your-boilerplate50.01Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-270.1.3AndyGill
lambda-calculator140.00A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2023-03-013.1.1.0sgillespie
lambda-calculus-interpreter150.00Lambda Calculus interpreter (bsd3, language, library, program)2018-09-120.1.0.3xeontem
lambda-placeholders92.01A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-290.0.0.0MatthewMirman
lambdaBase40.01 (language, library, mit)2015-05-050.0.2.0faleidel
lambdaLit40.01... (language, mit, program)2014-12-180.1.1.0faleidel
lang50.01A Lisp (agpl, language, library)2018-03-010.2.2Zaoqi
language-Modula2130.00Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2025-01-010.1.4.2MarioBlazevic
language-asn40.01ASN.1 encoding and decoding (bsd3, language, library)2019-04-090.1.1.0andrewthad, chessai
language-asn1100.01Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-140.6DmitryAstapov
language-ats1142.04Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2021-01-181.7.10.3vmchale
language-bash390.02Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2025-01-040.11.1KyleRaftogianis
language-bluespec20.01An implementation of the Bluespec Haskell AST (bsd3, language, library)2024-02-080.1ryanglscott, galoisinc
language-boogie40.01Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-050.2NadiaPolikarpova
language-c2192.011Analysis and generation of C code (bsd3, language, library)2024-11-170.10.0BenediktHuber, Bodigrim, jophish, expipiplus1
language-c-comments50.01Extracting comments from C code (bsd3, language, library)2014-03-080.3GeoffHulette, MatthewSottile
language-c-inline150.01Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-300.7.11.0ManuelChakravarty
language-c-quote1190.010C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2024-07-020.13.0.2GeoffreyMainland, TroelsHenriksen
language-c99410.04An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2022-05-210.2.0frankdedden
language-c99-simple700.02C-like AST to simplify writing C99 programs. (language, library, mit)2024-01-030.3.0frankdedden
language-c99-util350.02Utilities for language-c99. (language, library, mit)2022-05-210.2.0frankdedden
language-cil170.01Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-190.4.0TomLokhorst
language-csharp20.00C# source code manipulation (bsd3, language, library)2019-05-100.0.1icysnowman55
language-css120.04CSS 2.1 syntax (bsd3, language, library)2020-05-140.0.3.1AntonKholomiov, tomjaguarpaw
language-dart32.251Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-120.2.0.0sigrlami, kseo
language-dickinson372.00A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2024-05-291.4.3.1vmchale
language-dot331.755A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2023-10-240.1.2BenGamari, BrianLewis
language-ecmascript402.07JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-260.19.1.0AndreyChudnov, ArjunGuha, DavidJohnson
language-ecmascript-analysis130.01JavaScript static analysis library. (bsd3, language, library)2016-01-310.9.2AndreyChudnov
language-eiffel40.01Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-060.1.2ScottWest
language-fortran (deprecated in favor of fortran-src)120.02Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-170.5.1DominicOrchard
language-gcl32.01Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-150.2StijnVanDrongelen
language-glsl470.06GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-020.3.0VoMinhThu
language-go50.01A library for analysis and synthesis of Go code. (language, library)2011-02-060.8AndrewRobbins
language-guess40.01Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-090.1.2ChristianRoedliAmble
language-java350.05Java source manipulation (bsd3, language, library)2018-03-080.2.9NiklasBroberg, VincentHanquez
language-java-classfile60.01Parser for Java .class files (bsd3, language, library)2010-12-090.2.0GergoErdi
language-javascript1830.013Parser for JavaScript (bsd3, language, library)2020-03-220.7.1.0AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js110.01javascript parser for es6 and es7. (language, library, mit)2021-03-270.3.0diasbruno
language-kort20.01Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-180.1.0.0akrasner
language-lua540.03Lua parser and pretty-printer (bsd3, language, library)2024-05-130.11.0.2EricMertens, OmerAgacan
language-lua-qq30.01Initial project template from stack (bsd3, language, library)2015-09-110.1.0.0HiromiIshii
language-lua2 (deprecated)80.01Lua parser and pretty printer (bsd3, deprecated, language, library)2015-10-140.1.0.5mitchellwrosen
language-mixal30.01Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-250.1JonathanDaugherty
language-ninja52.00A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-020.2.0taktoa
language-nix310.05Data types and functions to represent the Nix language (bsd3, distribution, language, library, nix)2019-09-212.2.0PeterSimons, sternenseemann, jophish, cdepillabout, maralorn, expipiplus1
language-oberon110.01Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2025-01-010.3.3.2MarioBlazevic
language-objc120.01Analysis and generation of Objective C code (bsd3, language, library)2013-12-110.4.2.8JohnLato
language-ocaml40.01Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-120.2.0Ptival
language-openscad130.01A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-130.1.7BenGamari, BrechtSerckx
language-pig70.01Pig parser in haskell. (language, library, mit)2013-12-160.3.0.1elisehuard
language-python422.03Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-120.5.8BerniePope
language-python-colour20.01Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-040.1BerniePope
language-python-test200.01testing code for the language-python library (bsd3, language, program)2020-07-120.5.8BerniePope
language-qux90.00Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-100.2.0.0hjwylde
language-rust52.251Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-220.2.0.27harpocrates
language-sally82.01AST and pretty printer for Sally (language, library)2017-08-010.1.2.0bjones
language-sh (deprecated)60.01A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-170.0.3.1
language-slice130.01AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-140.3.0.0PaulKoerbitz
language-spir-v80.03Data type for SPIR-V (bsd3, language, library)2024-12-200.1.0.3YoshikuniJujo
language-sqlite30.01Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-141.1IreneKnapp
language-sygus80.01A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2022-10-310.1.1.3WilliamHallahan
language-thrift322.01Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2024-04-060.13.0.0PhilippHausmann, abhinav
language-tl40.02A Parser for the Type Language (bsd3, language, library)2020-06-040.1.1Poscat
language-typescript60.02A library for working with TypeScript Definition files (language, library, mit)2014-02-020.0.4PhilFreeman
language-vhdl162.04VHDL AST and pretty printer in Haskell. (bsd3, language, library)2021-06-150.1.4mararon
language-webidl110.01Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-240.2.0.0izgzhen
layout-rules100.01A collection of different layout implementations (bsd3, language, library)2020-01-010.1.0.2TrevorElliott
lens-toml-parser280.01Lenses for toml-parser (language, lenses, library)2025-02-270.3.0.2henrytill
lexer-applicative202.02Simple lexer based on applicative regular expressions (language, library, mit)2018-06-062.1.0.2RomanCheplyaka
lhs2TeX-hl180.01Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-150.1.4.5AlessandroVermeulen
lhs2tex562.01Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2023-11-141.25AndresLoeh
libconfig50.01Haskell bindings to libconfig (bsd3, language, library)2015-04-290.3.0.0peddie
lift-generics210.01GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2024-10-220.3ryanglscott
linkcore70.01Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-250.4.1TimChevalier
liquid-base (deprecated in favor of liquidhaskell)152.010base specs for LiquidHaskell (bsd3, deprecated, language, library)2023-03-104.15.1.0AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-bytestring (deprecated in favor of liquidhaskell)70.00Old specs for the bytestring package (bsd3, deprecated, language, library)2023-03-100.10.12.1AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-containers (deprecated in favor of liquidhaskell)50.01Old specs for containers (bsd3, deprecated, language, library)2023-03-100.6.4.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-fixpoint1020.05Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2025-03-060.9.6.3.2AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquid-ghc-prim (deprecated in favor of liquidhaskell)60.01Drop-in ghc-prim replacement for LH (bsd3, deprecated, language, library)2023-03-100.7.0.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-parallel50.00LiquidHaskell specs for the parallel package (bsd3, language, library)2024-03-073.2.2.0.3AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-platform110.00A battery-included platform for LiquidHaskell (bsd3, language)2024-01-290.9.2.8AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-prelude290.01General utility modules for LiquidHaskell (bsd3, language, library)2024-08-210.9.2.8.2AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-vector120.01LiquidHaskell specs for the vector package (bsd3, language, library)2024-03-070.13.1.0.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquidhaskell1222.516Liquid Types for Haskell (bsd3, language, library)2025-03-060.9.10.1.2AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquidhaskell-boot600.01Liquid Types for Haskell (bsd3, language, library)2025-03-060.9.10.1.2FacundoDominguez
located30.01Source location helpers (bsd3, language, library)2016-07-190.1.1.0TrevorElliott
lojban70.01Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-180.3
lojbanParser220.01lojban parser (bsd3, language, library, program)2014-08-160.1.9.2YoshikuniJujo
lojbanXiragan40.01lojban to xiragan (bsd3, language, library, program)2013-03-070.3YoshikuniJujo
lojysamban130.01Prolog with lojban (bsd3, language, program)2014-10-240.0.8.1YoshikuniJujo
lol-calculus20.01Calculus for LOL (λω language). (gpl, language)2016-08-231.20160822julm
lol-typing20.01Type inferencer for LOL (λω language) (gpl, language, library)2016-08-231.20160822julm
lorentz440.04EDSL for the Michelson Language (language, library, mit)2023-07-310.16.0gromak, pasqu4le, serokell
lss (deprecated)30.02Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components. (bsd3, deprecated, language, library)2014-09-040.1.0.0DanielPatterson
ltl80.01Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-190.0.0TomHawkins
lua-bc110.01Lua bytecode parser (language, library, mit)2016-12-070.1.1EricMertens, galoisinc
luka40.01Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-292012.8.29JinjingWang
luthor50.01Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-250.0.2ZankokuOkuno
mathista (deprecated)80.01A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-110.0.1seiya
maude110.01An interface to the Maude rewriting system. (language, library, mit)2012-07-090.6.1DavidLazar
mcm52.01Machine Configuration Manager (gpl, language, program, system, text)2018-11-030.6.8.1AnthonyDoggett
mcmc-synthesis90.02MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-130.1.2.2TikhonJelvis
mecha160.01A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-110.1.1TomHawkins
melody20.01A functional scripting language (language, library, mit, program)2014-01-100.2jozefg
meta-misc50.01Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-020.1.0.3ByronJohnson
mi20.01Multiple Instance for Haskell (language, library, mit)2014-02-280.0.1matt
mida (deprecated)100.00Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-101.0.2mrkkrp
mikrokosmos90.01Lambda calculus interpreter (gpl, language, program)2018-08-010.8.0mroman42
miniforth30.01Miniature FORTH-like interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
ministg40.01an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-100.3BerniePope
ml-w40.01Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-090.1.1FrancescoMazzoli
mmsyn2-array270.024A library that can be used for multiple Ord a => a -> b transformations. (binary-search, data, development, language, library, mit)2023-01-280.3.1.1OleksandrZhabenko
mmsyn2-array-ukrainian-data50.01Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2023-01-310.2.0.0OleksandrZhabenko
mmsyn2-hashable20.00A library that can be used for multiple Hashable a => a -> b transformations. (data, development, language, library, mit)2021-10-310.1.0.0OleksandrZhabenko
mmsyn6ukr490.010A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, speech-approximation)2020-11-070.9.0.0OleksandrZhabenko
mmsyn6ukr-array180.00A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, tts)2022-08-150.3.3.0OleksandrZhabenko
mmsyn7h420.00Produces a sound recording specified by the Ukrainian text. (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice)2020-12-030.8.1.0OleksandrZhabenko
mmsyn7s310.06Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs (Ukrainian, language, library, mit, program, speech-approximation, speech-transformation, syllable-segmentation)2020-10-090.9.1.0OleksandrZhabenko
mmsyn7ukr660.04A simple basic interface to some SoX functionality or to produce a voice that can be used by mmsyn7h (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice)2020-08-160.17.0.0OleksandrZhabenko
mmsyn7ukr-array150.01A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by dobutokO2 and other similar packages (language, library, mit, sound)2024-12-190.3.0.0OleksandrZhabenko
mmsyn7ukr-common240.06Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. (Ukrainian, language, library, mit, sound, sox)2024-12-190.3.1.0OleksandrZhabenko
modelicaparser20.01A parser for the modelica language (bsd3, language, library)2014-04-030.1.0.0fphh
modulespection130.02Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-020.1.2.2JonathanFischoff
modulo120.01Modular C code generator (ffi, gpl, language, library, program)2014-07-281.9.1HansHoglund
morley530.05Developer tools for the Michelson Language (language, library, mit, program)2023-07-311.20.0gromak, pasqu4le, serokell
morley-upgradeable20.00Upgradeability infrastructure based on Morley. (language, library, mit, program)2021-04-020.3pasqu4le, serokell
morloc20.00A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-060.33.0arendsee
msgpack-idl80.01An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-300.2.1HerbertValerioRiedel, HideyukiTanaka
msh (deprecated in favor of hoop)50.01Object-Oriented Programming in Haskell (deprecated, language, library, mit)2015-10-210.1.0.2mbg
mueval540.05Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2023-12-040.9.4ChrisDone, GwernBranwen, ncfavier, TerenceNg03
mulang120.01An intermediate language designed to perform advanced code analysis (language, library, program)2019-01-114.4.0flbulgarelli
nanopass70.00Create compilers using small passes and many intermediate representations. (bsd3, language, library, program)2024-01-080.0.3.0edemko
naver-translate50.01Interface to Naver Translate (gpl, language, library)2015-10-150.1.0.2hongminhee
netlist70.04Netlist AST (bsd3, language, library)2011-10-280.3.1AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl120.02Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-060.3.3AndyGill, GergoErdi, PhilipWeaver
nirum90.00IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-250.5.0hongminhee, nirum
nix-eval60.01Evaluate Haskell expressions using Nix to get packages (language, library)2019-06-280.4.1.0chriswarbo
nom50.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal110.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
nomyx-language20.04Language to express rules for Nomic (bsd3, language, library)2017-03-131.0.0CorentinDupont
nomyx-library20.01Library of rules for Nomyx (bsd3, language, library)2017-03-171.0.0CorentinDupont
ntha110.00A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-270.1.3zjhsdtc
oberon030.01Oberon0 Compiler (language, library)2013-10-230.0.2MarcosViera
octopus40.01Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-070.0.2.1ZankokuOkuno
omega30.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
operational-alacarte100.06A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-070.3.1EmilAxelsson
oplang110.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2024-04-280.5.0.0aionescu
optimusprime100.01A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-170.0.1.20091117JasonReich
org2anki70.01Basic org to anki exporter (gpl, language, program)2016-10-290.1.0mroman42
pads-haskell40.01PADS data description language for Haskell. (language, library, mit)2019-06-100.1.0.0KarlCronburg
paragon260.01Paragon (bsd3, language, library, program)2012-07-110.1.28NiklasBroberg
pattern-matcher50.00A library for compiling pattern-matching to decision trees (bsd3, language, library)2019-06-190.1.0.1GuerricChupin
pec80.01pec embedded compiler (bsd3, language, library, program)2012-03-310.2.3BrettLetner
peggy120.04The Parser Generator for Haskell (bsd3, language, library)2013-01-300.3.2HideyukiTanaka, darkf
pgf260.00Bindings to the C version of the PGF runtime (language, lgpl, library)2021-05-031.3.0JohnCamilleri
phladiprelio-general-datatype410.03Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-04-080.10.1.0OleksandrZhabenko
phladiprelio-general-shared100.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple980.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-04-100.20.0.2OleksandrZhabenko
phladiprelio-rhythmicity-shared60.03Allows to estimate some kind of the rhythmicity properties for the text (language, library, math, mit, music)2023-03-130.1.0.0OleksandrZhabenko
phladiprelio-tests30.02Common for Ukrainian and general data for test mode. (language, library, mit)2023-08-140.1.0.0OleksandrZhabenko
phladiprelio-ukrainian-shared210.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-04-080.5.0.2OleksandrZhabenko
phladiprelio-ukrainian-simple1600.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-04-100.20.2.2OleksandrZhabenko
phonetic-languages-basis240.011A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. (game, language, library, math, mit)2023-01-300.3.0.0OleksandrZhabenko
phonetic-languages-common140.03A generalization of the uniqueness-periods-vector-common package. (language, library, mit)2020-11-260.1.2.0OleksandrZhabenko
phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints)170.00Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-120.3.0.0OleksandrZhabenko
phonetic-languages-constraints180.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array490.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples540.00A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-020.7.0.0OleksandrZhabenko
phonetic-languages-general130.00A generalization of the uniqueness-periods-vector-general functionality. (language, library, mit, phonetic-languages)2020-11-260.3.0.1OleksandrZhabenko
phonetic-languages-permutations130.01Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-200.2.0.0OleksandrZhabenko
phonetic-languages-permutations-array (deprecated in favor of aftovolio)560.06Permutations and universal set related functions for the phonetic-languages series (deprecated, game, language, library, math, mit, phonetic-languages)2024-01-230.5.0.0OleksandrZhabenko
phonetic-languages-phonetics-basics1550.05A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2024-01-300.11.0.0OleksandrZhabenko
phonetic-languages-plus170.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-properties240.01A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, language, library, mit, phonetic-languages)2021-02-020.4.0.0OleksandrZhabenko
phonetic-languages-rhythmicity1160.09Allows to estimate the rhythmicity properties for the text (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap)2023-03-150.11.0.2OleksandrZhabenko
phonetic-languages-simplified-base810.010A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2024-03-080.9.0.0OleksandrZhabenko
phonetic-languages-simplified-common500.04A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-050.4.0.0OleksandrZhabenko
phonetic-languages-simplified-examples-array2090.00Helps to create Ukrainian texts with the given phonetic properties. (PhLADiPreLiO, Ukrainian, game, language, library, math, mit, phladiprelio, phonetic-languages, program, prosodic-languages, prosody, rumba, syllables)2022-09-130.21.0.0OleksandrZhabenko
phonetic-languages-simplified-examples-common870.01Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2023-03-150.6.2.0OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array1660.00Helps to create texts with the given phonetic properties (e. g. poetic). (PhLADiPreLiO, espeak, game, ipa, language, library, math, mit, phladiprelio, phonetic-languages, phonetics, prosodic-languages, prosody, writing-systems)2022-09-140.19.0.1OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common560.01Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2023-03-150.6.1.0OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array1010.02Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2023-03-150.13.1.0OleksandrZhabenko
phonetic-languages-simplified-lists-examples320.00Simplified and somewhat optimized version of the phonetic-languages-examples. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-020.7.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-array1620.02Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2023-03-150.17.2.0OleksandrZhabenko
phonetic-languages-simplified-properties-array-common210.03Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2023-03-150.4.1.0OleksandrZhabenko
phonetic-languages-simplified-properties-array-old40.00Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-310.1.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-lists (deprecated in favor of phonetic-languages-simplified-properties-lists-double)380.01A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, deprecated, language, library, mit, phonetic-languages)2021-02-020.4.0.0OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double80.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
phonetic-languages-ukrainian220.01Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages)2020-11-280.3.0.0OleksandrZhabenko
phonetic-languages-ukrainian-array670.03Prepares Ukrainian text to be used as a PhLADiPreLiO text (Ukrainian, game, language, library, mit, phonetic-languages, program)2024-02-220.12.2.0OleksandrZhabenko
phonetic-languages-vector50.02A generalization of the functionality of the uniqueness-periods-vector package. (language, library, mit, phonetic-languages)2020-10-300.1.0.0OleksandrZhabenko
pisigma60.01A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-180.2.1AndresLoeh, DarinMorrison
plural90.01Pluralize (bsd3, language, library)2018-06-070.1.0.0fresheyeball
polysemy912.7578Higher-order, low-boilerplate free monads. (bsd3, language, library)2024-06-031.9.2.0isovector, tek, TheMatten, KingoftheHomeless
polyseq (deprecated in favor of free-theorems-seq)50.01Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-060.1.2.1DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens80.02Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-280.1.0.0SimonHudon, bandali
powerpc40.01Tools for PowerPC programs. (bsd3, language, library)2010-03-100.0.1TomHawkins
prelude-edsl160.01An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-200.4EmilAxelsson
preprocess-haskell50.01Preprocess Haskell Repositories. (bsd3, language, library)2015-03-120.0.1.1bsummer4
preprocessor-tools200.01A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2018-05-052.0.2JesseTov
pro-abstract90.00Abstract syntax for writing documents (language, library, mpl)2022-03-070.3.0.0chris_martin
processor-creative-kit90.01a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-310.1.0.1takenobut
prolog170.02A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-250.3.2DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prolog-graph40.01A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-210.1.0.2MatthiasBartsch
prolog-graph-lib90.01Generating images of resolution trees for Prolog queries. (language, library, public-domain)2019-01-230.2.1.1DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prosidy52.251A simple language for writing documents. (language, library, mpl)2020-03-301.6.0.2jafc
prosidyc40.00A DSL for processing Prosidy documents. (language, library, mpl)2020-04-160.3.0.0jafc
purescript2562.759PureScript Programming Language Compiler (bsd3, language, library, program)2024-02-070.15.15PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, PureFunctor, kl0tl, jalexm
purescript-ast50.02PureScript Programming Language Abstract Syntax Tree (bsd3, language, library)2021-04-180.1.1.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl
purescript-cst80.04PureScript Programming Language Concrete Syntax Tree (bsd3, language, library)2022-02-260.5.0.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-tsd-gen40.00TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2019-06-210.3.0.0aratamizuki
pyffi20.01Call python inline from haskell (language, library, mit)2014-11-110.4.0.2russell91
pyfi50.01Call python inline from haskell (language, library, mit)2014-11-170.4.0.4russell91
qbe30.00Types and prettyprinter for the IL of the QBE compiler backend (bsd3, language, library)2022-07-101.1.0.0fgaz
quenya-verb40.01Quenya verb conjugator (agpl, language, library, program)2015-04-030.0.1kaashif
r-glpk-phonetic-languages-ukrainian-durations650.00Can be used to calculate the durations of the approximations of the Ukrainian phonemes. (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program)2023-02-030.5.0.0OleksandrZhabenko
rail-compiler-editor50.01Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-170.3.0.0bubuiic
raw-feldspar100.01Resource-Aware Feldspar (bsd3, language, library)2022-05-270.4.1EmilAxelsson
really-simple-xml-parser110.01A really simple XML parser (language, library, public-domain)2012-07-300.4.0.0KashyapChatamballi
recursors30.01Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-100.1.0.0JohnWiegley
refinery330.02Toolkit for building proof automation systems (bsd3, language, library)2021-04-090.4.0.0ReedMullanix
reflex-jsx32.01Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-240.1.0.0dackerman
register-machine-typelevel20.01A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-040.1.0.0kcsongor
reorder-expression160.00Reorder expressions in a syntax tree according to operator fixities. (language, library, mit)2024-12-100.1.0.2comp
resin110.01High performance variable binders (bsd2, language, library)2019-01-010.2.0.3CarterSchonwald
rope130.02Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-210.6.4EdwardKmett
rope-utf16-splay370.07Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2022-01-140.4.0.0AlanZimmerman, OlleFredriksson
runtime-arbitrary40.01Runtime generation of Arbitrary values (language, library, public-domain)2016-11-120.1.0.6chriswarbo
satyros130.00Step-by-step SAT solver for educational purposes (language, library, mit)2021-11-140.3.1.4Ailrun
seal-module70.01Template Haskell support for global configuration data (bsd3, language, library)2010-11-080.1.0.1JoachimBreitner
semantic82.250Framework and service for analyzing and diffing untrusted code. (language, library, mit)2019-06-020.0.0patrick_thomson
sequitur30.00Grammar-based compression algorithms SEQUITUR (bsd3, compression, formal-languages, language, library, natural-language-processing, nlp, text)2024-07-280.2.0.0MasahiroSakai
sexp70.01S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-260.7AlexandruScvortov
sexp-grammar350.02Invertible grammar combinators for S-expressions (bsd3, language, library)2023-11-122.3.4.2EugeneSmolanka, SergeyVinokurov
shaderc50.00A collection of tools and libraries for Vulkan shader compilation (bsd3, language, library)2025-01-300.1.0.7YoshikuniJujo
shady-gen20.02Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-300.5.1ConalElliott
shake-dhall80.00Dhall dependencies (bsd3, dhall, language, library)2020-08-260.1.1.3vmchale
she90.02A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-020.6ConorMcBride
shentong62.01A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-270.3.2mjt128
shivers-cfg30.01Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-080.1.1JoachimBreitner
shortcut60.04 (bsd3, language, library)2017-03-170.1CorentinDupont
show360.04'Show' instances for Lambdabot (language, library)2013-05-190.6CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit70.01A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-010.3ConorMcBride
sifflet190.01Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-182.3.0GregoryWeber
sifflet-lib (deprecated in favor of sifflet)170.01Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-022.2.1GregoryWeber
signals50.02Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-310.2.0.2mararon
simple-c-value20.01A simple C value type (bsd3, language, library)2012-04-040.0.0.1JonathanFischoff
simple-eval40.01Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-240.1.0.1m
simple-ltl80.00A simple LTL checker (bsd3, language, library)2019-04-222.1.0JohnWiegley
simple-sql-parser300.03A parser for SQL. (bsd3, database, language, library)2024-10-080.8.0JakeWheat
sized-types120.04Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-190.5.1AndyGill, GergoErdi, ryanglscott
sketch-frp-copilot340.02Sketch programming with Copilot (bsd3, embedded, language, library)2024-02-221.0.10JoeyHess
slot-lambda50.01Write lambdas without naming the parameters. (language, library, mit)2014-04-080.1.0.3ducis
smt-lib70.01Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-190.0.2TomHawkins
smt2-parser370.01A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2022-10-080.1.0.1liuyuxi, haskell_github_trust
snaplet-lss (deprecated)30.01Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-040.1.0.0DanielPatterson
snmp110.02SNMP protocol library (bsd3, language, library)2019-04-090.3.1.0chemist, andrewthad, chessai
sound-change20.00Apply sound changes to words (language, library, linguistics, mit)2023-10-140.1.0.0OwenBechtel
spade140.00A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2024-08-040.1.0.10sras
specialize-th40.02Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-080.0.0.8JonathanFischoff
spir-v50.01Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-160.0.1.0jophish, expipiplus1
staticanalysis80.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
string-interpreter720.02Is used in the phonetic languages approach (e. g. in the recursive mode). (Ukrainian, language, library, mit, phonetic-languages)2023-01-300.8.0.0OleksandrZhabenko
stylish-cabal110.00Format Cabal files (bsd3, language, library, program)2019-02-090.5.0.0JudeTaylor
stylish-haskell2782.254Haskell code prettifier (bsd3, language, library, program)2024-01-190.14.6.0JasperVanDerJeugt
stylist170.01Apply CSS styles to a document tree. (gpl, language, library)2023-06-202.7.0.1alcinnz
subleq-toolchain30.01Toolchain of subleq computer. (gpl, language, library, program)2015-12-240.1.8.5na4zagin3
sugar-scheme30.00Sugar with Scheme (language, library, text)2022-07-280.0.1jxv
sugarhaskell30.01Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-050.1SebastianErdweg
sunroof-compiler30.02Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-120.2JanBracker
sunroof-examples50.01Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-270.2.2JanBracker
sunroof-server40.01Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-270.2.1JanBracker
surjective20.01An output coverage checker (language, library, public-domain)2018-02-210.1.0.0gelisam
sv2v180.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2024-05-070.0.12zachjs
swearjure20.01Clojure without alphanumerics. (language, lgpl, program)2015-04-011.0.0hyPiRion
symantic140.01Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-126.3.4.20190712julm
symantic-grammar220.02Library for symantic grammars. (gpl, language, library)2019-06-170.3.3.20190614julm
symantic-lib120.01Symantics for common types. (gpl, language, library)2019-06-170.0.5.20190614julm
synt60.01Similar code analysis. (language, library, program)2014-11-230.1.2brentlintner
syntactic630.09Generic representation and manipulation of abstract syntax (bsd3, language, library)2022-05-263.8.4AndersPersson, EmilAxelsson
syntax-trees50.02Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-010.1.2DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn30.02Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-300.1.2.5ByronJohnson
tal20.01An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-230.1.0.0sweirich
tempi100.00For representing musical tempi (bsd3, language, library)2021-09-291.0.2.1dktr0
tempus20.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
tensor-safe32.00Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-030.1.0.1leopiney
termination-combinators30.01Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-190.1MaxBolingbroke
tersmu50.01A semantic parser for lojban (gpl, language, library, program)2018-04-290.2.2mbays
text-register-machine50.01A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-090.4.0AdamFoltzer
th-alpha90.01Alpha equivalence for TH Exp (bsd3, language, library)2016-07-010.2.1.0jkarni
th-bang-compat160.01Compatibility for bang-type template (bsd3, language, library)2019-06-090.0.1.0KeiHibino
th-constraint-compat160.03Compatibility for type constraint template (bsd3, language, library)2017-10-070.0.1.0KeiHibino
th-data-compat412.05Compatibility for data definition template of TH (bsd3, language, library)2023-12-290.1.3.1KeiHibino
th-dict-discovery32.01Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-270.1.0.0isovector
th-instances40.01A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-020.1.0.14JonathanFischoff
th-lift4080.085Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2024-12-050.8.6IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
th-reify-compat240.01Compatibility for the result type of TH reify (bsd3, language, library)2018-08-260.0.1.5KeiHibino
th-strict-compat120.02Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-240.1.0.1igrep
thih30.01Typing Haskell In Haskell (bsd3, language, library, program)2008-04-041.0GwernBranwen, ocramz
to-haskell30.01A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-110.3.0ConalElliott
tptp160.01Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-110.1.3.0EK
transformations40.01Generic representation of tree transformations (gpl, language, library, program)2015-02-150.2.0.0JeroenBransen, JosePedroMagalhaes
traverse-code40.00General data structure lifting for Template Haskell (bsd3, language, library)2022-01-230.1.1.1dfeuer
trhsx (deprecated in favor of hsx)40.01Deprecated (bsd3, deprecated, language, library)2008-05-170.2.2GwernBranwen, NiklasBroberg
turkish-deasciifier60.00Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-220.1.0.0cattheory
type-of-html582.251High performance type driven html generation. (bsd3, html, language, library, text, web)2021-02-061.6.2.0knupfer
type-of-html-static110.01Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-020.1.0.2knupfer
type-settheory70.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-sub-th40.03Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-080.1.0.6JonathanFischoff
type-tree60.01Tree representations of datatypes (language, library, mit)2018-04-070.2.0.1JudeTaylor
typescript-docs70.01A documentation generator for TypeScript Definition files (language, mit, program)2014-01-070.0.3PhilFreeman
ukrainian-phonetics-basic600.05A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, syllable-segmentation)2020-12-050.4.1.0OleksandrZhabenko
ukrainian-phonetics-basic-array890.011A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation)2024-04-070.10.0.0OleksandrZhabenko
ukrainian-phonetics-basic-array-bytestring140.02A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2022-08-090.1.1.0OleksandrZhabenko
ukrainian-phonetics-common100.02A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2023-02-020.2.0.0OleksandrZhabenko
unbound260.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unbound-generics482.08Support for programming with names and binders using GHC Generics (bsd3, language, library)2024-03-210.4.4AlekseyKliger
unbound-generics-unify50.00Unification based on unbound-generics (bsd3, language, library)2024-09-250.1.1AlejandroSerrano
unbound-kind-generics101.750Support for programming with names and binders using kind-generics (bsd3, language, library)2023-05-220.2.1.1AlejandroSerrano
unification-fd582.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2025-02-120.12.0.2WrenThornton, WrenRomano
unipatterns120.00Helpers which allow safe partial pattern matching in lambdas (bsd3, language, library)2019-08-210.0.0.0ChrisPenner
uniqueness-periods90.02Can be used to produce the 'uniquenessPeriods' function and related functionality. (Ukrainian, language, library, mit, uniqueness-periods)2020-08-180.2.0.0OleksandrZhabenko
uniqueness-periods-general180.01Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions. (language, library, mit, uniqueness-periods)2020-08-180.2.0.0OleksandrZhabenko
uniqueness-periods-vector230.03Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-140.3.1.1OleksandrZhabenko
uniqueness-periods-vector-common370.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples1590.00Usage examples for the uniqueness-periods-vector series of packages (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods)2021-02-020.15.0.0OleksandrZhabenko
uniqueness-periods-vector-filters220.00A library allows to change the structure of the 'RealFrac' function output. (data, game, language, library, math, mit, uniqueness-periods)2020-10-070.3.0.0OleksandrZhabenko
uniqueness-periods-vector-general840.00Some kind of the optimization approach to data inner structure. (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness)2020-11-120.5.3.0OleksandrZhabenko
uniqueness-periods-vector-properties440.01Metrices for the maximum element for the uniqueness-periods-vector packages family. (game, language, library, math, mit, phonetic-languages, syllable-segmentation)2021-02-020.6.0.0OleksandrZhabenko
universe-th60.03Construct a Dec's ancestor list. (bsd3, language, library)2012-03-080.0.0.6JonathanFischoff
unlit262.01Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-180.4.0.0wenkokke
unpacked-containers72.00Unpacked containers via backpack (bsd2, language, library, program)2018-04-060EdwardKmett
urldisp-happstack30.01Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-250.1SterlingClover
valid-names30.01Valid operator/module characters (language, library, mit)2013-12-290.1.0.1JoelTaylor
verifiable-expressions110.01An intermediate language for Hoare logic style verification. (apache, language, library)2021-06-160.6.2DominicOrchard, mdanish, madgen, raehik
verilog250.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
vhdl40.02VHDL AST and pretty printer (bsd3, language, library)2010-06-220.1.2.1ChristiaanBaaij
wasm42.250WebAssembly Language Toolkit and Interpreter (language, library, mit)2021-12-121.1.1irezvov
web-routes480.037portable, type-safe URL routing (bsd3, language, library, web)2024-06-050.27.16JeremyShaw
web-routes-boomerang340.03Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2024-06-060.28.4.5JeremyShaw
web-routes-generics80.00portable, type-safe URL routing (bsd3, language, library, web)2024-06-060.1.0.2JeremyShaw
web-routes-happstack470.09Adds support for using web-routes with Happstack (bsd3, language, library, web)2023-01-230.23.12.3JeremyShaw
web-routes-hsp220.04Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2022-04-200.24.6.2JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)110.02Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-150.20.1JeremyShaw
web-routes-regular90.02portable, type-safe URL routing (bsd3, language, library, web)2015-12-180.19.0.1JeremyShaw
web-routes-th480.014Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2024-06-060.22.8.2JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)50.01Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-040.19.1JeremyShaw
web-routes-wai410.02Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2022-04-200.24.3.2JeremyShaw
webidl30.01Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-080.1.1DmitryGolubovsky
while-lang-parser30.01Parser for the While language. (bsd3, language, library)2013-05-250.1.0.0DavidNilsson
word-note-sox20.00SoX for algorithmic composition with groups of notes liken to words (language, library, mit, sound)2024-02-060.1.0.0OleksandrZhabenko
words70.01Cross-platform access to a list of words (bsd3, language, library)2011-10-100.1.2ChrisSmith
yabi-muno40.01Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
yosys-rtl50.00Yosys RTL Intermediate Language (language, library, mit)2024-08-070.1.0.1dopamane
z3-encoding40.02High-level assertion encoding to Z3 solver (language, library, mit)2016-07-050.3.0.0izgzhen
zabt50.01Simple-minded abstract binding trees (bsd3, language, library)2016-08-110.4.0.0JosephAbrahamson
zasni-gerna112.01lojban parser (zasni gerna) (bsd3, language, library)2019-10-240.0.7.1YoshikuniJujo
zephyr-copilot120.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2024-02-221.0.9JoeyHess
zeroth60.01ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-232009.6.23.3DavidHimmelstrup, RobinGreen
zwirn240.00a live coding language for playing with nested functions of time (gpl, language, library, sound)2025-02-090.1.0.0MartinGius