Packages tagged language

791 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ASN120.01ASN.1 support for Haskell (bsd3, language, library)2008-06-220.0.1.1HerbertValerioRiedel
AspectAG150.05First-class Attribute Grammars implemented using type-level programming. (gpl, language, library)2024-11-080.8.0.0MarcosViera, jpgarcia
BASIC181.751Embedded BASIC (bsd3, language, library)2009-02-090.1.5.0LennartAugustsson
BNFC-meta340.01Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-090.6.1JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BiGUL42.251The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-301.0.1joshko, Zirun
CSPM-CoreLanguage110.04Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-260.3.1.0MarcFontaine
CSPM-FiringRules70.02Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-260.4.4.0MarcFontaine
CSPM-Frontend140.04A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-260.12.1.0MarcFontaine
CSPM-Interpreter120.02An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-260.7.1.0MarcFontaine
CSPM-cspm110.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
DTC40.01Data To Class transformation. (bsd3, language, library)2013-04-211.1.0.1DanielDiaz
DrHylo20.01A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-090.0.2HugoPacheco
Ebnf2ps180.01Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-261.0.15PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)960.06The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-220.13EvanCzaplicki
Eq (deprecated)180.01Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-281.1.3VincentBerthoux
Feval42.01Evaluation using F-Algebras (language, mit, program)2015-09-071.0.0.1burz
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)60.01ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, deprecated, hardware, language, library)2010-06-253.1.1AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo
GLM90.00Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-090.7.0.0LyndonMaydwell
GTALib60.01A library for GTA programming (bsd3, language, library)2012-06-080.0.6KentoEmoto
Ganymede00.01An Io interpreter in Haskell. (bsd3, language, program)2011-04-180.0.0.5WaltBaety
GoogleTranslate50.02Interface to Google Translate API (gpl, language, library)2010-10-010.0.5AndyStewart
GroteTrap10.01Parser and selection library for expression languages. (bsd3, language, library)2016-10-080.5.2MartijnVanSteenbergen
HJScript30.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
HJavaScript110.02HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-050.4.7NiklasBroberg
HsParrot30.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
ImperativeHaskell42.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)90.01A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-060.0.4TonyMorris
JsContracts00.01Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-150.5.3ArjunGuha
JsonGrammar20.01Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-071.0.5MartijnVanSteenbergen
LC3120.00LC-3 virtual machine (bsd3, language, program)2019-01-010.1.0.2DavidJohnson
LambdaCalculator110.01A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-290.2ThomasDuBuisson
LambdaPrettyQuote80.01Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-240.0.0.8JonathanFischoff
LibClang150.01Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-153.8.0ChetanTaralekar, deech
LslPlus190.01An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-250.4.3RobertGreayer
MagicHaskeller270.02Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2022-06-020.9.7.1SusumuKatayama
MicroCabal110.00A partial Cabal replacement (apache, language, program)2024-11-100.3.1.2LennartAugustsson
MicroHs422.50A small compiler for Haskell (apache, language, program)2024-12-210.10.7.0LennartAugustsson
MicrosoftTranslator20.01Interface for Microsoft Translator (bsd3, language, library)2015-08-230.1.0.1netogallo
NXTDSL70.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
NanoProlog30.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)10.01Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-250.1.0CorentinDupont
Obsidian50.01Embedded language for GPU Programming (bsd3, language, library)2016-05-140.4.0.0JoelSvensson
Ordinary00.00A Programming Language in Construction (bsd3, language, library, program)2018-01-080.2018.1.8MarisaVeryMoe
Paraiso140.01a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-030.3.1.5TakayukiMuranushi
Plural140.01Pluralize English words (gpl, language, library)2009-08-050.0.2AndyStewart
Pugs40.01A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-156.2.13.20150815AudreyTang, JeffShaw
SCRIPTWriter10.00ESCRIPT: a human friendly language for programming Bitcoin scripts (bitcoin, bsd3, language, library, program, script)2018-10-151.0.1RickKlomp
SNet10.01Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-240.1.0MerijnVerstraaten
Strafunski-Sdf2Haskell50.01Converts SDF to Haskell (bsd3, language, program)2013-05-031.0.0.2JamesKoppel
URLT (deprecated in favor of web-routes)40.02Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-160.14JeremyShaw
WebBits (deprecated in favor of language-ecmascript)140.06JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-102.2AndreyChudnov, ArjunGuha
WebBits-Html00.02JavaScript analysis tools (language, library)2010-02-011.0.2ArjunGuha
WebBits-multiplate00.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
XmlHtmlWriter42.01A library for writing XML and HTML (bsd3, language, library)2012-05-250.0.0.1MatthewMirman
abacate10.02Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-110.0.0.0MarcoSilva
abt51.251Abstract binding trees for Haskell (language, library, mit)2015-01-110.1.1.0JonSterling
acl290.02Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-010.0.1TomHawkins
adtrees10.00Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-230.1.0.0umazalakain
aftovolio510.00An AFTOVolio implementation for creating texts with special phonetic / prosodic properties. (aftovolio, language, library, math, mit, music, poetry, program, rhythmicity)2024-11-300.6.2.0OleksandrZhabenko
agda2hs222.00Compiling Agda code to readable Haskell. (bsd3, compiler, language, program)2024-10-041.3jcockx
alga (deprecated)60.00Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-100.2.2mrkkrp
algorithmic-composition-additional80.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-basic160.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
antimirov00.01Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-300.1.0RickKaudewitz
aop-prelude160.00prelude for Algebra of Programming (bsd3, language, library)2024-11-100.5.0.0KatsutoshiItoh
apple142.00Apple array language compiler (agpl, array, language, library, program)2024-09-100.3.0.0vmchale
applicative-parsec10.01An applicative parser combinator library (gpl, language, library)2015-04-090.1.0.0KarlVoelker
applicative-quoters100.01Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-220.1.0.8BenMillwood
arduino-copilot272.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2024-02-221.7.8JoeyHess
arghwxhaskell20.01An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-030.8.2.0HenkJanVanTuyl, fgaz, GeorgeThomas
ariadne70.01Go-to-definition for Haskell (language, mit, program)2014-11-010.1.2.3RomanCheplyaka, manzyuk
array-forth70.02A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-170.2.1.4TikhonJelvis
ast-monad10.01A library for constructing AST by using do-notation (bsd3, language, library)2017-04-270.1.0.0MasatoMouri
ast-monad-json40.01A library for writing JSON (bsd3, language, library)2017-04-290.1.0.1MasatoMouri
astview (deprecated)70.01A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-190.1.4SebastianMenge
astview-utils (deprecated)50.01Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-180.1SebastianMenge
aterm-utils30.01Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-180.2.0.2JasonDagit
atom100.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atomo100.02A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-110.4.0.2AlexSuraci
ats-format640.02A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2019-11-300.2.0.36vmchale
axel240.00The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-030.0.12jgrosso256
bash210.01Bash generation library. (bsd3, language, library)2013-03-170.1.8JasonDusek
berp51.251An implementation of Python 3. (bsd3, language, library, program)2010-05-310.0.2BerniePope
bidirectional-instances00.00Make instance constraints bidirectional (language, library, mit)2022-09-040.1.0.0lev_135
bidirectionalization-combined10.01Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) (language, program, public-domain)2010-09-270.1.0.1JoachimBreitner
bighugethesaurus50.01API wrapper for Big Huge Thesaurus (api, language, library)2015-12-280.1.0.0TheKing
binary-literal-qq (deprecated)30.01Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-241.0MathieuBoespflug
birds-of-paradise20.00Birds of Paradise (bsd3, language, library)2023-04-190.2.1.2KatsutoshiItoh
bitcoin-scripting32.00Resources for working with miniscript, and script descriptors (bsd3, language, library)2022-08-040.3.0IanShipman
blanks100.00Fill-in-the-blanks - A library factoring out substitution from ASTs (bsd3, language, library)2020-11-040.5.0ejconlon
bond390.01Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2024-07-150.13.0.0chwarr, jdupej9000
bond-haskell-compiler90.01Bond code generator for Haskell (bsd3, language, library, program)2016-11-260.1.5.0blaze
boolsimplifier160.01Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-150.1.8GershomBazerman
bound802.59Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2023-08-062.0.7EdwardKmett, EricMertens, ryanglscott
bound-extras70.00ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2024-08-030.0.3phadej
bound-simple02.00A lightweight implementation of 'bound' (bsd3, language, library)2021-10-180.2.0.0ocramz
brain-bleep10.01primitive imperative language (bsd3, language, program)2019-05-220.1.0.2AlanHawkins
brainfuck-tut130.01A simple BF interpreter. (bsd3, language, library, program)2016-12-300.7.0.2alleledev
bricks (deprecated)40.01Bricks is a lazy functional language based on Nix. (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-internal (deprecated)20.05... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-internal-test (deprecated)00.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-parsec (deprecated)00.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-rendering (deprecated)00.01... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
bricks-syntax (deprecated)20.03... (apache, deprecated, language, library)2018-02-100.0.0.4chris_martin
brittany410.01Haskell source code formatter (agpl, language, library, program)2022-01-130.14.0.2lspitzner, fozworth, dukerutledge
broker-haskell00.01Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-160.1.0.0DavidBanas
c-dsl40.02A higher level DSL on top of language-c (language, library, mit)2014-05-070.3.1jozefg
c0check30.01Simple C0 Syntax Check (language, program)2013-01-040.2DanielSeidel, JanisVoigtlaender
c0parser20.01Simple C0 Parser (language, library)2013-01-040.2DanielSeidel, JanisVoigtlaender
c2ats12.00Translate C code into ATS (gpl, language, library, program)2016-09-170.1.0.1KiwamuOkabe
caledon12.251a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-063.2.2.0MatthewMirman
call-alloy590.00A simple library to call Alloy given a specification (language, library, mit)2024-04-240.5.0.1marcellus
call-plantuml250.00A simple library to call PlantUML given a diagram specification (graphics, language, library, mit)2023-12-060.0.1.3marcellus
calligraphy200.00HIE-based Haskell call graph and source code visualizer (bsd3, development, haskell, language, library, program)2023-06-260.1.6jonascarpay
camfort240.01CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program)2022-10-121.2.0DominicOrchard, mdanish, madgen, raehik
cao20.01CAO Compiler (compiler, cryptography, language, program)2014-04-070.1.1paufil, tfaoliveira, mbbarbosa
cap20.01Interprets and debug the cap language. (bsd3, language, program)2008-09-281.0.1ThomasDavie
cdeps60.03Extract dependencies from C code. (bsd3, c, development, language, library, program)2020-06-240.1.3.1vmchale
cg10.01Parser for categorial grammars. (gpl, language, program)2015-05-290.0.9.0pepijnkokke
chalmers-lava2000240.02Hardware description EDSL (bsd3, hardware, language, library)2016-05-191.6.1EmilAxelsson
cil50.01An interface to CIL. (bsd3, language, library)2010-11-100.1.1TomHawkins
circ60.01A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-010.0.4TomHawkins
clang-compilation-database20.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)190.01CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-020.1.3.11ChristiaanBaaij
cleff101.751Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-210.3.3.0daylily
cleff-plugin22.00Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-130.1.0.0daylily
clogparse20.01Parse IRC logs such as the #haskell logs on tunes.org (bsd3, irc, language, library, text)2010-10-020.2KeeganMcAllister
clr-bindings50.01Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-host120.03Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-010.2.1.0PepeIborra, TimMatthews, moodmosaic
clr-inline70.01Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-080.2.0.1PepeIborra, TimMatthews, moodmosaic
clr-marshal50.04Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0.0PepeIborra, TimMatthews, moodmosaic
clr-typed90.01A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-050.2.0PepeIborra, TimMatthews
clr-win-linker30.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
clua40.01C to Lua data wrapper generator (bsd3, language, program)2012-04-040.3TomSchouten
cmake-syntax60.00Parser for the CMake syntax (CMakeLists.txt and .cmake files) (bsd3, language, library)2019-08-030.1.0.00xd34df00d
cmonad140.01A library for C-like programming (bsd3, language, library)2009-03-290.1.1.1LennartAugustsson
co-feldspar10.00Hardware software co-design Feldspar (bsd3, language, library)2021-06-150.1.0.1mararon
codec-beam110.01Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-060.2.0hkgumbs
codo-notation10.01A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-220.5.2DominicOrchard
coformat20.00Generate clang-format config based on some existing code base (bsd3, language, library, program)2019-12-300.3.0.00xd34df00d
combinator-interactive00.01SKI Combinator interpreter (bsd3, language, library, program)2013-09-070.1.2FumiakiKinoshita
compilation70.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
compstrat60.01Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-240.1.0.2JamesKoppel
config-schema702.03Schema definitions for the config-value package (language, library)2022-08-101.3.0.0EricMertens
config-value912.56Simple, layout-based value language similar to YAML or JSON (language, library, mit)2022-08-100.8.3EricMertens
context-free-grammar60.01Basic algorithms on context-free grammars (bsd3, language, library)2021-05-290.1.1nedervold
control-dsl181.751An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-180.2.1.3yangbo
copilot702.06A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-bluespec40.00A compiler for Copilot targeting FPGAs. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, ryanglscott, galoisinc
copilot-c99550.08A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc20.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core620.011An intermediate representation for Copilot. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, agoodloe, frankdedden
copilot-frp-sketch20.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter280.01Interpreter for Copilot. (bsd3, embedded, language, library)2024-11-084.1IvanPerez
copilot-language730.08A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries520.03Libraries for the Copilot language. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter530.04A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2024-11-084.1IvanPerez
copilot-sbv20.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem690.03k-induction for Copilot. (bsd3, embedded, language, library)2024-11-084.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-verifier80.00System for verifying the correctness of generated Copilot programs (bsd3, language, library, program)2024-11-084.1IvanPerez, ryanglscott, galoisinc
core60.01External core parser and pretty printer. (bsd3, language, library)2009-04-080.5DavidHimmelstrup
core-compiler40.00compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-060.1.0.2aneksteind
core-haskell10.01A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-130.6.4happlebao
corenlp-types00.00Types for interaction with CoreNLP (agpl, language, library)2023-12-040.1.0.0cgenie
cparsing00.01A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-160.1.0.0lazac
crucible70.05Crucible is a library for language-agnostic symbolic simulation (bsd3, language, library)2024-08-300.7.1ryanglscott, galoisinc, mccleeary
crucible-llvm90.02Support for translating and executing LLVM code in Crucible (bsd3, language, library)2024-08-300.7ryanglscott, galoisinc, mccleeary
crucible-symio70.02An implementation of symbolic I/O primitives for Crucible (bsd3, language, library)2024-08-300.1.1ryanglscott, galoisinc, mccleeary
crux90.02Simple top-level library for Crucible Simulation (bsd3, language, library)2024-08-300.7.1ryanglscott, galoisinc, mccleeary
crux-llvm50.01A verification tool for C programs. (bsd3, language, library, program)2024-08-300.9ryanglscott, galoisinc, mccleeary
cryptol660.01Cryptol: The Language of Cryptography (bsd3, language, library, program)2024-08-203.2.0IavorDiatchki, ryanglscott, galoisinc, mccleeary
cspretty10.01AST and pretty printer for CSPm (bsd3, language, library)2016-11-301.0ccasin
css (deprecated)60.01Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-080.2
cube30.01Cubic DSL for 3D printing (bsd3, language, library)2015-04-150.2.0junjihashimoto
curry-base150.02Functions for manipulating Curry programs (bsd3, language, library)2019-11-221.1.1BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend372.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-reify2000.013Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2024-10-270.6.4AndyGill, ryanglscott
data-reify-cse20.01Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-080.0.3SebastiaanVisser
data-treify30.03Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection-)2014-03-180.3.4ConalElliott
deepl70.00Call DeepL to translate you files (bsd3, language, library, program, web)2021-04-160.1.0.1PaoloVeronelli
derive-gadt10.01Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-250.1.1MattMorrow
descript-lang10.00Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-200.2.0.0jakobeha
desert50.00a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-240.1.0.6zjhsdtc
dhall-lex70.01Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-250.2.0.0
dictparser70.01Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-100.3.0.0MarkWotton
dino20.00A convenient tagless EDSL (bsd3, language, library)2022-05-270.1.3EmilAxelsson
disco90.00Functional programming language for teaching discrete math. (bsd3, language, library, program)2023-12-160.1.6BrentYorgey
discokitty50.00DisCoCat implementation. (gpl, language, library)2019-05-130.1.0mroman42
djinn-ghc110.02Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-110.0.2.3AlejandroSerrano
djinn-lib160.02Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2022-05-210.0.1.4AlejandroSerrano
djinn-th20.01Generate executable Haskell code from a type (bsd3, language, library)2010-08-030.0.1ClaudeHeilandAllen
do-notation140.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)60.01An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-020.1.0.3yangbo
dobutokO-poetry40.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-general20.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-languages90.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
dobutokO21150.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)2024-12-200.44.1.0OleksandrZhabenko
dove60.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-aeson10.00Use Aeson from your Dovetail programs (bsd3, language, library)2021-11-130.1.0.0PhilFreeman
drmaa00.03A Haskell bindings to the DRMAA C library. (bsd3, language, library)2018-12-050.3.0kaizhang
ds-kanren00.01A subset of the miniKanren language (language, library, mit)2014-10-090.2.0.1jozefg
each52.251Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2018-11-301.1.1.0dramforever, ice1000
ecma26210.03A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-120.0.0FabianBergmark
effective-aspects10.01A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-150.1.0.0IsmaelFigueroa
effective-aspects-mzv30.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
eflint60.00Simulation interpreter for FLINT policy descriptions (bsd3, language, library, program)2024-02-103.1.0.2ltvanbinsbergen
egison-pattern-src140.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-mode80.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-mode100.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-quote30.01A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-070.2TakuyaKuwahara
ehs20.01Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-150.7.0minpou
elm-bridge402.02Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2024-09-260.8.4AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)10.01Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-130.14.0.0jeremondi
elm-compiler (deprecated)72.03Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-200.15EvanCzaplicki
elm-core-sources100.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)240.01Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-220.1.3EvanCzaplicki
elm-package (deprecated)140.01Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-200.5EvanCzaplicki
elm-reactor (deprecated)110.01Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-200.3.1EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)330.01Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-200.11.0.1EvanCzaplicki
elm-street220.00Crossing the road between Haskell and Elm (compiler, elm, language, library, mpl, program)2024-05-160.2.2.1vrom911, HolmuskTechTeam
elm-syntax310.04Elm syntax and pretty-printing (bsd3, compiler, elm, language, library)2023-12-020.3.3.0OliverCharles, OlleFredriksson, GeorgeThomas, rickowens
elsa50.00A tiny language for understanding the lambda-calculus (language, library, mit, program)2022-09-280.2.2.0ranjitjhala
enchant20.01Binding to the Enchant library (bsd3, language, library)2016-06-220.1.0.0kseo
ewe130.01An interpreter for EWE programming language (bsd3, language, program)2019-02-040.3.1.1JuanFranciscoCardonaMcCormick
exception-hierarchy420.05Exception type hierarchy with TemplateHaskell (bsd3, language, library)2024-12-120.1.0.12YoshikuniJujo
exference10.00Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-131.6.0.0lspitzner
explain30.01Show how expressions are parsed (language, mit, program)2014-01-130.1.0.1JoelTaylor
extcore292.01Libraries for processing GHC Core (bsd3, language, library)2013-04-211.0.2TimChevalier
fault-tree10.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
feldspar-language130.03A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-010.7AndersPersson, EmilAxelsson
feldspar-signal00.01Signal Processing extension for Feldspar (bsd3, language, library)2015-06-110.0.1.0EmilAxelsson, mararon
first-class-instances20.00First class typeclass instances (bsd3, language, library)2020-02-020.1.0.0lyxia, TheMatten
foma40.01Simple Haskell bindings for Foma. (language, library, mit)2021-01-280.1.2.0joom
formura00.00Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-041.0TakayukiMuranushi
forsyde-deep10.00ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-260.2.0ugeorge, ingo, JorRodolfo
forsyde-shallow170.01ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2021-03-193.5.0.0ugeorge, ingo, JorRodolfo
forth-hll (deprecated)20.01A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-060.1.0.0TikhonJelvis
fortran-src540.03Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). (apache, language, library, program)2024-09-300.16.3DominicOrchard, mdanish, madgen, raehik
fortran-src-extras30.01Common functions and utils for fortran-src. (apache, language, library, program)2023-05-040.5.0raehik
fortran-vars20.00Fortran memory model and other static analysis tools. (apache, language, library, program)2023-06-220.4.0raehik
fractionizer270.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-theorems100.03Automatic generation of free theorems. (language, library, public-domain)2022-12-210.3.2.1DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples40.01Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-140.3.1.0DanielSeidel, JanisVoigtlaender
free-theorems-seq10.01Taming Selective Strictness (language, library, public-domain)2011-03-111.0DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui50.01Taming Selective Strictness (language, program, public-domain)2011-03-301.0.0.2DanielSeidel, JanisVoigtlaender
free-theorems-webui50.01CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-180.2.1.1DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect40.01A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-210.8AndrewSeniuk
fregel00.00A functional DSL for vertex-centric large-scale graph processing (language, mit, program)2023-07-201.2.0KentoEmoto
fresh30.01Introduce fresh variables into Haskell source code (language, library, mit)2012-01-030.1.1DavidLazar
frp-arduino40.01Arduino programming without the hassle of C. (gpl, language, library)2018-03-260.1.1.0RickardLindberg, JeremyWright
ft-generator70.00implementation accompanying a WFLP'19 paper (language, program)2019-08-291.0.1JanisVoigtlaender
ftshell00.01Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-120.3.0.1JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp10.01call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-080.1.0.2ltvanbinsbergen
funpat10.01A generalization of pattern matching (bsd3, language, library)2011-07-010.1GergelyDevai
gender40.01Identify a persons gender by their first name (language, lgpl, library, program)2013-02-160.1.1.0KraniumGikos
ghc-core-smallstep10.01A small-step semantics for Core (language, library, mit)2018-04-100.1.0.1JoachimBreitner
ghc-justdoit40.01A magic typeclass that just does it (language, library, mit)2022-08-010.1.0.2JoachimBreitner
ghc-options00.01Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-160.2.0.0ranjitjhala
ghc-parser170.02Haskell source parser from GHC. (language, library, mit)2024-11-030.2.7.0gibiansky, VaibhavSagar
ghc-session10.00Simplified GHC API (language, library, mit, program)2016-02-180.1.2.1danilo2, PiotrMlodawski, iamrecursion
ghc-srcspan-plugin10.01Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-210.2.2.1EricSeidel
ghci-lib00.02A library for interactively evaluating Haskell code. (language, library, mit)2014-02-160.1.0.0gibiansky
ghci-websockets50.00A websocket server that survives GHCi reloads (bsd3, language, library)2019-07-160.0.2jfmueller
gimlh80.02Haskell parser for GIML (language, library, mit)2015-04-160.1.3.0gazay
global00.01Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-020.2.1.0ByronJohnson
glualint110.00Attempts to fix your syntax erroring Lua files. (language, lgpl, library)2024-07-011.29.0FPtje
goldplate460.00A lightweight golden test runner (apache, language, library, program)2024-09-300.2.2.1AndreasAbel, JasperVanDerJeugt
google-search70.02EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-310.2.0.0LiyangHu
graphql342.255Haskell GraphQL implementation (language, library)2024-12-031.5.0.0jdnavarro, belka
graphql-spice330.01GraphQL with batteries (language, library, mpl)2024-12-061.0.6.0belka
graphql-w-persistent62.01GraphQL interface middleware for SQL databases. (data, database, development, graphs, language, library)2020-09-180.9.1.0jasonsychau
hakaru60.02A probabilistic programming language (bsd3, language, library, program)2020-11-020.7.0pravnar, z
halfsplit30.02A library to provide special kind of two-column output for Phladiprelio. (PhLADiPreLiO, data, language, library, mit)2024-04-080.4.3.0OleksandrZhabenko
halide-JuicyPixels10.00Integration between Halide and JuicyPixels (bsd3, language, library)2023-05-220.0.2.1tom_westerhout
halide-arrayfire20.00Integration between Halide and ArrayFire (bsd3, language, library)2023-05-220.0.2.0tom_westerhout
halide-haskell30.02Haskell bindings to Halide (bsd3, language, library, program)2023-05-220.0.2.0tom_westerhout
hanspell112.00Korean spell checker (korean, language, library, mit, program, spellchecker)2021-09-190.2.6.19beach
happstack-facebook (deprecated in favor of fb)20.01A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-060.30JeremyShaw
happy-dot50.01Parser for dot made with happy. (gpl, language, library)2019-12-211.0.0.0mgmillani
haquil60.01A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-050.2.1.14BrianBush
hardware-edsl60.02Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2021-06-150.1.6mararon
harp190.06HaRP allows pattern-matching with regular expressions (bsd3, language, library)2023-01-230.4.3.6DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
hascalam10.00Haskell to and from Scalameta (language, library, mit)2024-07-070.1.1.2sjbiaga
haskarrow10.01A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-040.0TimothyHobbs
haskell-brainfuck40.01BrainFuck interpreter (language, library, mit, program)2014-08-080.1.0.1paraseba
haskell-coffee50.02Simple CoffeeScript API (gpl, language, library)2015-07-190.1.0.2KevinVanRooijen
haskell-exp-parser70.02Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2020-10-170.1.4EmilAxelsson
haskell-generate60.02Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-020.2.4BennoFuenfstueck
haskell-holes-th02.01Infer haskell code by given type. (language, library, mit)2019-08-242.0.0.0klntsky
haskell-lexer4160.08A fully compliant Haskell 98 lexer (language, library, mit)2024-10-291.1.2IavorDiatchki
haskell-lsp-client (deprecated)22.00A haskell package to build your own Language Server client. (deprecated, development, gpl, language, library, program, protocol)2017-12-291.0.0.1
haskell-names602.255Name resolution library for Haskell (bsd3, language, library)2020-05-260.9.9AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster
haskell-rules10.01A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-160.1.0.1spacekitteh
haskell-src620.040Support for manipulating Haskell source code (bsd3, language, library)2024-09-221.0.4.1AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts5622.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-observe10.02Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-170.1.0PepeIborra
haskell-src-exts-prisms00.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-sc10.01Pretty print haskell code with comments (bsd3, language, library)2018-04-100.1.0.6achirkin
haskell-src-exts-util330.02Helper functions for working with haskell-src-exts trees (bsd3, language, library)2019-04-110.2.5NeilMitchell, PepeIborra
haskell-src-meta3420.0116Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2024-05-160.8.14AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)00.04Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-180.1.0MarkWotton
haskell-to-elm200.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-ast290.013Haskell AST for efficient tooling (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-ast-fromghc30.02Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-050.2.0.0lazac
haskell-tools-ast-gen30.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-ghc230.05Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-builtin-refactorings100.04Refactoring Tool for Haskell (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-tools-cli300.00Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-daemon220.01Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-debug280.00Debugging Tools for Haskell-tools (bsd3, language, library, program)2019-01-091.1.1.0lazac
haskell-tools-demo270.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-rewrite260.03Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2019-01-091.1.1.0lazac
haskell-type-exts10.01A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-020.1.0NiklasBroberg
haskell-typescript10.01Simple TypeScript API (gpl, language, library)2013-10-160.1.0.0DavidJohnson
haskellish32.00For parsing Haskell-ish languages (bsd3, language, library)2024-04-180.3.2.3dktr0
haskelm10.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
haspell110.01Haskell bindings to aspell (language, library, mit)2013-08-261.1.0JoelTaylor
hbf40.00An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-040.2.0.0paraseba
hdis8650.02Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-280.2KeeganMcAllister
heap-console40.00interactively inspect Haskell values at runtime (bsd3, language, library)2020-11-210.1.0.1TheMatten
her-lexer40.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
hermit190.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
hexpr10.02A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-030.0.0.0ZankokuOkuno
hfmt212.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-milner20.01Template for Hindley-Milner based languages (language, library, mit)2016-04-230.1.0.0mbg
hindley-milner-type-check70.00Type inference for Hindley-Milner based languages (language, library, mit)2021-06-080.1.1.0AntonKholomiov
hint2532.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server140.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
hinterface110.01Haskell / Erlang interoperability library (bsd3, language, library)2020-11-302.0.1SvenHeyll, timo_koepke
hnock60.00A Nock interpreter. (language, library, mit, program)2019-10-010.4.0JaredTobin
ho-rewriting00.01Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-110.2.1EmilAxelsson
homplexity31.251Haskell code quality tool (bsd3, language, library, program, tools)2022-10-090.4.8.1MichalGajda
hoop20.00Object-Oriented Programming in Haskell (language, library, mit)2020-07-040.3.0.0mbg
hopencc20.01Haskell binding to libopencc (bsd3, language, library)2019-10-060.2.0.0PaulMeng
hpython42.00Python language tools (bsd3, language, library, program)2019-05-020.3qfpl
hruby580.02Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2023-11-070.5.1.0SimonMarechal
hs-gen-iface (deprecated)10.01Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-260.5.0AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector100.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
hs2ats82.01Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2019-10-170.5.0.1vmchale
hs2dot10.01Generate graphviz-code from Haskell-code. (language, program)2010-08-150.1.4OscarFinnsson
hscolour2310.038Colourise Haskell code. (language, library, program)2023-08-301.25DonaldStewart, MalcolmWallace, phadej
hse-cpp162.04Preprocess+parse haskell code (language, library, mit)2016-10-060.2AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock140.01Nock 5K interpreter. (language, library, program, public-domain)2013-11-050.5.1mrdomino
hsp300.030Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-120.10.0GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp180.04SQL parser and type checker (bsd3, database, language, library)2019-07-080.6.2JakeWheat
hssqlppp-th40.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)480.016HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-050.10.5NiklasBroberg
hsx2hs60.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
htoml210.07Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-071.0.0.3cies
htoml-megaparsec390.04Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2023-10-242.1.0.5vmchale
hubris10.01Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-240.0.3MarkWotton
hunspell-hs02.01Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-270.2.0.0ashutoshrishi
husk-scheme832.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs30.01Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-130.0.1JustinEthier
hwhile102.00An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-070.1.1.6alexj136
hydrogen-cli40.01Hydrogen Data (language, mit, program)2015-01-080.14JulianFleischer
hydrogen-cli-args80.01Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-data190.01Hydrogen Data (bsd3, language, library)2015-01-080.14JulianFleischer
hydrogen-multimap60.03Hydrogen Multimap (language, library, mit)2015-03-260.3JulianFleischer
hydrogen-parsing100.03Hydrogen Parsing Utilities (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-prelude500.07Hydrogen Prelude (language, library, mit)2015-03-260.20JulianFleischer
hydrogen-prelude-parsec40.01Hydrogen Prelude /w Parsec (language, library, mit)2015-03-220.17JulianFleischer
hydrogen-syntax120.02Hydrogen Syntax (bsd3, language, library)2015-03-220.17JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)110.03Hydrogen Tools (bsd3, deprecated, language, library)2014-12-160.8JulianFleischer
hydrogen-version150.02Hydrogen Version Type (language, library, mit)2015-03-261.4JulianFleischer
hypertypes60.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
ihs150.01Interpolated Haskell (language, program, public-domain)2018-12-120.1.0.3minad
imperative-edsl10.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)00.01Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-140.3.2mararon
imprevu10.04Reactive programming language based on a DSL (bsd3, language, library)2017-03-130.1.0CorentinDupont
imprevu-happstack10.01Imprevu support for Happstack (bsd3, language, library)2017-03-130.1.0CorentinDupont
improve390.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
inch50.01A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-070.2.0AdamGundry
indexed-do-notation20.01Do notation for indexed monads (bsd3, language, library)2013-05-010.1FumiakiKinoshita
indian-language-font-converter40.01Indian Language Font Converter (bsd3, language, library)2013-12-020.2AkashJagdhane
indigo10.00Convenient imperative eDSL over Lorentz. (language, library, mit, program)2023-03-310.6.0gromak, pasqu4le, serokell, rinn7e
intensional-datatys10.00A GHC Core plugin for intensional datatype refinement checking (bsd3, language, library)2020-07-240.2.0.0eddiejones
interpol20.01GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-220.2.3AlexandruScvortov
intrinsic-superclasses62.01A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-140.4.0.0dailectic
invertible-grammar220.01Invertible parsing combinators framework (bsd3, language, library)2023-11-120.1.3.5EugeneSmolanka
ion20.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
ipa152.00Internal Phonetic Alphabet (IPA) (bsd3, language, library)2021-06-140.3.1.1RoryTylerHayford
ivory82.2511Safe embedded C programming. (bsd3, language, library)2019-04-050.1.0.9EricMertens, LeePike
ivory-artifact140.04Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ivory-avr-atmega328p-registers10.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)10.02Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-260.2.0.0EricMertens, LeePike
ivory-examples70.01Ivory examples. (bsd3, language, program)2016-12-160.1.0.5EricMertens, LeePike
ivory-hw10.02Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-170.1.0.6EricMertens, LeePike
ivory-opts60.02Ivory compiler optimizations. (bsd3, language, library)2018-07-180.1.0.6EricMertens, LeePike
ivory-serialize70.01Serialization library for Ivory. (bsd3, language, library)2019-04-050.1.0.6EricMertens, LeePike
ivory-stdlib40.01Ivory standard library. (bsd3, language, library)2016-12-160.1.0.5EricMertens, LeePike
ixdopp40.01A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-230.1.3JesseTov
jacinda392.250Functional, expression-oriented data processing language (agpl, data, interpreters, language, library, program, text)2024-12-133.3.0.1vmchale
jarfind50.01Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-300.1.0.3EugeneKirpichov
jaskell00.00Stack-based concatenative language embedded in Haskell (language, library, mit)2023-06-270.1.0.0OwenBechtel
jdi30.01Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-280.0.3VictorDenisov
jmacro622.017QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2023-03-220.6.18GershomBazerman, JeremyShaw
joy-rewrite30.00Transform Joy code using conditional rewrite rules (bsd2, language, library)2022-06-290.2.0rieckenj
js-good-parts150.01Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-200.0.7SeanSeefried
jsmw10.01Javascript Monadic Writer base package. (bsd3, language, library)2009-04-260.1DmitryGolubovsky
json-python40.01Call python inline from haskell (language, library, mit)2014-11-100.4.0.1russell91
jvm-binary130.01A library for reading Java class-files (java, jvm, language, library, mit)2021-05-120.10.0kalhauge
jvm-parser30.01A parser for JVM bytecode files (bsd3, language, library)2014-08-070.2.1KevinQuick, RobertDockins, galoisinc
kansas-lava70.04Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-060.2.4.5AndyGill, GergoErdi
kbq-gu60.01Rpoku spoken word programming language (language, program)2008-08-140.2AndriiZvorygin
kempe292.00Kempe compiler (bsd3, compilers, language, library, program)2024-05-290.2.0.14vmchale
kuifje00.00A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-100.1.2.0martonbognar
kure380.05Combinators for Strategic Programming (bsd3, language, library)2021-04-042.18.6AndyGill, NeilSculthorpe
kure-your-boilerplate00.01Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-270.1.3AndyGill
lambda-calculator40.00A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2023-03-013.1.1.0sgillespie
lambda-calculus-interpreter100.00Lambda Calculus interpreter (bsd3, language, library, program)2018-09-120.1.0.3xeontem
lambda-placeholders62.01A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-290.0.0.0MatthewMirman
lambdaBase20.01 (language, library, mit)2015-05-050.0.2.0faleidel
lambdaLit40.01... (language, mit, program)2014-12-180.1.1.0faleidel
lang40.01A Lisp (agpl, language, library)2018-03-010.2.2Zaoqi
language-Modula2110.00Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2024-04-280.1.4.1MarioBlazevic
language-asn10.01ASN.1 encoding and decoding (bsd3, language, library)2019-04-090.1.1.0andrewthad, chessai
language-asn180.01Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-140.6DmitryAstapov
language-ats1042.04Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2021-01-181.7.10.3vmchale
language-bash320.02Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2024-07-250.10.0KyleRaftogianis
language-bluespec30.01An implementation of the Bluespec Haskell AST (bsd3, language, library)2024-02-080.1ryanglscott, galoisinc
language-boogie30.01Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-050.2NadiaPolikarpova
language-c2792.011Analysis and generation of C code (bsd3, language, library)2024-11-170.10.0BenediktHuber, Bodigrim, jophish, expipiplus1
language-c-comments50.01Extracting comments from C code (bsd3, language, library)2014-03-080.3GeoffHulette, MatthewSottile
language-c-inline150.01Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-300.7.11.0ManuelChakravarty
language-c-quote640.010C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2024-07-020.13.0.2GeoffreyMainland, TroelsHenriksen
language-c99330.04An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2022-05-210.2.0frankdedden
language-c99-simple390.02C-like AST to simplify writing C99 programs. (language, library, mit)2024-01-030.3.0frankdedden
language-c99-util290.02Utilities for language-c99. (language, library, mit)2022-05-210.2.0frankdedden
language-cil100.01Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-190.4.0TomLokhorst
language-csharp10.00C# source code manipulation (bsd3, language, library)2019-05-100.0.1icysnowman55
language-css130.04CSS 2.1 syntax (bsd3, language, library)2020-05-140.0.3.1AntonKholomiov, tomjaguarpaw
language-dart32.251Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-120.2.0.0sigrlami, kseo
language-dickinson242.00A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2024-05-291.4.3.1vmchale
language-dot281.755A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2023-10-240.1.2BenGamari, BrianLewis
language-ecmascript632.07JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-260.19.1.0AndreyChudnov, ArjunGuha, DavidJohnson
language-ecmascript-analysis90.01JavaScript static analysis library. (bsd3, language, library)2016-01-310.9.2AndreyChudnov
language-eiffel30.01Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-060.1.2ScottWest
language-fortran (deprecated in favor of fortran-src)60.02Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-170.5.1DominicOrchard
language-gcl02.01Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-150.2StijnVanDrongelen
language-glsl280.06GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-020.3.0VoMinhThu
language-go40.01A library for analysis and synthesis of Go code. (language, library)2011-02-060.8AndrewRobbins
language-guess30.01Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-090.1.2ChristianRoedliAmble
language-java320.05Java source manipulation (bsd3, language, library)2018-03-080.2.9NiklasBroberg, VincentHanquez
language-java-classfile10.01Parser for Java .class files (bsd3, language, library)2010-12-090.2.0GergoErdi
language-javascript1210.013Parser for JavaScript (bsd3, language, library)2020-03-220.7.1.0AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js70.01javascript parser for es6 and es7. (language, library, mit)2021-03-270.3.0diasbruno
language-kort20.01Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-180.1.0.0akrasner
language-lua480.03Lua parser and pretty-printer (bsd3, language, library)2024-05-130.11.0.2EricMertens, OmerAgacan
language-lua-qq10.01Initial project template from stack (bsd3, language, library)2015-09-110.1.0.0HiromiIshii
language-lua2 (deprecated)10.01Lua parser and pretty printer (bsd3, deprecated, language, library)2015-10-140.1.0.5mitchellwrosen
language-mixal20.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-nix270.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-oberon180.01Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2024-04-280.3.3.1MarioBlazevic
language-objc130.01Analysis and generation of Objective C code (bsd3, language, library)2013-12-110.4.2.8JohnLato
language-ocaml20.01Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-120.2.0Ptival
language-openscad00.01A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-130.1.7BenGamari, BrechtSerckx
language-pig00.01Pig parser in haskell. (language, library, mit)2013-12-160.3.0.1elisehuard
language-python302.03Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-120.5.8BerniePope
language-python-colour20.01Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-040.1BerniePope
language-python-test70.01testing code for the language-python library (bsd3, language, program)2020-07-120.5.8BerniePope
language-qux70.00Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-100.2.0.0hjwylde
language-rust52.251Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-220.2.0.27harpocrates
language-sally102.01AST and pretty printer for Sally (language, library)2017-08-010.1.2.0bjones
language-sh (deprecated)40.01A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-170.0.3.1
language-slice120.01AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-140.3.0.0PaulKoerbitz
language-spir-v290.03Data type for SPIR-V (bsd3, language, library)2024-12-200.1.0.3YoshikuniJujo
language-sqlite30.01Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-141.1IreneKnapp
language-sygus170.01A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2022-10-310.1.1.3WilliamHallahan
language-thrift112.01Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2024-04-060.13.0.0PhilippHausmann, abhinav
language-tl00.02A Parser for the Type Language (bsd3, language, library)2020-06-040.1.1Poscat
language-typescript50.02A library for working with TypeScript Definition files (language, library, mit)2014-02-020.0.4PhilFreeman
language-vhdl102.04VHDL AST and pretty printer in Haskell. (bsd3, language, library)2021-06-150.1.4mararon
language-webidl80.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-parser270.01Lenses for toml-parser (language, lenses, library)2024-12-050.3.0.1henrytill
lexer-applicative222.02Simple lexer based on applicative regular expressions (language, library, mit)2018-06-062.1.0.2RomanCheplyaka
lhs2TeX-hl20.01Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-150.1.4.5AlessandroVermeulen
lhs2tex332.01Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2023-11-141.25AndresLoeh
libconfig30.01Haskell bindings to libconfig (bsd3, language, library)2015-04-290.3.0.0peddie
lift-generics190.01GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2024-10-220.3ryanglscott
linkcore90.01Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-250.4.1TimChevalier
liquid-base (deprecated in favor of liquidhaskell)72.09base specs for LiquidHaskell (bsd3, deprecated, language, library)2023-03-104.15.1.0AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-bytestring (deprecated in favor of liquidhaskell)50.00Old specs for the bytestring package (bsd3, deprecated, language, library)2023-03-100.10.12.1AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-containers (deprecated in favor of liquidhaskell)50.01Old specs for containers (bsd3, deprecated, language, library)2023-03-100.6.4.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-fixpoint660.05Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2021-11-03AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquid-ghc-prim (deprecated in favor of liquidhaskell)80.01Drop-in ghc-prim replacement for LH (bsd3, deprecated, language, library)2023-03-100.7.0.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-parallel30.00LiquidHaskell specs for the parallel package (bsd3, language, library)2024-03-073.2.2.0.3AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-platform60.00A battery-included platform for LiquidHaskell (bsd3, language)2024-01-290.9.2.8AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquid-prelude220.01General utility modules for LiquidHaskell (bsd3, language, library)2024-08-210.9.2.8.2AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou
liquid-vector120.01LiquidHaskell specs for the vector package (bsd3, language, library)2024-03-070.13.1.0.1AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou
liquidhaskell1092.515Liquid Types for Haskell (bsd3, language, library)2024-08-210.9.10.1AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat
liquidhaskell-boot370.01Liquid Types for Haskell (bsd3, language, library)2024-08-210.9.10.1FacundoDominguez
located40.01Source location helpers (bsd3, language, library)2016-07-190.1.1.0TrevorElliott
lojban50.01Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-180.3
lojbanParser50.01lojban parser (bsd3, language, library, program)2014-08-160.1.9.2YoshikuniJujo
lojbanXiragan30.01lojban to xiragan (bsd3, language, library, program)2013-03-070.3YoshikuniJujo
lojysamban10.01Prolog with lojban (bsd3, language, program)2014-10-240.0.8.1YoshikuniJujo
lol-calculus10.01Calculus for LOL (λω language). (gpl, language)2016-08-231.20160822julm
lol-typing10.01Type inferencer for LOL (λω language) (gpl, language, library)2016-08-231.20160822julm
lorentz350.04EDSL for the Michelson Language (language, library, mit)2023-07-310.16.0gromak, pasqu4le, serokell
lss (deprecated)20.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
ltl70.01Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-190.0.0TomHawkins
lua-bc120.01Lua bytecode parser (language, library, mit)2016-12-070.1.1EricMertens, galoisinc
luka30.01Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-292012.8.29JinjingWang
luthor30.01Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-250.0.2ZankokuOkuno
mathista (deprecated)40.01A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-110.0.1seiya
maude90.01An interface to the Maude rewriting system. (language, library, mit)2012-07-090.6.1DavidLazar
mcm52.01Machine Configuration Manager (gpl, language, program, system, text)2018-11-030.6.8.1AnthonyDoggett
mcmc-synthesis60.02MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-130.1.2.2TikhonJelvis
mecha110.01A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-110.1.1TomHawkins
melody10.01A functional scripting language (language, library, mit, program)2014-01-100.2jozefg
meta-misc20.01Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-020.1.0.3ByronJohnson
mi10.01Multiple Instance for Haskell (language, library, mit)2014-02-280.0.1matt
mida (deprecated)80.00Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-101.0.2mrkkrp
mikrokosmos80.01Lambda calculus interpreter (gpl, language, program)2018-08-010.8.0mroman42
miniforth20.01Miniature FORTH-like interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
ministg40.01an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-100.3BerniePope
ml-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-array250.023A 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-data10.01Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2023-01-310.2.0.0OleksandrZhabenko
mmsyn2-hashable00.00A library that can be used for multiple Hashable a => a -> b transformations. (data, development, language, library, mit)2021-10-310.1.0.0OleksandrZhabenko
mmsyn6ukr100.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-array140.00A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, tts)2022-08-150.3.3.0OleksandrZhabenko
mmsyn7h40.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
mmsyn7s80.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
mmsyn7ukr240.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-array210.00A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by dobutokO2 and other similar packages (language, library, mit, sound)2024-12-190.3.0.0OleksandrZhabenko
mmsyn7ukr-common420.05Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. (Ukrainian, language, library, mit, sound, sox)2024-12-190.3.1.0OleksandrZhabenko
modelicaparser10.01A parser for the modelica language (bsd3, language, library)2014-04-030.1.0.0fphh
modulespection120.02Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-020.1.2.2JonathanFischoff
modulo40.01Modular C code generator (ffi, gpl, language, library, program)2014-07-281.9.1HansHoglund
morley470.05Developer tools for the Michelson Language (language, library, mit, program)2023-07-311.20.0gromak, pasqu4le, serokell
morley-upgradeable20.00Upgradeability infrastructure based on Morley. (language, library, mit, program)2021-04-020.3pasqu4le, serokell
morloc10.00A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-060.33.0arendsee
msgpack-idl70.01An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-300.2.1HerbertValerioRiedel, HideyukiTanaka
msh (deprecated in favor of hoop)40.01Object-Oriented Programming in Haskell (deprecated, language, library, mit)2015-10-210.1.0.2mbg
mueval390.05Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2023-12-040.9.4ChrisDone, GwernBranwen, ncfavier, TerenceNg03
mulang100.01An intermediate language designed to perform advanced code analysis (language, library, program)2019-01-114.4.0flbulgarelli
nanopass00.00Create compilers using small passes and many intermediate representations. (bsd3, language, library, program)2024-01-080.0.3.0edemko
naver-translate30.01Interface to Naver Translate (gpl, language, library)2015-10-150.1.0.2hongminhee
netlist90.04Netlist AST (bsd3, language, library)2011-10-280.3.1AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl190.02Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-060.3.3AndyGill, GergoErdi, PhilipWeaver
nirum110.00IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-250.5.0hongminhee, nirum
nix-eval10.01Evaluate Haskell expressions using Nix to get packages (language, library)2019-06-280.4.1.0chriswarbo
nom30.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal90.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
nomyx-language10.04Language to express rules for Nomic (bsd3, language, library)2017-03-131.0.0CorentinDupont
nomyx-library10.01Library of rules for Nomyx (bsd3, language, library)2017-03-171.0.0CorentinDupont
ntha100.00A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-270.1.3zjhsdtc
oberon030.01Oberon0 Compiler (language, library)2013-10-230.0.2MarcosViera
octopus10.01Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-070.0.2.1ZankokuOkuno
omega30.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
operational-alacarte130.06A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-070.3.1EmilAxelsson
oplang80.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2024-04-280.5.0.0aionescu
optimusprime10.01A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-170.0.1.20091117JasonReich
org2anki30.01Basic org to anki exporter (gpl, language, program)2016-10-290.1.0mroman42
pads-haskell20.01PADS data description language for Haskell. (language, library, mit)2019-06-100.1.0.0KarlCronburg
paragon180.01Paragon (bsd3, language, library, program)2012-07-110.1.28NiklasBroberg
pattern-matcher70.00A library for compiling pattern-matching to decision trees (bsd3, language, library)2019-06-190.1.0.1GuerricChupin
pec60.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
pgf200.00Bindings to the C version of the PGF runtime (language, lgpl, library)2021-05-031.3.0JohnCamilleri
phladiprelio-general-datatype50.03Extended functionality of PhLADiPreLiO (language, library, math, mit, music, sound)2024-04-080.10.1.0OleksandrZhabenko
phladiprelio-general-shared00.01A shared by different general implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-01-300.1.2.0OleksandrZhabenko
phladiprelio-general-simple30.00A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. (PhLADiPreLiO, language, library, math, mit, music)2024-04-100.20.0.2OleksandrZhabenko
phladiprelio-rhythmicity-shared20.03Allows to estimate some kind of the rhythmicity properties for the text (language, library, math, mit, music)2023-03-130.1.0.0OleksandrZhabenko
phladiprelio-tests00.02Common for Ukrainian and general data for test mode. (language, library, mit)2023-08-140.1.0.0OleksandrZhabenko
phladiprelio-ukrainian-shared40.01A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. (data, language, library, math, mit)2024-04-080.5.0.2OleksandrZhabenko
phladiprelio-ukrainian-simple540.00A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. (PhLADiPreLiO, language, library, math, mit, music, program)2024-04-100.20.2.2OleksandrZhabenko
phonetic-languages-basis10.011A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. (game, language, library, math, mit)2023-01-300.3.0.0OleksandrZhabenko
phonetic-languages-common60.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)40.00Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-120.3.0.0OleksandrZhabenko
phonetic-languages-constraints90.02Constraints to filter the needed permutations (language, library, math, mit)2020-11-260.4.0.0OleksandrZhabenko
phonetic-languages-constraints-array200.05Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2024-01-270.8.0.0OleksandrZhabenko
phonetic-languages-examples10.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-general00.00A generalization of the uniqueness-periods-vector-general functionality. (language, library, mit, phonetic-languages)2020-11-260.3.0.1OleksandrZhabenko
phonetic-languages-permutations50.01Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-200.2.0.0OleksandrZhabenko
phonetic-languages-permutations-array (deprecated in favor of aftovolio)150.06Permutations and universal set related functions for the phonetic-languages series (deprecated, game, language, library, math, mit, phonetic-languages)2024-01-230.5.0.0OleksandrZhabenko
phonetic-languages-phonetics-basics400.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-plus00.03Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2023-02-020.7.1.0OleksandrZhabenko
phonetic-languages-properties80.01A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, language, library, mit, phonetic-languages)2021-02-020.4.0.0OleksandrZhabenko
phonetic-languages-rhythmicity350.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-base400.010A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2024-03-080.9.0.0OleksandrZhabenko
phonetic-languages-simplified-common150.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-array650.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-common220.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-array250.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-common70.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-array130.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-examples80.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-array410.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-common70.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-old10.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)50.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-double20.02A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-020.2.0.0OleksandrZhabenko
phonetic-languages-ukrainian50.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-array240.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-vector30.02A generalization of the functionality of the uniqueness-periods-vector package. (language, library, mit, phonetic-languages)2020-10-300.1.0.0OleksandrZhabenko
pisigma10.01A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-180.2.1AndresLoeh, DarinMorrison
plural40.01Pluralize (bsd3, language, library)2018-06-070.1.0.0fresheyeball
polysemy952.7578Higher-order, low-boilerplate free monads. (bsd3, language, library)2024-06-031.9.2.0isovector, tek, TheMatten, KingoftheHomeless
polyseq (deprecated in favor of free-theorems-seq)40.01Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-060.1.2.1DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens60.02Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-280.1.0.0SimonHudon, bandali
powerpc30.01Tools for PowerPC programs. (bsd3, language, library)2010-03-100.0.1TomHawkins
prelude-edsl40.01An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-200.4EmilAxelsson
preprocess-haskell00.01Preprocess Haskell Repositories. (bsd3, language, library)2015-03-120.0.1.1bsummer4
preprocessor-tools30.01A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2018-05-052.0.2JesseTov
pro-abstract90.00Abstract syntax for writing documents (language, library, mpl)2022-03-070.3.0.0chris_martin
processor-creative-kit90.01a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-310.1.0.1takenobut
prolog100.02A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-250.3.2DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prolog-graph40.01A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-210.1.0.2MatthiasBartsch
prolog-graph-lib110.01Generating images of resolution trees for Prolog queries. (language, library, public-domain)2019-01-230.2.1.1DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prosidy42.251A simple language for writing documents. (language, library, mpl)2020-03-301.6.0.2jafc
prosidyc40.00A DSL for processing Prosidy documents. (language, library, mpl)2020-04-160.3.0.0jafc
purescript2482.759PureScript Programming Language Compiler (bsd3, language, library, program)2024-02-070.15.15PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, PureFunctor, kl0tl, jalexm
purescript-ast70.02PureScript Programming Language Abstract Syntax Tree (bsd3, language, library)2021-04-180.1.1.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl
purescript-cst20.04PureScript Programming Language Concrete Syntax Tree (bsd3, language, library)2022-02-260.5.0.0hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-tsd-gen40.00TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2019-06-210.3.0.0aratamizuki
pyffi20.01Call python inline from haskell (language, library, mit)2014-11-110.4.0.2russell91
pyfi40.01Call python inline from haskell (language, library, mit)2014-11-170.4.0.4russell91
qbe10.00Types and prettyprinter for the IL of the QBE compiler backend (bsd3, language, library)2022-07-101.1.0.0fgaz
quenya-verb10.01Quenya verb conjugator (agpl, language, library, program)2015-04-030.0.1kaashif
r-glpk-phonetic-languages-ukrainian-durations170.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-editor30.01Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-170.3.0.0bubuiic
raw-feldspar90.01Resource-Aware Feldspar (bsd3, language, library)2022-05-270.4.1EmilAxelsson
really-simple-xml-parser60.01A really simple XML parser (language, library, public-domain)2012-07-300.4.0.0KashyapChatamballi
recursors10.01Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-100.1.0.0JohnWiegley
refinery320.02Toolkit for building proof automation systems (bsd3, language, library)2021-04-090.4.0.0ReedMullanix
reflex-jsx12.01Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-240.1.0.0dackerman
register-machine-typelevel50.01A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-040.1.0.0kcsongor
reorder-expression210.00Reorder expressions in a syntax tree according to operator fixities. (language, library, mit)2024-12-100.1.0.2comp
resin130.01High performance variable binders (bsd2, language, library)2019-01-010.2.0.3CarterSchonwald
rope190.02Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-210.6.4EdwardKmett
rope-utf16-splay440.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-arbitrary10.01Runtime generation of Arbitrary values (language, library, public-domain)2016-11-120.1.0.6chriswarbo
satyros240.00Step-by-step SAT solver for educational purposes (language, library, mit)2021-11-140.3.1.4Ailrun
seal-module60.01Template Haskell support for global configuration data (bsd3, language, library)2010-11-080.1.0.1JoachimBreitner
semantic72.250Framework and service for analyzing and diffing untrusted code. (language, library, mit)2019-06-020.0.0patrick_thomson
sequitur00.00Grammar-based compression algorithms SEQUITUR (bsd3, compression, formal-languages, language, library, natural-language-processing, nlp, text)2024-07-280.2.0.0MasahiroSakai
sexp30.01S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-260.7AlexandruScvortov
sexp-grammar790.02Invertible grammar combinators for S-expressions (bsd3, language, library)2023-11-122.3.4.2EugeneSmolanka, SergeyVinokurov
shaderc130.00A collection of tools and libraries for Vulkan shader compilation (bsd3, language, library)2024-12-110.1.0.5YoshikuniJujo
shady-gen00.02Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-300.5.1ConalElliott
shake-dhall30.00Dhall dependencies (bsd3, dhall, language, library)2020-08-260.1.1.3vmchale
she70.02A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-020.6ConorMcBride
shentong32.01A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-270.3.2mjt128
shivers-cfg00.01Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-080.1.1JoachimBreitner
shortcut30.04 (bsd3, language, library)2017-03-170.1CorentinDupont
show380.04'Show' instances for Lambdabot (language, library)2013-05-190.6CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit60.01A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-010.3ConorMcBride
sifflet20.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)200.01Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-022.2.1GregoryWeber
signals10.02Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-310.2.0.2mararon
simple-c-value30.01A simple C value type (bsd3, language, library)2012-04-040.0.0.1JonathanFischoff
simple-eval20.01Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-240.1.0.1m
simple-ltl70.00A simple LTL checker (bsd3, language, library)2019-04-222.1.0JohnWiegley
simple-sql-parser280.03A parser for SQL. (bsd3, database, language, library)2024-10-080.8.0JakeWheat
sized-types90.04Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-190.5.1AndyGill, GergoErdi, ryanglscott
sketch-frp-copilot90.02Sketch programming with Copilot (bsd3, embedded, language, library)2024-02-221.0.10JoeyHess
slot-lambda40.01Write lambdas without naming the parameters. (language, library, mit)2014-04-080.1.0.3ducis
smt-lib30.01Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-190.0.2TomHawkins
smt2-parser420.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)10.01Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-040.1.0.0DanielPatterson
snmp20.02SNMP protocol library (bsd3, language, library)2019-04-090.3.1.0chemist, andrewthad, chessai
sound-change00.00Apply sound changes to words (language, library, linguistics, mit)2023-10-140.1.0.0OwenBechtel
spade100.00A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2024-08-040.1.0.10sras
specialize-th00.02Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-080.0.0.8JonathanFischoff
spir-v10.01Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-160.0.1.0jophish, expipiplus1
staticanalysis70.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
string-interpreter180.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-cabal00.00Format Cabal files (bsd3, language, library, program)2019-02-090.5.0.0JudeTaylor
stylish-haskell2802.254Haskell code prettifier (bsd3, language, library, program)2024-01-190.14.6.0JasperVanDerJeugt
stylist170.01Apply CSS styles to a document tree. (gpl, language, library)2023-06-202.7.0.1alcinnz
subleq-toolchain20.01Toolchain of subleq computer. (gpl, language, library, program)2015-12-240.1.8.5na4zagin3
sugar-scheme30.00Sugar with Scheme (language, library, text)2022-07-280.0.1jxv
sugarhaskell10.01Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-050.1SebastianErdweg
sunroof-compiler40.02Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-120.2JanBracker
sunroof-examples50.01Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-270.2.2JanBracker
sunroof-server40.01Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-270.2.1JanBracker
surjective00.01An output coverage checker (language, library, public-domain)2018-02-210.1.0.0gelisam
sv2v110.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2024-05-070.0.12zachjs
swearjure10.01Clojure without alphanumerics. (language, lgpl, program)2015-04-011.0.0hyPiRion
symantic00.01Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-126.3.4.20190712julm
symantic-grammar40.02Library for symantic grammars. (gpl, language, library)2019-06-170.3.3.20190614julm
symantic-lib10.01Symantics for common types. (gpl, language, library)2019-06-170.0.5.20190614julm
synt10.01Similar code analysis. (language, library, program)2014-11-230.1.2brentlintner
syntactic560.09Generic representation and manipulation of abstract syntax (bsd3, language, library)2022-05-263.8.4AndersPersson, EmilAxelsson
syntax-trees40.02Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-010.1.2DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn10.02Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-300.1.2.5ByronJohnson
tal10.01An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-230.1.0.0sweirich
tempi50.00For representing musical tempi (bsd3, language, library)2021-09-291.0.2.1dktr0
tempus10.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
tensor-safe12.00Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-030.1.0.1leopiney
termination-combinators10.01Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-190.1MaxBolingbroke
tersmu10.01A semantic parser for lojban (gpl, language, library, program)2018-04-290.2.2mbays
text-register-machine90.01A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-090.4.0AdamFoltzer
th-alpha70.01Alpha equivalence for TH Exp (bsd3, language, library)2016-07-010.2.1.0jkarni
th-bang-compat150.01Compatibility for bang-type template (bsd3, language, library)2019-06-090.0.1.0KeiHibino
th-constraint-compat160.03Compatibility for type constraint template (bsd3, language, library)2017-10-070.0.1.0KeiHibino
th-data-compat392.05Compatibility for data definition template of TH (bsd3, language, library)2023-12-290.1.3.1KeiHibino
th-dict-discovery12.01Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-270.1.0.0isovector
th-instances00.01A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-020.1.0.14JonathanFischoff
th-lift5610.085Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2024-12-050.8.6IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
th-reify-compat250.01Compatibility for the result type of TH reify (bsd3, language, library)2018-08-260.0.1.5KeiHibino
th-strict-compat90.02Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-240.1.0.1igrep
thih20.01Typing Haskell In Haskell (bsd3, language, library, program)2008-04-041.0GwernBranwen, ocramz
to-haskell00.01A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-110.3.0ConalElliott
tptp60.01Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-110.1.3.0EK
transformations100.01Generic representation of tree transformations (gpl, language, library, program)2015-02-150.2.0.0JeroenBransen, JosePedroMagalhaes
traverse-code20.00General data structure lifting for Template Haskell (bsd3, language, library)2022-01-230.1.1.1dfeuer
trhsx (deprecated in favor of hsx)20.01Deprecated (bsd3, deprecated, language, library)2008-05-170.2.2GwernBranwen, NiklasBroberg
turkish-deasciifier20.00Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-220.1.0.0cattheory
type-of-html812.251High performance type driven html generation. (bsd3, html, language, library, text, web)2021-02-061.6.2.0knupfer
type-of-html-static120.01Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-020.1.0.2knupfer
type-settheory50.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-sub-th00.03Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-080.1.0.6JonathanFischoff
type-tree20.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-basic50.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-array400.011A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation)2024-04-070.10.0.0OleksandrZhabenko
ukrainian-phonetics-basic-array-bytestring50.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-common10.02A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2023-02-020.2.0.0OleksandrZhabenko
unbound20.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unbound-generics482.08Support for programming with names and binders using GHC Generics (bsd3, language, library)2024-03-210.4.4AlekseyKliger
unbound-generics-unify60.00Unification based on unbound-generics (bsd3, language, library)2024-09-250.1.1AlejandroSerrano
unbound-kind-generics71.750Support for programming with names and binders using kind-generics (bsd3, language, library)2023-05-220.2.1.1AlejandroSerrano
unification-fd652.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2024-11-270.12.0.1WrenThornton, WrenRomano
unipatterns110.00Helpers which allow safe partial pattern matching in lambdas (bsd3, language, library)2019-08-210.0.0.0ChrisPenner
uniqueness-periods50.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-general80.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-vector50.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-common130.03Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-140.5.1.1OleksandrZhabenko
uniqueness-periods-vector-examples450.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-filters30.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-general250.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-properties200.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-th00.03Construct a Dec's ancestor list. (bsd3, language, library)2012-03-080.0.0.6JonathanFischoff
unlit222.01Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-180.4.0.0wenkokke
unpacked-containers42.00Unpacked containers via backpack (bsd2, language, library, program)2018-04-060EdwardKmett
urldisp-happstack10.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
verilog140.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
vhdl50.02VHDL AST and pretty printer (bsd3, language, library)2010-06-220.1.2.1ChristiaanBaaij
wasm62.250WebAssembly Language Toolkit and Interpreter (language, library, mit)2021-12-121.1.1irezvov
web-routes500.037portable, type-safe URL routing (bsd3, language, library, web)2024-06-050.27.16JeremyShaw
web-routes-boomerang370.03Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2024-06-060.28.4.5JeremyShaw
web-routes-generics50.00portable, type-safe URL routing (bsd3, language, library, web)2024-06-060.1.0.2JeremyShaw
web-routes-happstack390.09Adds support for using web-routes with Happstack (bsd3, language, library, web)2023-01-230.23.12.3JeremyShaw
web-routes-hsp400.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)50.02Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-150.20.1JeremyShaw
web-routes-regular00.02portable, type-safe URL routing (bsd3, language, library, web)2015-12-180.19.0.1JeremyShaw
web-routes-th200.014Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2024-06-060.22.8.2JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)30.01Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-040.19.1JeremyShaw
web-routes-wai330.02Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2022-04-200.24.3.2JeremyShaw
webidl20.01Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-080.1.1DmitryGolubovsky
while-lang-parser10.01Parser for the While language. (bsd3, language, library)2013-05-250.1.0.0DavidNilsson
word-note-sox10.00SoX for algorithmic composition with groups of notes liken to words (language, library, mit, sound)2024-02-060.1.0.0OleksandrZhabenko
words70.01Cross-platform access to a list of words (bsd3, language, library)2011-10-100.1.2ChrisSmith
yabi-muno00.01Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-080.1.0.1L8D
yosys-rtl40.00Yosys RTL Intermediate Language (language, library, mit)2024-08-070.1.0.1dopamane
z3-encoding40.02High-level assertion encoding to Z3 solver (language, library, mit)2016-07-050.3.0.0izgzhen
zabt70.01Simple-minded abstract binding trees (bsd3, language, library)2016-08-110.4.0.0JosephAbrahamson
zasni-gerna222.01lojban parser (zasni gerna) (bsd3, language, library)2019-10-240.0.7.1YoshikuniJujo
zephyr-copilot30.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2024-02-221.0.9JoeyHess
zeroth50.01ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-232009.6.23.3DavidHimmelstrup, RobinGreen