Packages tagged language

752 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ASN170.0ASN.1 support for Haskell (bsd3, language, library)2008-06-22HerbertValerioRiedel
AspectAG530.0Strongly typed Attribute Grammars implemented using type-level programming. (aspect-oriented-programming, development-, gpl, language, library)2022-05-26MarcosViera, jpgarcia
BASIC152.0Embedded BASIC (bsd3, language, library)2009-02-09LennartAugustsson
BNFC-meta650.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-09JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BiGUL82.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
CSPM-CoreLanguage150.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-FiringRules180.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Frontend150.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Interpreter200.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-cspm190.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-26MarcFontaine
CoreErlang60.0Manipulating Core Erlang source code (bsd3, language, library)2018-03-20AlexKropivny, HenriqueFerreiro
DTC50.0Data To Class transformation. (bsd3, language, library)2013-04-21DanielDiaz
DrHylo60.0A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-09HugoPacheco
Ebnf2ps200.0Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-26PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)620.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
Eq (deprecated)90.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
Feval32.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)150.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, deprecated, hardware, language, library)2010-06-25AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo
GLM130.0Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-09LyndonMaydwell
GTALib160.0A library for GTA programming (bsd3, language, library)2012-06-08KentoEmoto
Ganymede30.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
GoogleTranslate140.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GroteTrap200.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
HJScript250.0HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-18JeremyShaw, NiklasBroberg
HJVM30.0A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-15JeanPhilippeMoresmau
HJavaScript130.0HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-05NiklasBroberg
HsParrot60.0Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-15AudreyTang
HsPerl5150.0Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-15AudreyTang
ImperativeHaskell432.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Javasf (deprecated in favor of javasf)10.0A utility to print the SourceFile attribute of one or more Java class files. (bsd3, deprecated, language, program)2010-12-12TonyMorris
Javav (deprecated in favor of javav)90.0A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-06TonyMorris
JsContracts40.0Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-15ArjunGuha
JsonGrammar180.0Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-07MartijnVanSteenbergen
LC330.0LC-3 virtual machine (bsd3, language, program)2019-01-01DavidJohnson
LambdaCalculator110.0A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-29ThomasDuBuisson
LambdaPrettyQuote140.0Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-24JonathanFischoff
LibClang150.0Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-15ChetanTaralekar, deech
LslPlus410.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
MagicHaskeller280.0Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2022-06-02SusumuKatayama
MicrosoftTranslator40.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
NXTDSL50.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
NanoProlog150.0Very small interpreter for a Prolog-like language (bsd3, language, library, program)2011-12-22DoaitseSwierstra, JurrienStutterheim, joaopizani
Nomyx-Language (deprecated in favor of nomyx-language)440.0Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-26CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)50.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
Obsidian80.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
Ordinary70.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
Paraiso180.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
Plural120.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pugs590.0A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-15AudreyTang, JeffShaw
SCRIPTWriter30.0ESCRIPT: a human friendly language for programming Bitcoin scripts (bitcoin, bsd3, language, library, program, script)2018-10-15RickKlomp
SNet10.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
Strafunski-Sdf2Haskell40.0Converts SDF to Haskell (bsd3, language, program)2013-05-03JamesKoppel
URLT (deprecated in favor of web-routes)30.0Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-16JeremyShaw
WebBits (deprecated in favor of language-ecmascript)320.0JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-10AndreyChudnov, ArjunGuha
WebBits-Html70.0JavaScript analysis tools (language, library)2010-02-01ArjunGuha
WebBits-multiplate70.0A Multiplate instance for JavaScript. (language, library, mit)2011-03-24BalazsEndresz
Wired70.0Wire-aware hardware description (bsd3, hardware, language, library)2014-05-06EmilAxelsson
XmlHtmlWriter22.0A library for writing XML and HTML (bsd3, language, library)2012-05-25MatthewMirman
abacate20.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
abt51.25Abstract binding trees for Haskell (language, library, mit)2015-01-11JonSterling
acl230.0Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-01TomHawkins
adtrees10.0Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-23umazalakain
alga (deprecated)50.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
algorithmic-composition-additional50.0Helps 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-17OleksandrZhabenko
algorithmic-composition-basic140.0Helps 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-17OleksandrZhabenko
antimirov20.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
aop-prelude130.0prelude for Algebra of Programming (bsd3, language, library)2021-06-18KatsutoshiItoh
applicative-parsec70.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
applicative-quoters100.0Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-22BenMillwood
arduino-copilot442.0Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2022-09-08JoeyHess
arghwxhaskell60.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
ariadne110.0Go-to-definition for Haskell (language, mit, program)2014-11-01RomanCheplyaka, manzyuk
array-forth60.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ast-monad10.0A library for constructing AST by using do-notation (bsd3, language, library)2017-04-27MasatoMouri
ast-monad-json40.0A library for writing JSON (bsd3, language, library)2017-04-29MasatoMouri
astview (deprecated)60.0A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-19SebastianMenge
astview-utils (deprecated)10.0Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-18SebastianMenge
aterm-utils110.0Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-18JasonDagit
atom300.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atomo140.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
ats-format680.0A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2019-11-30vmchale
axel160.0The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-03jgrosso256
bash90.0Bash generation library. (bsd3, language, library)2013-03-17JasonDusek
berp20.0An implementation of Python 3. (bsd3, language, library, program)2010-05-31BerniePope
bidirectional-instances160.0Make instance constraints bidirectional (language, library, mit)2022-09-04lev_135
bidirectionalization-combined20.0Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) (language, program, public-domain)2010-09-27JoachimBreitner
bighugethesaurus70.0API wrapper for Big Huge Thesaurus (api, language, library)2015-12-28TheKing
binary-literal-qq (deprecated)60.0Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-24MathieuBoespflug
birds-of-paradise120.0Birds of Paradise (bsd3, language, library)2021-06-18KatsutoshiItoh
bitcoin-scripting42.0Resources for working with miniscript, and script descriptors (bsd3, language, library)2022-08-04IanShipman
blanks120.0Fill-in-the-blanks - A library factoring out substitution from ASTs (bsd3, language, library)2020-11-04ejconlon
bond190.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2020-05-27sapek, chwarr, eduardo
bond-haskell-compiler90.0Bond code generator for Haskell (bsd3, language, library, program)2016-11-26blaze
boolsimplifier120.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
bound962.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2022-05-08EdwardKmett, EricMertens, ryanglscott
bound-extras100.0ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2022-01-02phadej
bound-simple52.0A lightweight implementation of 'bound' (bsd3, language, library)2021-10-18ocramz
brain-bleep20.0primitive imperative language (bsd3, language, program)2019-05-22AlanHawkins
brainfuck-tut100.0A simple BF interpreter. (bsd3, language, library, program)2016-12-30alleledev
bricks (deprecated)80.0Bricks is a lazy functional language based on Nix. (apache, deprecated, language, library)2018-02-10chris_martin
bricks-internal (deprecated)50.0... (apache, deprecated, language, library)2018-02-10chris_martin
bricks-internal-test (deprecated)60.0... (apache, deprecated, language, library)2018-02-10chris_martin
bricks-parsec (deprecated)60.0... (apache, deprecated, language, library)2018-02-10chris_martin
bricks-rendering (deprecated)50.0... (apache, deprecated, language, library)2018-02-10chris_martin
bricks-syntax (deprecated)10.0... (apache, deprecated, language, library)2018-02-10chris_martin
brittany2010.0Haskell source code formatter (agpl, language, library, program)2022-01-13lspitzner, fozworth, dukerutledge
broker-haskell20.0Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-16DavidBanas
c-dsl50.0A higher level DSL on top of language-c (language, library, mit)2014-05-07jozefg
c0check50.0Simple C0 Syntax Check (language, program)2013-01-04DanielSeidel, JanisVoigtlaender
c0parser30.0Simple C0 Parser (language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats22.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
caledon112.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
call-alloy410.0A simple library to call Alloy given a specification (language, library, mit)2022-07-25marcellus
call-plantuml200.0A simple library to call PlantUML given a diagram specification (graphics, language, library, mit)2022-06-02marcellus
calligraphy130.0HIE-based Haskell call graph and source code visualizer (bsd3, development, haskell, language, library, program)2022-05-16jonascarpay
camfort260.0CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program, verification)2021-10-09DominicOrchard, mdanish, madgen, raehik
cao30.0CAO Compiler (compiler, cryptography, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
cap40.0Interprets and debug the cap language. (bsd3, language, program)2008-09-28ThomasDavie
cdeps240.0Extract dependencies from C code. (bsd3, c, development, language, library, program)2020-06-24vmchale
cg20.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
chalmers-lava2000330.0Hardware description EDSL (bsd3, hardware, language, library)2016-05-19EmilAxelsson
cil50.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
circ70.0A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-01TomHawkins
clang-compilation-database40.0JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-09AlekseyKliger
clang-pure130.0Pure C++ code analysis with libclang (apache, language, library)2020-01-31PatrickChilton
clash (deprecated in favor of clash-ghc)200.0CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-02ChristiaanBaaij
cleff181.75Fast and concise extensible effects (bsd3, control, effect, language, library)2022-05-21daylily
cleff-plugin102.0Automatic disambiguation for extensible effects (bsd3, control, effect, language, library)2022-03-13daylily
clogparse100.0Parse IRC logs such as the #haskell logs on tunes.org (bsd3, irc, language, library, text)2010-10-02KeeganMcAllister
clr-bindings40.0Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-host70.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-01PepeIborra, TimMatthews, moodmosaic
clr-inline50.0Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews, moodmosaic
clr-marshal40.0Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews, moodmosaic
clr-typed40.0A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-win-linker40.0A GHC linker wrapper tool to workaround a GHC >8.2 bug (.net, bsd3, clr, ffi, language, program)2017-04-25PepeIborra, TimMatthews
clua30.0C to Lua data wrapper generator (bsd3, language, program)2012-04-04TomSchouten
cmake-syntax20.0Parser for the CMake syntax (CMakeLists.txt and .cmake files) (bsd3, language, library)2019-08-030xd34df00d
cmonad120.0A library for C-like programming (bsd3, language, library)2009-03-29LennartAugustsson
co-feldspar10.0Hardware software co-design Feldspar (bsd3, language, library)2021-06-15mararon
codec-beam100.0Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-06hkgumbs
codo-notation30.0A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-22DominicOrchard
coformat30.0Generate clang-format config based on some existing code base (bsd3, language, library, program)2019-12-300xd34df00d
combinator-interactive40.0SKI Combinator interpreter (bsd3, language, library, program)2013-09-07FumiakiKinoshita
compilation40.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
compstrat60.0Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-24JamesKoppel
config-schema672.0Schema definitions for the config-value package (language, library)2022-08-10EricMertens
config-value902.5Simple, layout-based value language similar to YAML or JSON (language, library, mit)2022-08-10EricMertens
context-free-grammar60.0Basic algorithms on context-free grammars (bsd3, language, library)2021-05-29nedervold
control-dsl141.75An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-18yangbo
copilot732.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99600.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc100.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-core530.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
copilot-frp-sketch10.0FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-14JoeyHess
copilot-interpreter170.0Interpreter for Copilot. (bsd3, embedded, language, library)2022-09-07IvanPerez
copilot-language630.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries500.0Libraries for the Copilot language. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
copilot-sbv120.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem420.0k-induction for Copilot. (bsd3, embedded, language, library)2022-09-07IvanPerez, LeePike, agoodloe, frankdedden
core90.0External core parser and pretty printer. (bsd3, language, library)2009-04-08DavidHimmelstrup
core-compiler60.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
core-haskell110.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
cparsing10.0A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-16lazac
cryptol620.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2022-05-17IavorDiatchki, ryanglscott, galoisinc
cspretty50.0AST and pretty printer for CSPm (bsd3, language, library)2016-11-30ccasin
css (deprecated)20.0Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-08
cube20.0Cubic DSL for 3D printing (bsd3, language, library)2015-04-15junjihashimoto
curry-base160.0Functions for manipulating Curry programs (bsd3, language, library)2019-11-22BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend200.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2021-02-11BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
data-reify650.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2020-10-12AndyGill, ryanglscott
data-reify-cse50.0Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-08SebastiaanVisser
data-treify40.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection-)2014-03-18ConalElliott
deepl90.0Call DeepL to translate you files (bsd3, language, library, program, web)2021-04-16PaoloVeronelli
derive-gadt30.0Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-25MattMorrow
descript-lang10.0Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-20jakobeha
desert90.0a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-24zjhsdtc
dhall-lex50.0Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-25
dictparser100.0Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-10MarkWotton
dino40.0A convenient tagless EDSL (bsd3, language, library)2022-05-27EmilAxelsson
disco80.0Functional programming language for teaching discrete math. (bsd3, language, library, program)2022-03-12BrentYorgey
discokitty20.0DisCoCat implementation. (gpl, language, library)2019-05-13mroman42
djinn-ghc130.0Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-11AlejandroSerrano
djinn-lib330.0Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2022-05-21AlejandroSerrano
djinn-th10.0Generate executable Haskell code from a type (bsd3, language, library)2010-08-03ClaudeHeilandAllen
do-notation140.0Generalize do-notation to work on monads and indexed monads simultaneously. (bsd3, language, library)2018-09-09isovector
do-notation-dsl (deprecated in favor of control-dsl)50.0An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-02yangbo
dobutokO-poetry320.0Helps 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-07OleksandrZhabenko
dobutokO-poetry-general60.0Helps 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-16OleksandrZhabenko
dobutokO-poetry-general-languages90.0Helps to order the 7 or less words to obtain somewhat suitable for poetry or music text (game, language, library, mit, uniqueness, uniquenessPeriods)2020-08-18OleksandrZhabenko
dobutokO2930.0Helps to create experimental music from a file (or its part) and a Ukrainian text. (Ukrainian, algorithmic-composition, language, library, mit, music, program, rhythm, sound, sox, timbre, tonality)2020-08-16OleksandrZhabenko
dove30.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
dovetail20.0A PureScript interpreter with a Haskell FFI. (bsd3, language, library)2021-11-18PhilFreeman
dovetail-aeson20.0Use Aeson from your Dovetail programs (bsd3, language, library)2021-11-13PhilFreeman
drmaa50.0A Haskell bindings to the DRMAA C library. (bsd3, language, library)2018-12-05kaizhang
ds-kanren80.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
each82.25Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2018-11-30dramforever, ice1000
ecma26210.0A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-12FabianBergmark
effective-aspects20.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-15IsmaelFigueroa
effective-aspects-mzv70.0A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. (aop, aspect-oriented-programming, language, library, monads)2014-04-16IsmaelFigueroa
eflint30.0Simulation interpreter for FLINT policy descriptions (bsd3, language, library, program)2022-01-24ltvanbinsbergen
egison-pattern-src190.0Manipulating Egison patterns: abstract syntax, parser, and pretty-printer (bsd3, language, library, parser, pretty-printer)2020-11-03SatoshiEgi, coord_e, momohatt
egison-pattern-src-haskell-mode100.0Parser and pretty printer for Egison pattern expressions in Haskell source code (bsd3, language, library, parser, pretty-printer)2020-11-03SatoshiEgi, coord_e, momohatt
egison-pattern-src-th-mode110.0Parser and pretty printer for Egison pattern expressions to use with TH (bsd3, language, library, parser, pretty-printer, template-haskell)2020-11-03SatoshiEgi, coord_e, momohatt
egison-quote110.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
ehs30.0Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-15minpou
elm-bridge542.0Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2021-08-30AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)60.0Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-13jeremondi
elm-compiler (deprecated)112.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-core-sources90.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
elm-get (deprecated in favor of elm-package)70.0Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-22EvanCzaplicki
elm-package (deprecated)100.0Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-reactor (deprecated)100.0Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-20EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)190.0Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-20EvanCzaplicki
elm-street230.0Crossing the road between Haskell and Elm (compiler, elm, language, library, mpl, program)2022-03-29shersh, vrom911, HolmuskTechTeam
elm-syntax160.0Elm syntax and pretty-printing (bsd3, compiler, elm, language, library)2021-10-27OliverCharles, OlleFredriksson, GeorgeThomas
elsa250.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2019-04-01ranjitjhala
enchant10.0Binding to the Enchant library (bsd3, language, library)2016-06-22kseo
ewe140.0An interpreter for EWE programming language (bsd3, language, program)2019-02-04JuanFranciscoCardonaMcCormick
exception-hierarchy210.0Exception type hierarchy with TemplateHaskell (bsd3, language, library)2022-04-30YoshikuniJujo
exference40.0Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-13lspitzner
explain20.0Show how expressions are parsed (language, mit, program)2014-01-13JoelTaylor
extcore192.0Libraries for processing GHC Core (bsd3, language, library)2013-04-21TimChevalier
fault-tree10.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
feldspar-language190.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
feldspar-signal20.0Signal Processing extension for Feldspar (bsd3, language, library)2015-06-11EmilAxelsson, mararon
first-class-instances20.0First class typeclass instances (bsd3, language, library)2020-02-02TheMatten
foma80.0Simple Haskell bindings for Foma. (language, library, mit)2021-01-28joom
formura60.0Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-04TakayukiMuranushi
forsyde-deep40.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-26ugeorge, ingo, JorRodolfo
forsyde-shallow80.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2021-03-19ugeorge, ingo, JorRodolfo
forth-hll (deprecated)20.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
fortran-src360.0Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). (apache, language, library, program)2022-08-18DominicOrchard, mdanish, madgen, raehik
fortran-src-extras70.0Common functions and utils for fortran-src. (apache, language, library, program)2022-08-22raehik
fortran-vars40.0Fortran memory model and other static analysis tools. (apache, language, library, program)2022-08-22raehik
free-theorems180.0Automatic generation of free theorems. (language, library, public-domain)2013-02-08DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples80.0Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-14DanielSeidel, JanisVoigtlaender
free-theorems-seq20.0Taming Selective Strictness (language, library, public-domain)2011-03-11DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui100.0Taming Selective Strictness (language, program, public-domain)2011-03-30DanielSeidel, JanisVoigtlaender
free-theorems-webui70.0CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-18DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect120.0A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-21AndrewSeniuk
fresh60.0Introduce fresh variables into Haskell source code (language, library, mit)2012-01-03DavidLazar
frp-arduino120.0Arduino programming without the hassle of C. (gpl, language, library)2018-03-26RickardLindberg, JeremyWright
ft-generator30.0implementation accompanying a WFLP'19 paper (language, program)2019-08-29JanisVoigtlaender
ftshell40.0Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-12JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp60.0call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-08ltvanbinsbergen
funpat10.0A generalization of pattern matching (bsd3, language, library)2011-07-01GergelyDevai
gender70.0Identify a persons gender by their first name (language, lgpl, library, program)2013-02-16KraniumGikos
ghc-core-smallstep10.0A small-step semantics for Core (language, library, mit)2018-04-10JoachimBreitner
ghc-justdoit30.0A magic typeclass that just does it (language, library, mit)2022-08-01JoachimBreitner
ghc-options20.0Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-16ranjitjhala
ghc-parser780.0Haskell source parser from GHC. (language, library, mit)2022-09-16gibiansky, VaibhavSagar
ghc-session70.0Simplified GHC API (language, library, mit, program)2016-02-18danilo2, PiotrMlodawski, iamrecursion
ghc-srcspan-plugin90.0Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-21EricSeidel
ghci-lib30.0A library for interactively evaluating Haskell code. (language, library, mit)2014-02-16gibiansky
ghci-websockets30.0A websocket server that survives GHCi reloads (bsd3, language, library)2019-07-16jfmueller
gimlh40.0Haskell parser for GIML (language, library, mit)2015-04-16gazay
global100.0Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-02ByronJohnson
goldplate150.0A lightweight golden test runner (apache, language, program)2021-05-24AndreasAbel, JasperVanDerJeugt
google-search40.0EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-31LiyangHu
graphql372.25Haskell GraphQL implementation (language, library)2022-03-27jdnavarro, belka
graphql-spice10.0GraphQL with batteries (language, library, mpl)2022-03-29belka
graphql-w-persistent282.0GraphQL interface middleware for SQL databases. (data, database, development, graphs, language, library)2020-09-18jasonsychau
hakaru160.0A probabilistic programming language (bsd3, language, library, program)2020-11-02pravnar, z
hanspell82.0Korean spell checker (korean, language, library, mit, program, spellchecker)2021-09-199beach
happstack-facebook (deprecated in favor of fb)80.0A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-06JeremyShaw
happy-dot60.0Parser for dot made with happy. (gpl, language, library)2019-12-21mgmillani
haquil30.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-05BrianBush
hardware-edsl70.0Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2021-06-15mararon
harp190.0HaRP allows pattern-matching with regular expressions (bsd3, language, library)2022-04-20DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
haskarrow50.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskell-brainfuck70.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
haskell-coffee40.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-exp-parser90.0Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2020-10-17EmilAxelsson
haskell-generate130.0Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-02BennoFuenfstueck
haskell-holes-th72.0Infer haskell code by given type. (language, library, mit)2019-08-24klntsky
haskell-lexer1430.0A fully compliant Haskell 98 lexer. (bsd3, language, library)2020-01-30IavorDiatchki
haskell-lsp-client82.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-names712.25Name resolution library for Haskell (bsd3, language, library)2020-05-26AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster
haskell-rules90.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-src1090.0Support for manipulating Haskell source code (bsd3, language, library)2022-02-07AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts5502.5Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2020-06-02AdamBergmark, DanBurton, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering
haskell-src-exts-observe10.0Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-17PepeIborra
haskell-src-exts-prisms50.0Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-07DanielWaterworth
haskell-src-exts-qq130.0A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-14MathieuBoespflug
haskell-src-exts-sc90.0Pretty print haskell code with comments (bsd3, language, library)2018-04-10achirkin
haskell-src-exts-util360.0Helper functions for working with haskell-src-exts trees (bsd3, language, library)2019-04-11NeilMitchell, PepeIborra
haskell-src-meta4650.0Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2022-09-14AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)20.0Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-18MarkWotton
haskell-to-elm120.0Generate Elm types and JSON encoders and decoders from Haskell types (bsd3, compiler, elm, language, library)2021-03-09OlleFredriksson
haskell-tools-ast340.0Haskell AST for efficient tooling (bsd3, language, library)2019-01-09lazac
haskell-tools-ast-fromghc30.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-gen60.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-trf30.0Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-05lazac
haskell-tools-backend-ghc240.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2019-01-09lazac
haskell-tools-builtin-refactorings160.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-cli340.0Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2019-01-09lazac
haskell-tools-daemon210.0Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2019-01-09lazac
haskell-tools-debug300.0Debugging Tools for Haskell-tools (bsd3, language, library, program)2019-01-09lazac
haskell-tools-demo340.0A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2019-01-09lazac
haskell-tools-experimental-refactorings150.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-prettyprint390.0Pretty printing of Haskell-Tools AST (bsd3, language, library)2019-01-09lazac
haskell-tools-refactor330.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-rewrite260.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2019-01-09lazac
haskell-type-exts10.0A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-02NiklasBroberg
haskell-typescript50.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskellish332.0For parsing Haskell-ish languages (bsd3, language, library)2022-08-10dktr0
haskelm130.0Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-25jeremondi
haskeme90.0Compiler from I- to S-Expressions for the Scheme Programming Language (bsd3, language, library, program)2019-07-18jumper149
haspell40.0Haskell bindings to aspell (language, library, mit)2013-08-26JoelTaylor
hbf40.0An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-04paraseba
hdis8630.0Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-28KeeganMcAllister
heap-console20.0interactively inspect Haskell values at runtime (bsd3, language, library)2020-11-21TheMatten
her-lexer40.0A lexer for Haskell source code. (language, library, public-domain)2012-09-06TimothyHobbs
her-lexer-parsec50.0Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-27TimothyHobbs
hermit180.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb20.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation-)2013-11-18AndrewFarmer
hexpr50.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
hfmt232.25Haskell source code formatter (language, library, mit, program)2021-09-07danielstiner
hgrep32.0Search Haskell source code from the command line (bsd3, language, library, program)2017-10-04TimHumphries
hierarchical-exceptions20.0Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-21BenjaminBarenblat
hindley-milner20.0Template for Hindley-Milner based languages (language, library, mit)2016-04-23mbg
hindley-milner-type-check50.0Type inference for Hindley-Milner based languages (language, library, mit)2021-06-08AntonKholomiov
hint1872.5A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2022-03-30gelisam, mvdan
hint-server130.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)20.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-06
hinterface200.0Haskell / Erlang interoperability library (bsd3, language, library)2020-11-30SvenHeyll, timo_koepke
hnock100.0A Nock interpreter. (language, library, mit, program)2019-10-01JaredTobin
ho-rewriting80.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-11EmilAxelsson
homplexity251.25Haskell code quality tool (bsd3, language, library, program, tools)2020-03-05MichalGajda
hoop20.0Object-Oriented Programming in Haskell (language, library, mit)2020-07-04mbg
hopencc20.0Haskell binding to libopencc (bsd3, language, library)2019-10-06PaulMeng
hpython52.0Python language tools (bsd3, language, library, program)2019-05-02qfpl
hruby470.0Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2022-01-07SimonMarechal
hs-gen-iface (deprecated)60.0Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-26AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector140.0Haskell source code analyzer (language, library, mit)2015-05-14flbulgarelli
hs-pattrans30.0DSL for musical patterns and transformation, based on contravariant functors. (bsd3, language, library, program)2020-02-12omelkonian
hs2ats292.0Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2019-10-17vmchale
hs2dot140.0Generate graphviz-code from Haskell-code. (language, program)2010-08-15OscarFinnsson
hscolour1770.0Colourise Haskell code. (language, library, program)2017-11-30DonaldStewart, MalcolmWallace, phadej
hse-cpp112.0Preprocess+parse haskell code (language, library, mit)2016-10-06AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock140.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
hsp300.0Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-12GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp210.0SQL parser and type checker (bsd3, database, language, library)2019-07-08JakeWheat
hssqlppp-th30.0hssqlppp extras which need template-haskell (bsd3, database, language, library)2019-07-08JakeWheat
hswip22.0embedding prolog in haskell (foreign, language, library)2010-08-13EvgenyTarasov
hsx (deprecated in favor of hsx2hs)320.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-05NiklasBroberg
hsx2hs360.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2022-07-29DavidFox, JeremyShaw, NiklasBroberg
htoml290.0Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-07cies
htoml-megaparsec450.0Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2021-02-23vmchale
hubris40.0Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-24MarkWotton
hunspell-hs32.0Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-27ashutoshrishi
husk-scheme852.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs50.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hwhile82.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-07alexj136
hydrogen-cli60.0Hydrogen Data (language, mit, program)2015-01-08JulianFleischer
hydrogen-cli-args60.0Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-22JulianFleischer
hydrogen-data100.0Hydrogen Data (bsd3, language, library)2015-01-08JulianFleischer
hydrogen-multimap30.0Hydrogen Multimap (language, library, mit)2015-03-26JulianFleischer
hydrogen-parsing50.0Hydrogen Parsing Utilities (language, library, mit)2015-03-22JulianFleischer
hydrogen-prelude330.0Hydrogen Prelude (language, library, mit)2015-03-26JulianFleischer
hydrogen-prelude-parsec20.0Hydrogen Prelude /w Parsec (language, library, mit)2015-03-22JulianFleischer
hydrogen-syntax120.0Hydrogen Syntax (bsd3, language, library)2015-03-22JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)70.0Hydrogen Tools (bsd3, deprecated, language, library)2014-12-16JulianFleischer
hydrogen-version80.0Hydrogen Version Type (language, library, mit)2015-03-26JulianFleischer
hypertypes30.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
ihs120.0Interpolated Haskell (language, program, public-domain)2018-12-12minad
imperative-edsl110.0Deep embedding of imperative programs with code generation (bsd3, language, library)2021-08-28AndersPersson, EmilAxelsson, mararon
imperative-edsl-vhdl (deprecated in favor of hardware-edsl)40.0Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-14mararon
imprevu60.0Reactive programming language based on a DSL (bsd3, language, library)2017-03-13CorentinDupont
imprevu-happstack10.0Imprevu support for Happstack (bsd3, language, library)2017-03-13CorentinDupont
improve610.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
inch20.0A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-07AdamGundry
indexed-do-notation50.0Do notation for indexed monads (bsd3, language, library)2013-05-01FumiakiKinoshita
indian-language-font-converter40.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
indigo110.0Convenient imperative eDSL over Lorentz. (language, library, mit, program)2021-01-08gromak, pasqu4le, serokell, rinn7e
intensional-datatys10.0A GHC Core plugin for intensional datatype refinement checking (bsd3, language, library)2020-07-24eddiejones
interpol90.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
intrinsic-superclasses72.0A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-14dailectic
invertible-grammar160.0Invertible parsing combinators framework (bsd3, language, library)2021-10-10EugeneSmolanka
ion60.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
ipa82.0Internal Phonetic Alphabet (IPA) (bsd3, language, library)2021-06-14RoryTylerHayford
ivory102.25Safe embedded C programming. (bsd3, language, library)2019-04-05EricMertens, LeePike
ivory-artifact40.0Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-avr-atmega328p-registers10.0Ivory register bindings for the Atmega328p (bsd3, language, library)2020-11-19erdeszt
ivory-backend-c110.0Ivory C backend. (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-bitdata (deprecated in favor of ivory)20.0Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-26EricMertens, LeePike
ivory-examples80.0Ivory examples. (bsd3, language, program)2016-12-16EricMertens, LeePike
ivory-hw110.0Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-opts60.0Ivory compiler optimizations. (bsd3, language, library)2018-07-18EricMertens, LeePike
ivory-serialize90.0Serialization library for Ivory. (bsd3, language, library)2019-04-05EricMertens, LeePike
ivory-stdlib40.0Ivory standard library. (bsd3, language, library)2016-12-16EricMertens, LeePike
ixdopp70.0A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-23JesseTov
jacinda102.0Functional, expression-oriented data processing language (agpl, data, gpl, interpreters, language, library, program, text)2022-04-13vmchale
jarfind130.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-30EugeneKirpichov
jdi20.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jmacro632.0QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2022-04-25GershomBazerman, JeremyShaw
joy-rewrite20.0Transform Joy code using conditional rewrite rules (bsd2, language, library)2022-06-29rieckenj
js-good-parts120.0Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-20SeanSeefried
jsmw10.0Javascript Monadic Writer base package. (bsd3, language, library)2009-04-26DmitryGolubovsky
json-python30.0Call python inline from haskell (language, library, mit)2014-11-10russell91
jvm-binary180.0A library for reading Java class-files (java, jvm, language, library, mit)2021-05-12kalhauge
jvm-parser60.0A parser for JVM bytecode files (bsd3, language, library)2014-08-07KevinQuick, RobertDockins, galoisinc
kansas-lava140.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-06AndyGill, GergoErdi
kbq-gu30.0Rpoku spoken word programming language (language, program)2008-08-14AndriiZvorygin
kempe222.0Kempe compiler (bsd3, compilers, language, library, program)2022-03-04vmchale
kuifje80.0A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-10martonbognar
kure270.0Combinators for Strategic Programming (bsd3, language, library)2021-04-04AndyGill, NeilSculthorpe
kure-your-boilerplate20.0Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-27AndyGill
lambda-calculator140.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2022-06-10sgillespie
lambda-calculus-interpreter50.0Lambda Calculus interpreter (bsd3, language, library, program)2018-09-12xeontem
lambda-placeholders12.0A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-29MatthewMirman
lambdaBase100.0 (language, library, mit)2015-05-05faleidel
lambdaLit100.0... (language, mit, program)2014-12-18faleidel
lang30.0A Lisp (agpl, language, library)2018-03-01Zaoqi
language-Modula220.0Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2020-11-11MarioBlazevic
language-asn70.0ASN.1 encoding and decoding (bsd3, language, library)2019-04-09andrewthad, chessai
language-asn1100.0Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-14DmitryAstapov
language-ats1012.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2021-01-18vmchale
language-bash260.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2020-04-23KyleRaftogianis
language-boogie100.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-c2232.0Analysis and generation of C code (bsd3, language, library)2022-04-06BenediktHuber, jophish
language-c-comments80.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-c-inline250.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
language-c-quote920.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2021-04-29GeoffreyMainland, TroelsHenriksen
language-c99410.0An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2022-05-21frankdedden
language-c99-simple700.0C-like AST to simplify writing C99 programs. (language, library, mit)2022-08-28frankdedden
language-c99-util390.0Utilities for language-c99. (language, library, mit)2022-05-21frankdedden
language-cil120.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-csharp10.0C# source code manipulation (bsd3, language, library)2019-05-10icysnowman55
language-css50.0CSS 2.1 syntax (bsd3, language, library)2020-05-14AntonKholomiov, tomjaguarpaw
language-dart32.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12sigrlami, kseo
language-dickinson372.0A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2022-09-10vmchale
language-dot421.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2019-10-22BenGamari, BrianLewis
language-ecmascript452.0JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-26AndreyChudnov, ArjunGuha, DavidJohnson
language-ecmascript-analysis40.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-eiffel40.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-fortran (deprecated in favor of fortran-src)60.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-gcl82.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-glsl500.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-02VoMinhThu
language-go90.0A library for analysis and synthesis of Go code. (language, library)2011-02-06AndrewRobbins
language-guess70.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-java240.0Java source manipulation (bsd3, language, library)2018-03-08NiklasBroberg, VincentHanquez
language-java-classfile20.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
language-javascript1870.0Parser for JavaScript (bsd3, language, library)2020-03-22AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js80.0javascript parser for es6 and es7. (language, library, mit)2021-03-27diasbruno
language-kort10.0Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-18akrasner
language-lua420.0Lua parser and pretty-printer (bsd3, language, library)2019-08-29EricMertens, OmerAgacan
language-lua-qq10.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
language-lua2 (deprecated)70.0Lua parser and pretty printer (bsd3, deprecated, language, library)2015-10-14mitchellwrosen
language-mixal10.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-ninja122.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-nix280.0Data types and functions to represent the Nix language (bsd3, distribution, language, library, nix)2019-09-21PeterSimons, sternenseemann, jophish, cdepillabout, maralorn
language-oberon80.0Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2020-11-11MarioBlazevic
language-objc240.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-ocaml20.0Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-12Ptival
language-openscad70.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-pig110.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-python502.0Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-12BerniePope
language-python-colour10.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-python-test100.0testing code for the language-python library (bsd3, language, program)2020-07-12BerniePope
language-qux70.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-rust52.25Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-22harpocrates
language-sally52.0AST and pretty printer for Sally (language, library)2017-08-01bjones
language-sh (deprecated)70.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-slice80.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sqlite20.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-sygus150.0A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2020-02-11WilliamHallahan
language-thrift302.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2021-12-04PhilippHausmann, abhinav
language-tl20.0A Parser for the Type Language (bsd3, language, library)2020-06-04Poscat
language-typescript70.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
language-vhdl152.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2021-06-15mararon
language-webidl120.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
layout-rules60.0A collection of different layout implementations (bsd3, language, library)2020-01-01TrevorElliott
lens-toml-parser60.0Lenses for toml-parser (language, lenses, library)2020-05-06henrytill
lexer-applicative172.0Simple lexer based on applicative regular expressions (language, library, mit)2018-06-06RomanCheplyaka
lhs2TeX-hl170.0Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-15AlessandroVermeulen
lhs2tex622.0Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2020-05-01AndresLoeh
libconfig30.0Haskell bindings to libconfig (bsd3, language, library)2015-04-29peddie
lift-generics160.0GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2021-09-16ryanglscott
linkcore50.0Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-25TimChevalier
liquid-base102.0Drop-in base replacement for LiquidHaskell (bsd3, language, library)2021-06-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-bytestring10.0LiquidHaskell specs for the bytestring package (bsd3, language, library)2020-07-29AlfredoDiNapoli, ranjitjhala, nikivazou
liquid-containers70.0LiquidHaskell specs for the containers package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-fixpoint470.0Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2021-11-03AlfredoDiNapoli, AndresLoeh, EricSeidel, ranjitjhala, niki
liquid-ghc-prim70.0Drop-in ghc-prim replacement for LiquidHaskell (bsd3, language, library)2021-06-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-parallel10.0LiquidHaskell specs for the parallel package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-platform90.0A battery-included platform for LiquidHaskell (bsd3, language)2020-08-25AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-prelude40.0General utility modules for LiquidHaskell (bsd3, language, library)2020-08-25AlfredoDiNapoli, ranjitjhala, nikivazou
liquid-vector20.0LiquidHaskell specs for the vector package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquidhaskell642.5Liquid Types for Haskell (bsd3, language, library, program)2021-11-04AlfredoDiNapoli, AndresLoeh, EricSeidel, ranjitjhala, niki
located70.0Source location helpers (bsd3, language, library)2016-07-19TrevorElliott
lojban100.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
lojbanParser130.0lojban parser (bsd3, language, library, program)2014-08-16YoshikuniJujo
lojbanXiragan40.0lojban to xiragan (bsd3, language, library, program)2013-03-07YoshikuniJujo
lojysamban100.0Prolog with lojban (bsd3, language, program)2014-10-24YoshikuniJujo
lol-calculus10.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-typing10.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lorentz430.0EDSL for the Michelson Language (language, library, mit)2022-09-21gromak, pasqu4le, serokell
lss (deprecated)10.0Lexical 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-04DanielPatterson
ltl20.0Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-19TomHawkins
lua-bc50.0Lua bytecode parser (language, library, mit)2016-12-07EricMertens, galoisinc
luka60.0Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-29JinjingWang
luthor60.0Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-25ZankokuOkuno
mathista (deprecated)20.0A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-11seiya
maude130.0An interface to the Maude rewriting system. (language, library, mit)2012-07-09DavidLazar
mcm42.0Machine Configuration Manager (gpl, language, program, system, text)2018-11-03AnthonyDoggett
mcmc-synthesis80.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
mecha170.0A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-11TomHawkins
melody10.0A functional scripting language (language, library, mit, program)2014-01-10jozefg
meta-misc20.0Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-02ByronJohnson
mi10.0Multiple Instance for Haskell (language, library, mit)2014-02-28matt
mida (deprecated)80.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
mikrokosmos130.0Lambda calculus interpreter (gpl, language, program)2018-08-01mroman42
miniforth30.0Miniature FORTH-like interpreter (language, library, mit, program)2015-03-08L8D
ministg80.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
ml-w50.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
mmsyn2-array110.0A library that can be used for multiple Ord a => a -> b transformations. (binary-search, data, development, language, library, mit)2021-10-31OleksandrZhabenko
mmsyn2-array-ukrainian-data20.0Data that is taken from the ukrainian-phonetics-basic-array for optimization. (data, language, library, math, mit)2022-02-22OleksandrZhabenko
mmsyn2-hashable20.0A library that can be used for multiple Hashable a => a -> b transformations. (data, development, language, library, mit)2021-10-31OleksandrZhabenko
mmsyn6ukr490.0A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, speech-approximation)2020-11-07OleksandrZhabenko
mmsyn6ukr-array110.0A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, tts)2022-08-15OleksandrZhabenko
mmsyn7h320.0Produces a sound recording specified by the Ukrainian text. (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice)2020-12-03OleksandrZhabenko
mmsyn7s300.0Shows 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-09OleksandrZhabenko
mmsyn7ukr660.0A 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-16OleksandrZhabenko
mmsyn7ukr-array70.0A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by mmsyn7h-array, dobutokO2-array and other similar packages (language, library, mit, sound)2022-08-16OleksandrZhabenko
mmsyn7ukr-common30.0Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. (Ukrainian, language, library, mit, sound, sox)2022-08-15OleksandrZhabenko
modelicaparser50.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
modulespection120.0Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-02JonathanFischoff
modulo220.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
morley590.0Developer tools for the Michelson Language (language, library, mit, program)2022-09-21gromak, pasqu4le, serokell
morley-upgradeable50.0Upgradeability infrastructure based on Morley. (language, library, mit, program)2021-04-02pasqu4le
morloc20.0A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-06arendsee
msgpack-idl80.0An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-30HerbertValerioRiedel, HideyukiTanaka
msh (deprecated in favor of hoop)90.0Object-Oriented Programming in Haskell (deprecated, language, library, mit)2015-10-21mbg
mueval590.0Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2016-08-16ChrisDone, GwernBranwen
mulang90.0An intermediate language designed to perform advanced code analysis (language, library, program)2019-01-11flbulgarelli
nanopass20.0An EDSL for creating compilers using small passes and many intermediate representations. (bsd3, language, library, program)2022-02-11edemko
naver-translate40.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
netlist50.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl60.0Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-06AndyGill, GergoErdi, PhilipWeaver
nirum90.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-25hongminhee, nirum
nix-eval60.0Evaluate Haskell expressions using Nix to get packages (language, library)2019-06-28chriswarbo
nom30.0Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-10gabbay
nominal50.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2018-11-10PeterSelinger
nomyx-language50.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
nomyx-library10.0Library of rules for Nomyx (bsd3, language, library)2017-03-17CorentinDupont
ntha40.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
oberon030.0Oberon0 Compiler (language, library)2013-10-23MarcosViera
octopus60.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
omega30.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
operational-alacarte80.0A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-07EmilAxelsson
oplang60.0Stack-based esoteric programming language (compiler, compilers-interpreters, gpl, language, program)2022-08-12aionescu
optimusprime30.0A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-17JasonReich
org2anki60.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
pads-haskell120.0PADS data description language for Haskell. (language, library, mit)2019-06-10KarlCronburg
paragon240.0Paragon (bsd3, language, library, program)2012-07-11NiklasBroberg
pattern-matcher30.0A library for compiling pattern-matching to decision trees (bsd3, language, library)2019-06-19GuerricChupin
pec60.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
peggy160.0The Parser Generator for Haskell (bsd3, language, library)2013-01-30HideyukiTanaka, darkf
pgf230.0Bindings to the C version of the PGF runtime (language, lgpl, library)2021-05-03JohnCamilleri
phonetic-languages-basis170.0A basics of the phonetic-languages functionality. (game, language, library, math, mit)2022-09-13OleksandrZhabenko
phonetic-languages-common30.0A generalization of the uniqueness-periods-vector-common package. (language, library, mit)2020-11-26OleksandrZhabenko
phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints)40.0Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-12OleksandrZhabenko
phonetic-languages-constraints40.0Constraints to filter the needed permutations (language, library, math, mit)2020-11-26OleksandrZhabenko
phonetic-languages-constraints-array30.0Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2022-04-25OleksandrZhabenko
phonetic-languages-examples200.0A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-general40.0A generalization of the uniqueness-periods-vector-general functionality. (language, library, mit, phonetic-languages)2020-11-26OleksandrZhabenko
phonetic-languages-permutations30.0Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-20OleksandrZhabenko
phonetic-languages-permutations-array90.0Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2022-03-24OleksandrZhabenko
phonetic-languages-phonetics-basics420.0A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2022-09-13OleksandrZhabenko
phonetic-languages-plus120.0Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2022-05-31OleksandrZhabenko
phonetic-languages-properties70.0A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, language, library, mit, phonetic-languages)2021-02-02OleksandrZhabenko
phonetic-languages-rhythmicity210.0Allows to estimate the rhythmicity properties for the text (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap)2022-03-24OleksandrZhabenko
phonetic-languages-simplified-base320.0A basics of the phonetic-languages functionality that can be groupped. (game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-common120.0A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-05OleksandrZhabenko
phonetic-languages-simplified-examples-array720.0Helps 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-13OleksandrZhabenko
phonetic-languages-simplified-examples-common310.0Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array690.0Helps 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-14OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common210.0Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-09-14OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array370.0Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-lists-examples90.0Simplified and somewhat optimized version of the phonetic-languages-examples. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-simplified-properties-array430.0Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-common180.0Common functionality for 'with-tuples' and old version of properties. (game, language, library, math, mit)2022-09-13OleksandrZhabenko
phonetic-languages-simplified-properties-array-old10.0Some properties of the data related to rhythmicity. (game, language, library, math, mit)2022-05-31OleksandrZhabenko
phonetic-languages-simplified-properties-lists (deprecated in favor of phonetic-languages-simplified-properties-lists-double)70.0A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, deprecated, language, library, mit, phonetic-languages)2021-02-02OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double20.0A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-02OleksandrZhabenko
phonetic-languages-ukrainian60.0Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages)2020-11-28OleksandrZhabenko
phonetic-languages-ukrainian-array200.0Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages, program)2022-03-24OleksandrZhabenko
phonetic-languages-vector10.0A generalization of the functionality of the uniqueness-periods-vector package. (language, library, mit, phonetic-languages)2020-10-30OleksandrZhabenko
pisigma150.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
plural30.0Pluralize (bsd3, language, library)2018-06-07fresheyeball
polysemy1002.75Higher-order, low-boilerplate free monads. (bsd3, language, library)2021-11-23isovector, tek, TheMatten, KingoftheHomeless
polyseq (deprecated in favor of free-theorems-seq)30.0Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-06DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens40.0Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-28SimonHudon, bandali
powerpc70.0Tools for PowerPC programs. (bsd3, language, library)2010-03-10TomHawkins
prelude-edsl130.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
preprocess-haskell80.0Preprocess Haskell Repositories. (bsd3, language, library)2015-03-12bsummer4
preprocessor-tools120.0A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2018-05-05JesseTov
pro-abstract100.0Abstract syntax for writing documents (language, library, mpl)2022-03-07chris_martin
processor-creative-kit40.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
prolog90.0A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-25DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prolog-graph90.0A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-21MatthiasBartsch
prolog-graph-lib50.0Generating images of resolution trees for Prolog queries. (language, library, public-domain)2019-01-23DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prosidy42.25A simple language for writing documents. (language, library, mpl)2020-03-30jafc
prosidyc30.0A DSL for processing Prosidy documents. (language, library, mpl)2020-04-16jafc
purescript2822.5PureScript Programming Language Compiler (bsd3, language, library, program)2022-06-30PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-ast30.0PureScript Programming Language Abstract Syntax Tree (bsd3, language, library)2021-04-18hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl
purescript-cst280.0PureScript Programming Language Concrete Syntax Tree (bsd3, language, library)2022-02-26hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-tsd-gen30.0TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2019-06-21aratamizuki
pyffi20.0Call python inline from haskell (language, library, mit)2014-11-11russell91
pyfi30.0Call python inline from haskell (language, library, mit)2014-11-17russell91
qbe20.0Types and prettyprinter for the IL of the QBE compiler backend (bsd3, language, library)2022-07-10fgaz
quenya-verb60.0Quenya verb conjugator (agpl, language, library, program)2015-04-03kaashif
r-glpk-phonetic-languages-ukrainian-durations120.0Can be used to calculate the durations of the approximations of the Ukrainian phonemes. (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program)2022-03-24OleksandrZhabenko
rail-compiler-editor60.0Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-17bubuiic
raw-feldspar70.0Resource-Aware Feldspar (bsd3, language, library)2022-05-27EmilAxelsson
really-simple-xml-parser80.0A really simple XML parser (language, library, public-domain)2012-07-30KashyapChatamballi
recursors10.0Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-10JohnWiegley
refinery880.0Toolkit for building proof automation systems (bsd3, language, library)2021-04-09ReedMullanix
reflex-jsx32.0Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-24dackerman
register-machine-typelevel50.0A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-04kcsongor
reorder-expression120.0Reorder expressions in a syntax tree according to operator fixities. (language, library, mit)2021-04-26comp
resin70.0High performance variable binders (bsd2, language, library)2019-01-01CarterSchonwald
rope180.0Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-21EdwardKmett
rope-utf16-splay1200.0Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2022-01-14AlanZimmerman, OlleFredriksson
runtime-arbitrary40.0Runtime generation of Arbitrary values (language, library, public-domain)2016-11-12chriswarbo
satyros120.0Step-by-step SAT solver for educational purposes (language, library, mit)2021-11-14Ailrun
seal-module20.0Template Haskell support for global configuration data (bsd3, language, library)2010-11-08JoachimBreitner
semantic42.25Framework and service for analyzing and diffing untrusted code. (language, library, mit)2019-06-02patrick_thomson
sexp40.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
sexp-grammar310.0Invertible grammar combinators for S-expressions (bsd3, language, library)2021-10-10EugeneSmolanka, SergeyVinokurov
shady-gen50.0Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-30ConalElliott
shake-dhall100.0Dhall dependencies (bsd3, dhall, language, library)2020-08-26vmchale
she70.0A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-02ConorMcBride
shentong72.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
shivers-cfg70.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
shortcut90.0 (bsd3, language, library)2017-03-17CorentinDupont
show370.0'Show' instances for Lambdabot (language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit30.0A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-01ConorMcBride
sifflet180.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
sifflet-lib (deprecated in favor of sifflet)310.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
signals60.0Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-31mararon
simple-c-value10.0A simple C value type (bsd3, language, library)2012-04-04JonathanFischoff
simple-eval20.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-ltl50.0A simple LTL checker (bsd3, language, library)2019-04-22JohnWiegley
simple-sql-parser230.0A parser for SQL. (bsd3, database, language, library)2019-09-21JakeWheat
sized-types120.0Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-19AndyGill, GergoErdi, ryanglscott
sketch-frp-copilot180.0Sketch programming with Copilot (bsd3, embedded, language, library)2022-09-08JoeyHess
slot-lambda80.0Write lambdas without naming the parameters. (language, library, mit)2014-04-08ducis
smt-lib30.0Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-19TomHawkins
smt2-parser10.0A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2020-12-02liuyuxi
snaplet-lss (deprecated)20.0Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
snmp100.0SNMP protocol library (bsd3, language, library)2019-04-09chemist, andrewthad, chessai
spade70.0A simple programming and debugging environment. (gpl, ide, interpreter, language, library, program)2022-03-25sras
specialize-th80.0Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-08JonathanFischoff
spir-v30.0Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-16jophish
staticanalysis40.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
string-interpreter290.0Is used in the phonetic languages approach (e. g. in the recursive mode). (Ukrainian, language, library, mit, phonetic-languages)2022-09-13OleksandrZhabenko
stylish-cabal160.0Format Cabal files (bsd3, language, library, program)2019-02-09JudeTaylor
stylish-haskell3342.25Haskell code prettifier (bsd3, language, library, program)2022-04-27JasperVanDerJeugt
stylist110.0Apply CSS styles to a document tree. (language, library, mit)2022-08-15alcinnz
subleq-toolchain70.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
sugar-scheme20.0Sugar with Scheme (language, library, mit, text)2022-07-28jxv
sugarhaskell20.0Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-05SebastianErdweg
sunroof-compiler60.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples30.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server20.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
surjective70.0An output coverage checker (language, library, public-domain)2018-02-21gelisam
sv2v100.0SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2022-07-23zachjs
swearjure50.0Clojure without alphanumerics. (language, lgpl, program)2015-04-01hyPiRion
symantic100.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-12julm
symantic-grammar80.0Library for symantic grammars. (gpl, language, library)2019-06-17julm
symantic-lib60.0Symantics for common types. (gpl, language, library)2019-06-17julm
synt30.0Similar code analysis. (language, library, program)2014-11-23brentlintner
syntactic570.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2022-05-26AndersPersson, EmilAxelsson
syntax-trees70.0Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-01DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn20.0Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-30ByronJohnson
tal10.0An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-23sweirich
tempi60.0For representing musical tempi (bsd3, language, library)2021-09-29dktr0
tempus30.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
tensor-safe22.0Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-03leopiney
termination-combinators10.0Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-19MaxBolingbroke
tersmu80.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
text-register-machine60.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
th-alpha100.0Alpha equivalence for TH Exp (bsd3, language, library)2016-07-01jkarni
th-bang-compat130.0Compatibility for bang-type template (bsd3, language, library)2019-06-09KeiHibino
th-constraint-compat100.0Compatibility for type constraint template (bsd3, language, library)2017-10-07KeiHibino
th-data-compat302.0Compatibility for data definition template of TH (bsd3, language, library)2022-06-23KeiHibino
th-dict-discovery52.0Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-27isovector
th-instances20.0A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-02JonathanFischoff
th-lift1920.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2020-09-29IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
th-reify-compat190.0Compatibility for the result type of TH reify (bsd3, language, library)2018-08-26KeiHibino
th-strict-compat110.0Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-24igrep
thih30.0Typing Haskell In Haskell (bsd3, language, library, program)2008-04-04GwernBranwen, ocramz
to-haskell50.0A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-11ConalElliott
toml-parser72.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
tptp80.0Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-11EK
transformations40.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
traverse-code40.0General data structure lifting for Template Haskell (bsd3, language, library)2022-01-23dfeuer
trhsx (deprecated in favor of hsx)20.0Deprecated (bsd3, deprecated, language, library)2008-05-17GwernBranwen, NiklasBroberg
turkish-deasciifier60.0Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-22cattheory
type-of-html462.25High performance type driven html generation. (bsd3, html, language, library, text, web)2021-02-06knupfer
type-of-html-static100.0Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-02knupfer
type-settheory50.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
type-sub-th30.0Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-08JonathanFischoff
type-tree50.0Tree representations of datatypes (language, library, mit)2018-04-07JudeTaylor
typescript-docs70.0A documentation generator for TypeScript Definition files (language, mit, program)2014-01-07PhilFreeman
ukrainian-phonetics-basic220.0A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, syllable-segmentation)2020-12-05OleksandrZhabenko
ukrainian-phonetics-basic-array160.0A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation)2022-08-09OleksandrZhabenko
ukrainian-phonetics-basic-array-bytestring30.0A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2022-08-09OleksandrZhabenko
ukrainian-phonetics-common30.0A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetics)2022-02-19OleksandrZhabenko
unbound290.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unbound-generics492.0Support for programming with names and binders using GHC Generics (bsd3, language, library)2022-05-20AlekseyKliger
unbound-kind-generics30.0Support for programming with names and binders using kind-generics (bsd3, language, library)2019-09-10AlejandroSerrano
unification-fd452.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-26WrenThornton, WrenRomano
unipatterns150.0Helpers which allow safe partial pattern matching in lambdas (bsd3, language, library)2019-08-21ChrisPenner
uniqueness-periods20.0Can be used to produce the 'uniquenessPeriods' function and related functionality. (Ukrainian, language, library, mit, uniqueness-periods)2020-08-18OleksandrZhabenko
uniqueness-periods-general70.0Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions. (language, library, mit, uniqueness-periods)2020-08-18OleksandrZhabenko
uniqueness-periods-vector110.0Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-common80.0Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-examples420.0Usage examples for the uniqueness-periods-vector series of packages (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods)2021-02-02OleksandrZhabenko
uniqueness-periods-vector-filters50.0A library allows to change the structure of the 'RealFrac' function output. (data, game, language, library, math, mit, uniqueness-periods)2020-10-07OleksandrZhabenko
uniqueness-periods-vector-general200.0Some kind of the optimization approach to data inner structure. (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness)2020-11-12OleksandrZhabenko
uniqueness-periods-vector-properties160.0Metrices for the maximum element for the uniqueness-periods-vector packages family. (game, language, library, math, mit, phonetic-languages, syllable-segmentation)2021-02-02OleksandrZhabenko
universe-th50.0Construct a Dec's ancestor list. (bsd3, language, library)2012-03-08JonathanFischoff
unlit272.0Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-18wenkokke
unpacked-containers22.0Unpacked containers via backpack (bsd2, language, library, program)2018-04-06EdwardKmett
urldisp-happstack10.0Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-25SterlingClover
valid-names50.0Valid operator/module characters (language, library, mit)2013-12-29JoelTaylor
verifiable-expressions70.0An intermediate language for Hoare logic style verification. (apache, language, library)2021-06-16DominicOrchard, mdanish, madgen, raehik
verilog140.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
vhdl30.0VHDL AST and pretty printer (bsd3, language, library)2010-06-22ChristiaanBaaij
wasm52.25WebAssembly Language Toolkit and Interpreter (language, library, mit)2021-12-12irezvov
web-routes530.0portable, type-safe URL routing (bsd3, language, library, web)2022-04-20JeremyShaw
web-routes-boomerang310.0Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2022-04-20JeremyShaw
web-routes-generics70.0portable, type-safe URL routing (bsd3, language, library, web)2019-07-14JeremyShaw
web-routes-happstack420.0Adds support for using web-routes with Happstack (bsd3, language, library, web)2022-04-20JeremyShaw
web-routes-hsp310.0Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2022-04-20JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)30.0Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-15JeremyShaw
web-routes-regular50.0portable, type-safe URL routing (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-th270.0Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2022-04-20JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)40.0Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-04JeremyShaw
web-routes-wai260.0Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2022-04-20JeremyShaw
webidl30.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
while-lang-parser50.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
words50.0Cross-platform access to a list of words (bsd3, language, library)2011-10-10ChrisSmith
yabi-muno20.0Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-08L8D
z3-encoding30.0High-level assertion encoding to Z3 solver (language, library, mit)2016-07-05izgzhen
zabt40.0Simple-minded abstract binding trees (bsd3, language, library)2016-08-11JosephAbrahamson
zasni-gerna142.0lojban parser (zasni gerna) (bsd3, language, library)2019-10-24YoshikuniJujo
zephyr-copilot200.0Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2022-09-08JoeyHess
zeroth90.0ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-23DavidHimmelstrup, RobinGreen