Packages tagged language

781 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (707), bsd3 (464), program (235), mit (168), gpl (56), deprecated (53), math (41), phonetic-languages (31), game (29), Ukrainian (26), embedded (25), public-domain (24), web (23), compiler (21), compilers-interpreters (19), data (18), apache (17), development (16), text (14), formal-methods (10), sound (10), hardware (9), music (8), .net (7), ffi (7), phonetics (7), clr (6), concurrency (6), parser (6), sox (6), PhLADiPreLiO (5), agpl (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), aspect-oriented-programming (3), ats (3), elm (3), foreign (3), pugs (3), speech-transformation (3), system (3), algorithms (2), aop (2), bsd4 (2), compilers (2), configuration (2), dependent-types (2), dhall (2), dsl (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), polymorphism (2), prosodic-languages (2), prosody (2), reflection (2), template-haskell (2), unification (2), visual-programming (2), voice (2), #AncientEgypt (1), ai (1), algebra (1), analysis (1), api (1), binary-search (1), bitcoin (1), build (1), c (1), codec (1), coherency (1), cryptography (1), debug (1), debuggers (1), disassembler (1), distribution (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ASN150.01ASN.1 support for Haskell (bsd3, language, library)2008-06-220.0.1.1HerbertValerioRiedel
AspectAG510.05Strongly typed Attribute Grammars implemented using type-level programming. (aspect-oriented-programming, gpl, language, library)2022-05-260.7.0.1MarcosViera, jpgarcia
BASIC101.751Embedded BASIC (bsd3, language, library)2009-02-090.1.5.0LennartAugustsson
BNFC-meta410.01Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-090.6.1JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BiGUL62.251The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-301.0.1joshko, Zirun
CSPM-CoreLanguage350.04Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-260.3.1.0MarcFontaine
CSPM-FiringRules110.02Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-260.4.4.0MarcFontaine
CSPM-Frontend160.04A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-260.12.1.0MarcFontaine
CSPM-Interpreter140.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
CoreErlang50.01Manipulating Core Erlang source code (bsd3, language, library)2018-03-200.0.4AlexKropivny, HenriqueFerreiro
DTC50.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
Ebnf2ps300.01Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-261.0.15PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)540.06The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-220.13EvanCzaplicki
Eq (deprecated)100.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
Feval32.01Evaluation using F-Algebras (language, mit, program)2015-09-071.0.0.1burz
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)50.01ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, deprecated, hardware, language, library)2010-06-253.1.1AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo
GLM40.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
Ganymede50.01An Io interpreter in Haskell. (bsd3, language, program)2011-04-180.0.0.5WaltBaety
GoogleTranslate80.02Interface to Google Translate API (gpl, language, library)2010-10-010.0.5AndyStewart
GroteTrap50.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
HJVM30.01A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-150.1JeanPhilippeMoresmau
HJavaScript60.02HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-050.4.7NiklasBroberg
HsParrot80.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
ImperativeHaskell132.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)50.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
JsonGrammar170.01Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-071.0.5MartijnVanSteenbergen
LC3150.00LC-3 virtual machine (bsd3, language, program)2019-01-010.1.0.2DavidJohnson
LambdaCalculator210.01A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-290.2ThomasDuBuisson
LambdaPrettyQuote60.01Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-240.0.0.8JonathanFischoff
LibClang180.01Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-153.8.0ChetanTaralekar, deech
LslPlus200.01An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-250.4.3RobertGreayer
MagicHaskeller250.02Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2022-06-020.9.7.1SusumuKatayama
MicroHs312.00A compiler for a subset of Haskell (apache, language, program)2024-02-100.9.5.0LennartAugustsson
MicrosoftTranslator30.01Interface for Microsoft Translator (bsd3, language, library)2015-08-230.1.0.1netogallo
NXTDSL80.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
NanoProlog140.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)220.03Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-260.7.6CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)60.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
Paraiso190.01a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-030.3.1.5TakayukiMuranushi
Plural360.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
SCRIPTWriter40.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-Sdf2Haskell40.01Converts SDF to Haskell (bsd3, language, program)2013-05-031.0.0.2JamesKoppel
URLT (deprecated in favor of web-routes)60.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)140.06JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-102.2AndreyChudnov, ArjunGuha
WebBits-Html60.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
Wired80.01Wire-aware hardware description (bsd3, hardware, language, library)2014-05-060.3EmilAxelsson
XmlHtmlWriter32.01A library for writing XML and HTML (bsd3, language, library)2012-05-250.0.0.1MatthewMirman
abacate110.02Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-110.0.0.0MarcoSilva
abt81.251Abstract binding trees for Haskell (language, library, mit)2015-01-110.1.1.0JonSterling
acl2330.02Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-010.0.1TomHawkins
adtrees50.00Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-230.1.0.0umazalakain
agda2hs92.00Compiling Agda code to readable Haskell. (bsd3, compiler, language, program)2023-12-111.2jcockx
alga (deprecated)90.00Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-100.2.2mrkkrp
algorithmic-composition-additional220.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-basic200.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
antimirov40.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)2023-04-190.4.1.2KatsutoshiItoh
applicative-parsec30.01An applicative parser combinator library (gpl, language, library)2015-04-090.1.0.0KarlVoelker
applicative-quoters30.01Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-220.1.0.8BenMillwood
arduino-copilot672.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2024-02-221.7.8JoeyHess
arghwxhaskell40.01An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-030.8.2.0HenkJanVanTuyl
ariadne80.01Go-to-definition for Haskell (language, mit, program)2014-11-010.1.2.3RomanCheplyaka, manzyuk
array-forth80.02A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-170.2.1.4TikhonJelvis
ast-monad50.01A library for constructing AST by using do-notation (bsd3, language, library)2017-04-270.1.0.0MasatoMouri
ast-monad-json60.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)200.01Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-180.1SebastianMenge
aterm-utils60.01Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-180.2.0.2JasonDagit
atom630.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atomo130.02A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-110.4.0.2AlexSuraci
ats-format1280.02A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2019-11-300.2.0.36vmchale
axel140.00The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-030.0.12jgrosso256
bash390.01Bash generation library. (bsd3, language, library)2013-03-170.1.8JasonDusek
berp60.01An implementation of Python 3. (bsd3, language, library, program)2010-05-310.0.2BerniePope
bidirectional-instances30.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
bighugethesaurus100.01API wrapper for Big Huge Thesaurus (api, language, library)2015-12-280.1.0.0TheKing
binary-literal-qq (deprecated)230.01Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-241.0MathieuBoespflug
birds-of-paradise70.00Birds of Paradise (bsd3, language, library)2023-04-190.2.1.2KatsutoshiItoh
bitcoin-scripting52.00Resources for working with miniscript, and script descriptors (bsd3, language, library)2022-08-040.3.0IanShipman
blanks140.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)2020-05-270.12.1.0sapek, chwarr, eduardo
bond-haskell-compiler110.01Bond code generator for Haskell (bsd3, language, library, program)2016-11-260.1.5.0blaze
boolsimplifier290.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
bound832.59Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2023-08-062.0.7EdwardKmett, EricMertens, ryanglscott
bound-extras60.00ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2022-01-020.0.2phadej
bound-simple42.00A lightweight implementation of 'bound' (bsd3, language, library)2021-10-180.2.0.0ocramz
brain-bleep50.01primitive imperative language (bsd3, language, program)2019-05-220.1.0.2AlanHawkins
brainfuck-tut300.01A simple BF interpreter. (bsd3, language, library, program)2016-12-300.7.0.2alleledev
bricks (deprecated)50.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)40.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-parsec (deprecated)40.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-rendering (deprecated)30.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
brittany630.01Haskell source code formatter (agpl, language, library, program)2022-01-130.14.0.2lspitzner, fozworth, dukerutledge
broker-haskell30.01Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-160.1.0.0DavidBanas
c-dsl70.02A higher level DSL on top of language-c (language, library, mit)2014-05-070.3.1jozefg
c0check60.01Simple C0 Syntax Check (language, program)2013-01-040.2DanielSeidel, JanisVoigtlaender
c0parser70.01Simple C0 Parser (language, library)2013-01-040.2DanielSeidel, JanisVoigtlaender
c2ats52.00Translate C code into ATS (gpl, language, library, program)2016-09-170.1.0.1KiwamuOkabe
caledon132.251a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-063.2.2.0MatthewMirman
call-alloy440.00A simple library to call Alloy given a specification (language, library, mit)2024-01-190.4.1.1marcellus
call-plantuml200.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
camfort260.01CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program)2022-10-121.2.0DominicOrchard, mdanish, madgen, raehik
cao50.01CAO Compiler (compiler, cryptography, language, program)2014-04-070.1.1paufil, tfaoliveira, mbbarbosa
cap60.01Interprets and debug the cap language. (bsd3, language, program)2008-09-281.0.1ThomasDavie
cdeps450.03Extract dependencies from C code. (bsd3, c, development, language, library, program)2020-06-240.1.3.1vmchale
cg50.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
circ160.01A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-010.0.4TomHawkins
clang-compilation-database50.01JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-090.1.0.1AlekseyKliger
clang-pure140.01Pure C++ code analysis with libclang (apache, language, library)2020-01-310.2.0.6PatrickChilton
clash (deprecated in favor of clash-ghc)180.01CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-020.1.3.11ChristiaanBaaij
cleff171.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin32.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-bindings150.01Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-host130.03Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-010.2.1.0PepeIborra, TimMatthews, moodmosaic
clr-inline60.01Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-080.2.0.1PepeIborra, TimMatthews, moodmosaic
clr-marshal100.04Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0.0PepeIborra, TimMatthews, moodmosaic
clr-typed230.01A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-win-linker160.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
clua60.01C to Lua data wrapper generator (bsd3, language, program)2012-04-040.3TomSchouten
cmake-syntax290.00Parser for the CMake syntax (CMakeLists.txt and .cmake files) (bsd3, language, library)2019-08-030.1.0.00xd34df00d
cmonad150.01A library for C-like programming (bsd3, language, library)2009-03-290.1.1.1LennartAugustsson
co-feldspar40.00Hardware software co-design Feldspar (bsd3, language, library)2021-06-150.1.0.1mararon
codec-beam140.01Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-060.2.0hkgumbs
codo-notation50.01A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-220.5.2DominicOrchard
coformat90.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
compilation50.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-schema582.01Schema definitions for the config-value package (language, library)2022-08-101.3.0.0EricMertens
config-value722.55Simple, layout-based value language similar to YAML or JSON (language, library, mit)2022-08-100.8.3EricMertens
context-free-grammar40.01Basic algorithms on context-free grammars (bsd3, language, library)2021-05-290.1.1nedervold
control-dsl201.751An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-180.2.1.3yangbo
copilot652.05A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99590.07A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc170.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core580.09An intermediate representation for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, agoodloe, frankdedden
copilot-frp-sketch40.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter230.01Interpreter for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez
copilot-language500.07A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries530.02Libraries for the Copilot language. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter350.03A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez
copilot-sbv130.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem390.02k-induction for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-verifier150.00System for verifying the correctness of generated Copilot programs (bsd3, language, library, program)2024-02-060.1ryanglscott, galoisinc
core80.01External core parser and pretty printer. (bsd3, language, library)2009-04-080.5DavidHimmelstrup
core-compiler250.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-types40.00Types for interaction with CoreNLP (agpl, language, library)2023-12-040.1.0.0cgenie
cparsing30.01A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-160.1.0.0lazac
crucible240.00Crucible is a library for language-agnostic symbolic simulation (bsd3, language, library)2024-02-050.7ryanglscott, galoisinc
crucible-llvm220.00Support for translating and executing LLVM code in Crucible (bsd3, language, library)2024-02-050.6ryanglscott, galoisinc
crucible-symio220.00An implementation of symbolic I/O primitives for Crucible (bsd3, language, library)2024-02-050.1ryanglscott, galoisinc
crux210.00Simple top-level library for Crucible Simulation (bsd3, language, library)2024-02-050.7ryanglscott, galoisinc
crux-llvm270.00A verification tool for C programs. (bsd3, language, library, program)2024-02-050.8ryanglscott, galoisinc
cryptol1020.01Cryptol: The Language of Cryptography (bsd3, language, library, program)2024-02-053.1.0IavorDiatchki, ryanglscott, galoisinc
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
cube40.01Cubic DSL for 3D printing (bsd3, language, library)2015-04-150.2.0junjihashimoto
curry-base320.02Functions for manipulating Curry programs (bsd3, language, library)2019-11-221.1.1BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend200.02Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2021-02-112.0.0BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
dap40.00A debug adaptor protocol library (bsd3, debuggers, language, library)2023-09-150.1.0.0CsabaHruska, DavidJohnson
data-reify620.013Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2020-10-120.6.3AndyGill, ryanglscott
data-reify-cse40.01Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-080.0.3SebastiaanVisser
data-treify260.03Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection-)2014-03-180.3.4ConalElliott
deepl170.00Call DeepL to translate you files (bsd3, language, library, program, web)2021-04-160.1.0.1PaoloVeronelli
derive-gadt30.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-lex270.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
dino210.00A convenient tagless EDSL (bsd3, language, library)2022-05-270.1.3EmilAxelsson
disco100.00Functional programming language for teaching discrete math. (bsd3, language, library, program)2023-12-160.1.6BrentYorgey
discokitty150.00DisCoCat implementation. (gpl, language, library)2019-05-130.1.0mroman42
djinn-ghc170.02Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-110.0.2.3AlejandroSerrano
djinn-lib460.02Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2022-05-210.0.1.4AlejandroSerrano
djinn-th40.01Generate executable Haskell code from a type (bsd3, language, library)2010-08-030.0.1ClaudeHeilandAllen
do-notation200.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)250.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
dobutokO-poetry340.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-general210.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-languages380.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
dobutokO21120.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)2020-08-160.43.0.0OleksandrZhabenko
dove230.01The Dove verification language. (bsd3, formal-methods, language, library)2015-04-280.0.0TomHawkins
dovetail50.01A PureScript interpreter with a Haskell FFI. (bsd3, language, library)2021-11-180.1.1.0PhilFreeman
dovetail-aeson30.00Use Aeson from your Dovetail programs (bsd3, language, library)2021-11-130.1.0.0PhilFreeman
drmaa100.03A Haskell bindings to the DRMAA C library. (bsd3, language, library)2018-12-050.3.0kaizhang
ds-kanren50.01A subset of the miniKanren language (language, library, mit)2014-10-090.2.0.1jozefg
each102.251Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2018-11-301.1.1.0dramforever, ice1000
ecma26240.03A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-120.0.0FabianBergmark
effective-aspects30.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
eflint240.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-mode90.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-mode110.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-quote60.01A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-070.2TakuyaKuwahara
ehs50.01Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-150.7.0minpou
elm-bridge632.02Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2024-01-090.8.3AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)40.01Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-130.14.0.0jeremondi
elm-compiler (deprecated)52.03Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-200.15EvanCzaplicki
elm-core-sources250.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)80.01Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-200.5EvanCzaplicki
elm-reactor (deprecated)70.01Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-200.3.1EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)210.01Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-200.11.0.1EvanCzaplicki
elm-street290.00Crossing the road between Haskell and Elm (compiler, elm, language, library, mpl, program)2024-01-030.2.2.0vrom911, HolmuskTechTeam
elm-syntax400.04Elm syntax and pretty-printing (bsd3, compiler, elm, language, library)2023-12-020.3.3.0OliverCharles, OlleFredriksson, GeorgeThomas, rickowens
elsa180.00A tiny language for understanding the lambda-calculus (language, library, mit, program)2022-09-280.2.2.0ranjitjhala
enchant50.01Binding to the Enchant library (bsd3, language, library)2016-06-220.1.0.0kseo
ewe150.01An interpreter for EWE programming language (bsd3, language, program)2019-02-040.3.1.1JuanFranciscoCardonaMcCormick
exception-hierarchy390.03Exception type hierarchy with TemplateHaskell (bsd3, language, library)2023-12-270.1.0.11YoshikuniJujo
exference60.00Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-131.6.0.0lspitzner
explain40.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-tree30.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
feldspar-language160.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-instances60.00First class typeclass instances (bsd3, language, library)2020-02-020.1.0.0lyxia, TheMatten
foma230.01Simple Haskell bindings for Foma. (language, library, mit)2021-01-280.1.2.0joom
formura40.00Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-041.0TakayukiMuranushi
forsyde-deep70.00ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-260.2.0ugeorge, ingo, JorRodolfo
forsyde-shallow300.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-src340.03Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). (apache, language, library, program)2023-06-220.15.1DominicOrchard, mdanish, madgen, raehik
fortran-src-extras110.01Common functions and utils for fortran-src. (apache, language, library, program)2023-05-040.5.0raehik
fortran-vars70.00Fortran memory model and other static analysis tools. (apache, language, library, program)2023-06-220.4.0raehik
fractionizer180.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-theorems120.03Automatic generation of free theorems. (language, library, public-domain)2022-12-210.3.2.1DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples80.01Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-140.3.1.0DanielSeidel, JanisVoigtlaender
free-theorems-seq40.01Taming Selective Strictness (language, library, public-domain)2011-03-111.0DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui20.01Taming Selective Strictness (language, program, public-domain)2011-03-301.0.0.2DanielSeidel, JanisVoigtlaender
free-theorems-webui80.01CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-180.2.1.1DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect80.01A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-210.8AndrewSeniuk
fregel30.00A functional DSL for vertex-centric large-scale graph processing (language, mit, program)2023-07-201.2.0KentoEmoto
fresh60.01Introduce fresh variables into Haskell source code (language, library, mit)2012-01-030.1.1DavidLazar
frp-arduino80.01Arduino programming without the hassle of C. (gpl, language, library)2018-03-260.1.1.0RickardLindberg, JeremyWright
ft-generator40.00implementation accompanying a WFLP'19 paper (language, program)2019-08-291.0.1JanisVoigtlaender
ftshell50.01Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-120.3.0.1JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp70.01call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-080.1.0.2ltvanbinsbergen
funpat40.01A generalization of pattern matching (bsd3, language, library)2011-07-010.1GergelyDevai
gender50.01Identify a persons gender by their first name (language, lgpl, library, program)2013-02-160.1.1.0KraniumGikos
ghc-core-smallstep40.01A small-step semantics for Core (language, library, mit)2018-04-100.1.0.1JoachimBreitner
ghc-justdoit90.01A magic typeclass that just does it (language, library, mit)2022-08-010.1.0.2JoachimBreitner
ghc-options60.01Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-160.2.0.0ranjitjhala
ghc-parser810.02Haskell source parser from GHC. (language, library, mit)2023-11-080.2.6.0gibiansky, VaibhavSagar
ghc-session80.00Simplified GHC API (language, library, mit, program)2016-02-180.1.2.1danilo2, PiotrMlodawski, iamrecursion
ghc-srcspan-plugin70.01Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-210.2.2.1EricSeidel
ghci-lib40.02A library for interactively evaluating Haskell code. (language, library, mit)2014-02-160.1.0.0gibiansky
ghci-websockets280.00A websocket server that survives GHCi reloads (bsd3, language, library)2019-07-160.0.2jfmueller
gimlh180.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
glualint40.00Attempts to fix your syntax erroring Lua files. (language, lgpl, library)2024-01-011.28.0FPtje
goldplate240.00A lightweight golden test runner (apache, language, program)2023-02-260.2.1.1AndreasAbel, JasperVanDerJeugt
google-search70.02EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-310.2.0.0LiyangHu
graphql502.254Haskell GraphQL implementation (language, library)2024-01-091.2.0.3jdnavarro, belka
graphql-spice90.00GraphQL with batteries (language, library, mpl)2023-07-071.0.2.0belka
graphql-w-persistent292.01GraphQL interface middleware for SQL databases. (data, database, development, graphs, language, library)2020-09-180.9.1.0jasonsychau
hakaru110.02A probabilistic programming language (bsd3, language, library, program)2020-11-020.7.0pravnar, z
halfsplit60.02A library to provide special kind of two-column output for Phladiprelio. (PhLADiPreLiO, data, language, library, mit)2023-11-120.4.2.0OleksandrZhabenko
halide-JuicyPixels20.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-haskell20.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-dot230.01Parser for dot made with happy. (gpl, language, library)2019-12-211.0.0.0mgmillani
haquil60.01A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-050.2.1.14BrianBush
hardware-edsl110.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
haskarrow40.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-coffee40.02Simple CoffeeScript API (gpl, language, library)2015-07-190.1.0.2KevinVanRooijen
haskell-exp-parser210.02Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2020-10-170.1.4EmilAxelsson
haskell-generate70.02Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-020.2.4BennoFuenfstueck
haskell-holes-th42.01Infer haskell code by given type. (language, library, mit)2019-08-242.0.0.0klntsky
haskell-lexer2580.08A fully compliant Haskell 98 lexer (language, library, mit)2022-12-271.1.1IavorDiatchki
haskell-lsp-client (deprecated)52.00A haskell package to build your own Language Server client. (deprecated, development, gpl, language, library, program, protocol)2017-12-291.0.0.1
haskell-names492.255Name resolution library for Haskell (bsd3, language, library)2020-05-260.9.9AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster
haskell-rules30.01A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-160.1.0.1spacekitteh
haskell-src930.040Support for manipulating Haskell source code (bsd3, language, library)2022-02-071.0.4AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts6242.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-observe20.02Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-170.1.0PepeIborra
haskell-src-exts-prisms30.01Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-071.18.2.0DanielWaterworth
haskell-src-exts-qq120.03A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-140.7MathieuBoespflug
haskell-src-exts-sc80.01Pretty print haskell code with comments (bsd3, language, library)2018-04-100.1.0.6achirkin
haskell-src-exts-util480.02Helper functions for working with haskell-src-exts trees (bsd3, language, library)2019-04-110.2.5NeilMitchell, PepeIborra
haskell-src-meta3030.0114Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2023-11-120.8.13AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)30.04Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-180.1.0MarkWotton
haskell-to-elm210.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-ast310.013Haskell AST for efficient tooling (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-ast-fromghc70.02Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-050.2.0.0lazac
haskell-tools-ast-gen50.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-ghc290.05Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-builtin-refactorings120.04Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-cli260.00Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-daemon220.01Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-debug240.00Debugging Tools for Haskell-tools (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-demo300.00A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-experimental-refactorings110.01Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-prettyprint290.08Pretty printing of Haskell-Tools AST (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-refactor290.06Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-rewrite270.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-typescript20.01Simple TypeScript API (gpl, language, library)2013-10-160.1.0.0DavidJohnson
haskellish632.00For parsing Haskell-ish languages (bsd3, language, library)2024-02-010.3.2.2dktr0
haskelm70.01Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-250.1.12.0jeremondi
haskeme50.00Compiler from I- to S-Expressions for the Scheme Programming Language (bsd3, language, library, program)2019-07-180.1.0.4jumper149
haspell140.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-console60.00interactively inspect Haskell values at runtime (bsd3, language, library)2020-11-210.1.0.1TheMatten
her-lexer60.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
hermit390.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
hfmt222.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-exceptions40.01Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-211.0.1BenjaminBarenblat
hindley-milner40.01Template for Hindley-Milner based languages (language, library, mit)2016-04-230.1.0.0mbg
hindley-milner-type-check130.00Type inference for Hindley-Milner based languages (language, library, mit)2021-06-080.1.1.0AntonKholomiov
hint1992.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server240.05A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-271.4.3CorentinDupont, FernandoBenavides
hinter (deprecated)20.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
hnock210.00A Nock interpreter. (language, library, mit, program)2019-10-010.4.0JaredTobin
ho-rewriting40.01Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-110.2.1EmilAxelsson
homplexity351.251Haskell code quality tool (bsd3, language, library, program, tools)2022-10-090.4.8.1MichalGajda
hoop30.00Object-Oriented Programming in Haskell (language, library, mit)2020-07-040.3.0.0mbg
hopencc40.01Haskell binding to libopencc (bsd3, language, library)2019-10-060.2.0.0PaulMeng
hpython72.00Python language tools (bsd3, language, library, program)2019-05-020.3qfpl
hruby540.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-inspector180.01Haskell source code analyzer (language, library, mit)2015-05-140.5.2.0flbulgarelli
hs-pattrans40.00DSL for musical patterns and transformation, based on contravariant functors. (bsd3, language, library, program)2020-02-120.1.0.2omelkonian
hs2ats572.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
hscolour2410.038Colourise Haskell code. (language, library, program)2023-08-301.25DonaldStewart, MalcolmWallace, phadej
hse-cpp282.04Preprocess+parse haskell code (language, library, mit)2016-10-060.2AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock100.01Nock 5K interpreter. (language, library, program, public-domain)2013-11-050.5.1mrdomino
hsp500.030Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-120.10.0GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp220.04SQL parser and type checker (bsd3, database, language, library)2019-07-080.6.2JakeWheat
hssqlppp-th60.01hssqlppp extras which need template-haskell (bsd3, database, language, library)2019-07-080.6.2JakeWheat
hswip32.01embedding prolog in haskell (foreign, language, library)2010-08-130.3EvgenyTarasov
hsx (deprecated in favor of hsx2hs)300.016HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-050.10.5NiklasBroberg
hsx2hs410.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
htoml230.07Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-071.0.0.3cies
htoml-megaparsec400.04Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2023-10-242.1.0.5vmchale
hubris70.01Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-240.0.3MarkWotton
hunspell-hs42.01Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-270.2.0.0ashutoshrishi
husk-scheme812.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs220.01Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-130.0.1JustinEthier
hwhile142.00An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-070.1.1.6alexj136
hydrogen-cli70.01Hydrogen Data (language, mit, program)2015-01-080.14JulianFleischer
hydrogen-cli-args90.01Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-data100.01Hydrogen Data (bsd3, language, library)2015-01-080.14JulianFleischer
hydrogen-multimap50.03Hydrogen Multimap (language, library, mit)2015-03-260.3JulianFleischer
hydrogen-parsing70.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)70.03Hydrogen Tools (bsd3, deprecated, language, library)2014-12-160.8JulianFleischer
hydrogen-version160.02Hydrogen Version Type (language, library, mit)2015-03-261.4JulianFleischer
hypertypes160.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
ihs330.01Interpolated Haskell (language, program, public-domain)2018-12-120.1.0.3minad
imperative-edsl200.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)70.01Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-140.3.2mararon
imprevu30.04Reactive programming language based on a DSL (bsd3, language, library)2017-03-130.1.0CorentinDupont
imprevu-happstack50.01Imprevu support for Happstack (bsd3, language, library)2017-03-130.1.0CorentinDupont
improve320.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
inch40.01A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-070.2.0AdamGundry
indexed-do-notation160.01Do notation for indexed monads (bsd3, language, library)2013-05-010.1FumiakiKinoshita
indian-language-font-converter220.01Indian Language Font Converter (bsd3, language, library)2013-12-020.2AkashJagdhane
indigo190.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
interpol80.01GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-220.2.3AlexandruScvortov
intrinsic-superclasses222.01A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-140.4.0.0dailectic
invertible-grammar370.01Invertible parsing combinators framework (bsd3, language, library)2023-11-120.1.3.5EugeneSmolanka
ion50.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
ipa192.00Internal Phonetic Alphabet (IPA) (bsd3, language, library)2021-06-140.3.1.1RoryTylerHayford
ivory112.2511Safe embedded C programming. (bsd3, language, library)2019-04-050.1.0.9EricMertens, LeePike
ivory-artifact340.04Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ivory-avr-atmega328p-registers30.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)50.02Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-260.2.0.0EricMertens, LeePike
ivory-examples100.01Ivory examples. (bsd3, language, program)2016-12-160.1.0.5EricMertens, LeePike
ivory-hw70.02Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-170.1.0.6EricMertens, LeePike
ivory-opts90.02Ivory compiler optimizations. (bsd3, language, library)2018-07-180.1.0.6EricMertens, LeePike
ivory-serialize80.01Serialization library for Ivory. (bsd3, language, library)2019-04-050.1.0.6EricMertens, LeePike
ivory-stdlib80.01Ivory standard library. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ixdopp110.01A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-230.1.3JesseTov
jacinda222.250Functional, expression-oriented data processing language (agpl, data, interpreters, language, library, program, text)2024-02-172.0.2.0vmchale
jarfind80.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
jdi40.01Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-280.0.3VictorDenisov
jmacro492.017QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2023-03-220.6.18GershomBazerman, JeremyShaw
joy-rewrite40.00Transform Joy code using conditional rewrite rules (bsd2, language, library)2022-06-290.2.0rieckenj
js-good-parts90.01Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-200.0.7SeanSeefried
jsmw50.01Javascript Monadic Writer base package. (bsd3, language, library)2009-04-260.1DmitryGolubovsky
json-python70.01Call python inline from haskell (language, library, mit)2014-11-100.4.0.1russell91
jvm-binary160.01A library for reading Java class-files (java, jvm, language, library, mit)2021-05-120.10.0kalhauge
jvm-parser50.01A parser for JVM bytecode files (bsd3, language, library)2014-08-070.2.1KevinQuick, RobertDockins, galoisinc
kansas-lava100.04Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-060.2.4.5AndyGill, GergoErdi
kbq-gu180.01Rpoku spoken word programming language (language, program)2008-08-140.2AndriiZvorygin
kempe232.00Kempe compiler (bsd3, compilers, language, library, program)2023-05-250.2.0.13vmchale
kuifje60.00A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-100.1.2.0martonbognar
kure310.05Combinators for Strategic Programming (bsd3, language, library)2021-04-042.18.6AndyGill, NeilSculthorpe
kure-your-boilerplate40.01Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-270.1.3AndyGill
lambda-calculator150.00A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2023-03-013.1.1.0sgillespie
lambda-calculus-interpreter110.00Lambda Calculus interpreter (bsd3, language, library, program)2018-09-120.1.0.3xeontem
lambda-placeholders82.01A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-290.0.0.0MatthewMirman
lambdaBase50.01 (language, library, mit)2015-05-050.0.2.0faleidel
lambdaLit60.01... (language, mit, program)2014-12-180.1.1.0faleidel
lang50.01A Lisp (agpl, language, library)2018-03-010.2.2Zaoqi
language-Modula270.00Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2023-09-260.1.4MarioBlazevic
language-asn40.01ASN.1 encoding and decoding (bsd3, language, library)2019-04-090.1.1.0andrewthad, chessai
language-asn1360.01Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-140.6DmitryAstapov
language-ats1132.04Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2021-01-181.7.10.3vmchale
language-bash400.02Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2020-04-230.9.2KyleRaftogianis
language-bluespec200.00An implementation of the Bluespec Haskell AST (bsd3, language, library)2024-02-080.1ryanglscott, galoisinc
language-boogie90.01Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-050.2NadiaPolikarpova
language-c2752.011Analysis and generation of C code (bsd3, language, library)2024-01-200.9.3BenediktHuber, Bodigrim, jophish, expipiplus1
language-c-comments70.01Extracting comments from C code (bsd3, language, library)2014-03-080.3GeoffHulette, MatthewSottile
language-c-inline230.01Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-300.7.11.0ManuelChakravarty
language-c-quote1560.010C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2023-03-220.13.0.1GeoffreyMainland, TroelsHenriksen
language-c99440.04An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2022-05-210.2.0frankdedden
language-c99-simple750.02C-like AST to simplify writing C99 programs. (language, library, mit)2024-01-030.3.0frankdedden
language-c99-util650.02Utilities for language-c99. (language, library, mit)2022-05-210.2.0frankdedden
language-cil290.01Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-190.4.0TomLokhorst
language-csharp30.00C# source code manipulation (bsd3, language, library)2019-05-100.0.1icysnowman55
language-css260.04CSS 2.1 syntax (bsd3, language, library)2020-05-140.0.3.1AntonKholomiov, tomjaguarpaw
language-dart82.251Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-120.2.0.0sigrlami, kseo
language-dickinson312.00A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2022-09-101.4.3.0vmchale
language-dot581.754A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2023-10-240.1.2BenGamari, BrianLewis
language-ecmascript472.07JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-260.19.1.0AndreyChudnov, ArjunGuha, DavidJohnson
language-ecmascript-analysis110.01JavaScript static analysis library. (bsd3, language, library)2016-01-310.9.2AndreyChudnov
language-eiffel60.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-gcl52.01Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-150.2StijnVanDrongelen
language-glsl380.06GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-020.3.0VoMinhThu
language-go70.01A library for analysis and synthesis of Go code. (language, library)2011-02-060.8AndrewRobbins
language-guess50.01Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-090.1.2ChristianRoedliAmble
language-java410.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-javascript1840.013Parser for JavaScript (bsd3, language, library)2020-03-220.7.1.0AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js130.01javascript parser for es6 and es7. (language, library, mit)2021-03-270.3.0diasbruno
language-kort40.01Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-180.1.0.0akrasner
language-lua570.03Lua parser and pretty-printer (bsd3, language, library)2019-08-290.11.0.1EricMertens, OmerAgacan
language-lua-qq20.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-mixal40.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-nix300.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-oberon140.01Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2023-09-260.3.3MarioBlazevic
language-objc130.01Analysis and generation of Objective C code (bsd3, language, library)2013-12-110.4.2.8JohnLato
language-ocaml50.01Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-120.2.0Ptival
language-openscad100.01A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-130.1.7BenGamari, BrechtSerckx
language-pig110.01Pig parser in haskell. (language, library, mit)2013-12-160.3.0.1elisehuard
language-python492.03Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-120.5.8BerniePope
language-python-colour40.01Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-040.1BerniePope
language-python-test260.01testing code for the language-python library (bsd3, language, program)2020-07-120.5.8BerniePope
language-qux100.00Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-100.2.0.0hjwylde
language-rust82.251Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-220.2.0.27harpocrates
language-sally142.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-slice180.01AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-140.3.0.0PaulKoerbitz
language-sqlite70.01Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-141.1IreneKnapp
language-sygus220.00A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2022-10-310.1.1.3WilliamHallahan
language-thrift632.01Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2021-12-040.12.0.1PhilippHausmann, abhinav
language-tl50.02A Parser for the Type Language (bsd3, language, library)2020-06-040.1.1Poscat
language-typescript70.02A library for working with TypeScript Definition files (language, library, mit)2014-02-020.0.4PhilFreeman
language-vhdl152.04VHDL AST and pretty printer in Haskell. (bsd3, language, library)2021-06-150.1.4mararon
language-webidl120.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-parser190.01Lenses for toml-parser (language, lenses, library)2024-03-010.3.0.0henrytill
lexer-applicative412.02Simple lexer based on applicative regular expressions (language, library, mit)2018-06-062.1.0.2RomanCheplyaka
lhs2TeX-hl200.01Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-150.1.4.5AlessandroVermeulen
lhs2tex632.01Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2023-11-141.25AndresLoeh
libconfig60.01Haskell bindings to libconfig (bsd3, language, library)2015-04-290.3.0.0peddie
lift-generics280.01GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2021-09-160.2.1ryanglscott
linkcore70.01Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-250.4.1TimChevalier
liquid-base152.09Drop-in base replacement for LiquidHaskell (bsd3, language, library)2023-03-104.15.1.0AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-bytestring80.00LiquidHaskell specs for the bytestring package (bsd3, language, library)2023-03-100.10.12.1AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-containers70.01LiquidHaskell specs for the containers package (bsd3, language, library)2023-03-100.6.4.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-fixpoint1070.05Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2024-01-290.9.6.3AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquid-ghc-prim50.01Drop-in ghc-prim replacement for LiquidHaskell (bsd3, language, library)2023-03-100.7.0.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-parallel80.00LiquidHaskell specs for the parallel package (bsd3, language, library)2023-10-183.2.2.0.2AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-platform70.00A battery-included platform for LiquidHaskell (bsd3, language)2024-01-290.9.2.8AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-prelude200.01General utility modules for LiquidHaskell (bsd3, language, library)2023-10-180.9.2.5AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-vector100.01LiquidHaskell specs for the vector package (bsd3, language, library)2023-10-180.12.3.1.2AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquidhaskell1142.515Liquid Types for Haskell (bsd3, language, library)2024-02-050.9.8.1AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquidhaskell-boot610.01Liquid Types for Haskell (bsd3, language, library)2024-02-050.9.8.1FacundoDominguez
located50.01Source location helpers (bsd3, language, library)2016-07-190.1.1.0TrevorElliott
lojban80.01Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-180.3
lojbanParser130.01lojban parser (bsd3, language, library, program)2014-08-160.1.9.2YoshikuniJujo
lojbanXiragan40.01lojban to xiragan (bsd3, language, library, program)2013-03-070.3YoshikuniJujo
lojysamban120.01Prolog with lojban (bsd3, language, program)2014-10-240.0.8.1YoshikuniJujo
lol-calculus40.01Calculus for LOL (λω language). (gpl, language)2016-08-231.20160822julm
lol-typing50.01Type inferencer for LOL (λω language) (gpl, language, library)2016-08-231.20160822julm
lorentz520.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
ltl160.01Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-190.0.0TomHawkins
lua-bc90.01Lua bytecode parser (language, library, mit)2016-12-070.1.1EricMertens, galoisinc
luka50.01Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-292012.8.29JinjingWang
luthor40.01Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-250.0.2ZankokuOkuno
mathista (deprecated)310.01A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-110.0.1seiya
maude100.01An interface to the Maude rewriting system. (language, library, mit)2012-07-090.6.1DavidLazar
mcm72.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
mecha200.01A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-110.1.1TomHawkins
melody30.01A functional scripting language (language, library, mit, program)2014-01-100.2jozefg
meta-misc70.01Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-020.1.0.3ByronJohnson
mi30.01Multiple Instance for Haskell (language, library, mit)2014-02-280.0.1matt
mida (deprecated)110.00Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-101.0.2mrkkrp
mikrokosmos50.01Lambda calculus interpreter (gpl, language, program)2018-08-010.8.0mroman42
miniforth40.01Miniature FORTH-like interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
ministg60.01an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-100.3BerniePope
ml-w30.01Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-090.1.1FrancescoMazzoli
mmsyn2-array460.022A 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-data40.01Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2023-01-310.2.0.0OleksandrZhabenko
mmsyn2-hashable30.00A library that can be used for multiple Hashable a => a -> b transformations. (data, development, language, library, mit)2021-10-310.1.0.0OleksandrZhabenko
mmsyn6ukr570.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-array210.00A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, tts)2022-08-150.3.3.0OleksandrZhabenko
mmsyn7h500.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
mmsyn7s450.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
mmsyn7ukr1340.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-array70.00A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by mmsyn7h-array, dobutokO2-array and other similar packages (language, library, mit, sound)2022-08-160.2.0.0OleksandrZhabenko
mmsyn7ukr-common240.05Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. (Ukrainian, language, library, mit, sound, sox)2022-08-150.2.0.0OleksandrZhabenko
modelicaparser40.01A parser for the modelica language (bsd3, language, library)2014-04-030.1.0.0fphh
modulespection140.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
morley430.05Developer tools for the Michelson Language (language, library, mit, program)2023-07-311.20.0gromak, pasqu4le, serokell
morley-upgradeable30.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-idl20.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
mueval590.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
nanopass30.00Create compilers using small passes and many intermediate representations. (bsd3, language, library, program)2024-01-080.0.3.0edemko
naver-translate40.01Interface to Naver Translate (gpl, language, library)2015-10-150.1.0.2hongminhee
netlist60.04Netlist AST (bsd3, language, library)2011-10-280.3.1AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl290.02Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-060.3.3AndyGill, GergoErdi, PhilipWeaver
nirum100.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
nom40.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal190.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-library30.01Library of rules for Nomyx (bsd3, language, library)2017-03-171.0.0CorentinDupont
ntha200.00A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-270.1.3zjhsdtc
oberon040.01Oberon0 Compiler (language, library)2013-10-230.0.2MarcosViera
octopus50.01Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-070.0.2.1ZankokuOkuno
omega40.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
operational-alacarte120.06A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-070.3.1EmilAxelsson
oplang70.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2023-12-280.4.0.1aionescu
optimusprime50.01A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-170.0.1.20091117JasonReich
org2anki210.01Basic org to anki exporter (gpl, language, program)2016-10-290.1.0mroman42
pads-haskell50.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-matcher190.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
peggy140.04The Parser Generator for Haskell (bsd3, language, library)2013-01-300.3.2HideyukiTanaka, darkf
pgf270.00Bindings to the C version of the PGF runtime (language, lgpl, library)2021-05-031.3.0JohnCamilleri
phladiprelio-general-datatype70.02Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-01-210.7.0.0OleksandrZhabenko
phladiprelio-general-shared50.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple70.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-01-300.14.2.0OleksandrZhabenko
phladiprelio-rhythmicity-shared40.03Allows to estimate some kind of the rhythmicity properties for the text (language, library, math, mit, music)2023-03-130.1.0.0OleksandrZhabenko
phladiprelio-tests50.02Common for Ukrainian and general data for test mode. (language, library, mit)2023-08-140.1.0.0OleksandrZhabenko
phladiprelio-ukrainian-shared130.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-02-220.1.1.0OleksandrZhabenko
phladiprelio-ukrainian-simple120.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-01-290.15.3.0OleksandrZhabenko
phonetic-languages-basis120.011A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. (game, language, library, math, mit)2023-01-300.3.0.0OleksandrZhabenko
phonetic-languages-common180.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-constraints250.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array360.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples220.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-general70.00A generalization of the uniqueness-periods-vector-general functionality. (language, library, mit, phonetic-languages)2020-11-260.3.0.1OleksandrZhabenko
phonetic-languages-permutations220.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-array290.06Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2024-01-230.5.0.0OleksandrZhabenko
phonetic-languages-phonetics-basics720.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-plus180.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-properties100.01A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, language, library, mit, phonetic-languages)2021-02-020.4.0.0OleksandrZhabenko
phonetic-languages-rhythmicity410.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-base370.010A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2024-01-240.8.0.0OleksandrZhabenko
phonetic-languages-simplified-common240.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-array620.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-common210.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-array830.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-common260.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-array560.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-examples100.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-array560.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-common100.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-old50.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)100.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-double40.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
phonetic-languages-ukrainian260.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-array360.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-vector280.02A generalization of the functionality of the uniqueness-periods-vector package. (language, library, mit, phonetic-languages)2020-10-300.1.0.0OleksandrZhabenko
pisigma80.01A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-180.2.1AndresLoeh, DarinMorrison
plural100.01Pluralize (bsd3, language, library)2018-06-070.1.0.0fresheyeball
polysemy1412.7574Higher-order, low-boilerplate free monads. (bsd3, language, library)2023-10-081.9.1.3isovector, tek, TheMatten, KingoftheHomeless
polyseq (deprecated in favor of free-theorems-seq)60.01Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-060.1.2.1DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens280.02Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-280.1.0.0SimonHudon, bandali
powerpc50.01Tools for PowerPC programs. (bsd3, language, library)2010-03-100.0.1TomHawkins
prelude-edsl340.01An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-200.4EmilAxelsson
preprocess-haskell40.01Preprocess Haskell Repositories. (bsd3, language, library)2015-03-120.0.1.1bsummer4
preprocessor-tools320.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-abstract120.00Abstract syntax for writing documents (language, library, mpl)2022-03-070.3.0.0chris_martin
processor-creative-kit270.01a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-310.1.0.1takenobut
prolog290.02A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-250.3.2DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prolog-graph50.01A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-210.1.0.2MatthiasBartsch
prolog-graph-lib210.01Generating images of resolution trees for Prolog queries. (language, library, public-domain)2019-01-230.2.1.1DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prosidy72.251A simple language for writing documents. (language, library, mpl)2020-03-301.6.0.2jafc
prosidyc50.00A DSL for processing Prosidy documents. (language, library, mpl)2020-04-160.3.0.0jafc
purescript3252.759PureScript Programming Language Compiler (bsd3, language, library, program)2024-02-070.15.15PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, PureFunctor, kl0tl, jalexm
purescript-ast80.02PureScript Programming Language Abstract Syntax Tree (bsd3, language, library)2021-04-180.1.1.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl
purescript-cst90.04PureScript Programming Language Concrete Syntax Tree (bsd3, language, library)2022-02-260.5.0.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-tsd-gen70.00TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2019-06-210.3.0.0aratamizuki
pyffi40.01Call python inline from haskell (language, library, mit)2014-11-110.4.0.2russell91
pyfi60.01Call python inline from haskell (language, library, mit)2014-11-170.4.0.4russell91
qbe50.00Types and prettyprinter for the IL of the QBE compiler backend (bsd3, language, library)2022-07-101.1.0.0fgaz
quenya-verb50.01Quenya verb conjugator (agpl, language, library, program)2015-04-030.0.1kaashif
r-glpk-phonetic-languages-ukrainian-durations330.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-editor60.01Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-170.3.0.0bubuiic
raw-feldspar170.01Resource-Aware Feldspar (bsd3, language, library)2022-05-270.4.1EmilAxelsson
really-simple-xml-parser80.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
refinery420.02Toolkit for building proof automation systems (bsd3, language, library)2021-04-090.4.0.0ReedMullanix
reflex-jsx42.01Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-240.1.0.0dackerman
register-machine-typelevel30.01A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-040.1.0.0kcsongor
reorder-expression110.00Reorder expressions in a syntax tree according to operator fixities. (language, library, mit)2023-12-260.1.0.1comp
resin90.01High performance variable binders (bsd2, language, library)2019-01-010.2.0.3CarterSchonwald
rope140.02Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-210.6.4EdwardKmett
rope-utf16-splay740.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
satyros150.00Step-by-step SAT solver for educational purposes (language, library, mit)2021-11-140.3.1.4Ailrun
seal-module200.01Template Haskell support for global configuration data (bsd3, language, library)2010-11-080.1.0.1JoachimBreitner
semantic102.250Framework and service for analyzing and diffing untrusted code. (language, library, mit)2019-06-020.0.0patrick_thomson
sexp70.01S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-260.7AlexandruScvortov
sexp-grammar540.02Invertible grammar combinators for S-expressions (bsd3, language, library)2023-11-122.3.4.2EugeneSmolanka, SergeyVinokurov
shady-gen20.02Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-300.5.1ConalElliott
shake-dhall60.00Dhall dependencies (bsd3, dhall, language, library)2020-08-260.1.1.3vmchale
she100.02A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-020.6ConorMcBride
shentong282.01A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-270.3.2mjt128
shivers-cfg50.01Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-080.1.1JoachimBreitner
shortcut80.04 (bsd3, language, library)2017-03-170.1CorentinDupont
show460.04'Show' instances for Lambdabot (language, library)2013-05-190.6CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit270.01A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-010.3ConorMcBride
sifflet330.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)150.01Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-022.2.1GregoryWeber
signals60.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-ltl110.00A simple LTL checker (bsd3, language, library)2019-04-222.1.0JohnWiegley
simple-sql-parser520.01A parser for SQL. (bsd3, database, language, library)2024-02-030.7.1JakeWheat
sized-types90.04Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-190.5.1AndyGill, GergoErdi, ryanglscott
sketch-frp-copilot320.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-lib100.01Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-190.0.2TomHawkins
smt2-parser300.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)20.01Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-040.1.0.0DanielPatterson
snmp130.02SNMP protocol library (bsd3, language, library)2019-04-090.3.1.0chemist, andrewthad, chessai
sound-change10.00Apply sound changes to words (language, library, linguistics, mit)2023-10-140.1.0.0OwenBechtel
spade110.00A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2023-06-120.1.0.9sras
specialize-th30.02Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-080.0.0.8JonathanFischoff
spir-v40.01Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-160.0.1.0jophish, expipiplus1
staticanalysis230.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
string-interpreter300.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-cabal130.00Format Cabal files (bsd3, language, library, program)2019-02-090.5.0.0JudeTaylor
stylish-haskell4282.254Haskell code prettifier (bsd3, language, library, program)2024-01-190.14.6.0JasperVanDerJeugt
stylist140.01Apply CSS styles to a document tree. (gpl, language, library)2023-06-202.7.0.1alcinnz
subleq-toolchain40.01Toolchain of subleq computer. (gpl, language, library, program)2015-12-240.1.8.5na4zagin3
sugar-scheme40.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-compiler50.02Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-120.2JanBracker
sunroof-examples60.01Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-270.2.2JanBracker
sunroof-server60.01Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-270.2.1JanBracker
surjective30.01An output coverage checker (language, library, public-domain)2018-02-210.1.0.0gelisam
sv2v250.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2023-06-220.0.11zachjs
swearjure30.01Clojure without alphanumerics. (language, lgpl, program)2015-04-011.0.0hyPiRion
symantic130.01Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-126.3.4.20190712julm
symantic-grammar130.02Library for symantic grammars. (gpl, language, library)2019-06-170.3.3.20190614julm
symantic-lib80.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
syntactic1110.09Generic representation and manipulation of abstract syntax (bsd3, language, library)2022-05-263.8.4AndersPersson, EmilAxelsson
syntax-trees70.02Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-010.1.2DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn40.02Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-300.1.2.5ByronJohnson
tal30.01An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-230.1.0.0sweirich
tempi80.00For representing musical tempi (bsd3, language, library)2021-09-291.0.2.1dktr0
tempus30.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
tensor-safe42.00Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-030.1.0.1leopiney
termination-combinators40.01Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-190.1MaxBolingbroke
tersmu80.01A semantic parser for lojban (gpl, language, library, program)2018-04-290.2.2mbays
text-register-machine60.01A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-090.4.0AdamFoltzer
th-alpha110.01Alpha equivalence for TH Exp (bsd3, language, library)2016-07-010.2.1.0jkarni
th-bang-compat170.01Compatibility for bang-type template (bsd3, language, library)2019-06-090.0.1.0KeiHibino
th-constraint-compat310.03Compatibility for type constraint template (bsd3, language, library)2017-10-070.0.1.0KeiHibino
th-data-compat522.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-lift3750.085Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2023-08-010.8.4IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
th-reify-compat400.01Compatibility for the result type of TH reify (bsd3, language, library)2018-08-260.0.1.5KeiHibino
th-strict-compat210.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-haskell40.01A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-110.3.0ConalElliott
tptp100.01Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-110.1.3.0EK
transformations60.01Generic representation of tree transformations (gpl, language, library, program)2015-02-150.2.0.0JeroenBransen, JosePedroMagalhaes
traverse-code60.00General data structure lifting for Template Haskell (bsd3, language, library)2022-01-230.1.1.1dfeuer
trhsx (deprecated in favor of hsx)60.01Deprecated (bsd3, deprecated, language, library)2008-05-170.2.2GwernBranwen, NiklasBroberg
turkish-deasciifier90.00Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-220.1.0.0cattheory
type-of-html632.251High performance type driven html generation. (bsd3, html, language, library, text, web)2021-02-061.6.2.0knupfer
type-of-html-static100.01Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-020.1.0.2knupfer
type-settheory80.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-sub-th50.03Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-080.1.0.6JonathanFischoff
type-tree70.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-basic410.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-array590.011A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation)2024-02-220.7.1.1OleksandrZhabenko
ukrainian-phonetics-basic-array-bytestring40.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-common120.02A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2023-02-020.2.0.0OleksandrZhabenko
unbound230.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unbound-generics612.07Support for programming with names and binders using GHC Generics (bsd3, language, library)2023-04-270.4.3AlekseyKliger
unbound-kind-generics121.750Support for programming with names and binders using kind-generics (bsd3, language, library)2023-05-220.2.1.1AlejandroSerrano
unification-fd512.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano
unipatterns260.00Helpers which allow safe partial pattern matching in lambdas (bsd3, language, library)2019-08-210.0.0.0ChrisPenner
uniqueness-periods330.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-general100.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-vector250.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-common170.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples470.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-filters130.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-general390.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-properties300.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-th90.03Construct a Dec's ancestor list. (bsd3, language, library)2012-03-080.0.0.6JonathanFischoff
unlit432.01Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-180.4.0.0wenkokke
unpacked-containers212.00Unpacked containers via backpack (bsd2, language, library, program)2018-04-060EdwardKmett
urldisp-happstack40.01Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-250.1SterlingClover
valid-names50.01Valid operator/module characters (language, library, mit)2013-12-290.1.0.1JoelTaylor
verifiable-expressions120.01An intermediate language for Hoare logic style verification. (apache, language, library)2021-06-160.6.2DominicOrchard, mdanish, madgen, raehik
verilog150.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
vhdl60.02VHDL AST and pretty printer (bsd3, language, library)2010-06-220.1.2.1ChristiaanBaaij
wasm92.250WebAssembly Language Toolkit and Interpreter (language, library, mit)2021-12-121.1.1irezvov
web-routes630.037portable, type-safe URL routing (bsd3, language, library, web)2023-02-060.27.15JeremyShaw
web-routes-boomerang320.03Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2023-02-060.28.4.4JeremyShaw
web-routes-generics150.00portable, type-safe URL routing (bsd3, language, library, web)2019-07-140.1.0.1JeremyShaw
web-routes-happstack370.09Adds support for using web-routes with Happstack (bsd3, language, library, web)2023-01-230.23.12.3JeremyShaw
web-routes-hsp490.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)210.02Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-150.20.1JeremyShaw
web-routes-regular70.02portable, type-safe URL routing (bsd3, language, library, web)2015-12-180.19.0.1JeremyShaw
web-routes-th460.014Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2023-02-060.22.8.1JeremyShaw
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-wai270.02Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2022-04-200.24.3.2JeremyShaw
webidl60.01Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-080.1.1DmitryGolubovsky
while-lang-parser50.01Parser for the While language. (bsd3, language, library)2013-05-250.1.0.0DavidNilsson
word-note-sox160.00SoX for algorithmic composition with groups of notes liken to words (language, library, mit, sound)2024-02-060.1.0.0OleksandrZhabenko
words230.01Cross-platform access to a list of words (bsd3, language, library)2011-10-100.1.2ChrisSmith
yabi-muno50.01Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
z3-encoding70.02High-level assertion encoding to Z3 solver (language, library, mit)2016-07-050.3.0.0izgzhen
zabt110.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-copilot280.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2024-02-221.0.9JoeyHess
zeroth70.01ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-232009.6.23.3DavidHimmelstrup, RobinGreen