Packages tagged language

723 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (653), bsd3 (439), program (222), mit (145), gpl (53), deprecated (45), phonetic-languages (31), math (30), game (26), Ukrainian (24), public-domain (24), web (23), compiler (20), embedded (20), compilers-interpreters (18), apache (16), development (15), data (13), text (12), formal-methods (10), hardware (9), .net (7), ffi (7), clr (6), concurrency (6), parser (6), sound (6), sox (6), code-generation (5), database (5), generics (5), parsing (5), phonetics (5), pretty-printer (5), source-tools (5), uniqueness (5), javascript (4), lgpl (4), speech-approximation (4), syllable-segmentation (4), uniqueness-periods (4), writing-systems (4), agpl (3), algorithmic-composition (3), ats (3), bsd2 (3), control (3), elm (3), foreign (3), mpl (3), music (3), pugs (3), speech-transformation (3), system (3), algorithms (2), aop (2), aspect-oriented-programming (2), bsd4 (2), compilers (2), configuration (2), dependent-types (2), dhall (2), dsl (2), effect (2), frp (2), general (2), html (2), io (2), json (2), jvm (2), lenses (2), logic (2), monads (2), mutable-state (2), optimization (2), polymorphism (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), c# (1), codec (1), coherency (1), cryptography (1), csharp (1), debug (1), disassembler (1), distribution (1), espeak (1), extremum-estimator (1), formal-languages (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ASN1110.0ASN.1 support for Haskell (bsd3, language, library)2008-06-22HerbertValerioRiedel
AspectAG1030.0Strongly typed Attribute Grammars implemented using type-level programming. (gpl, language, library)2020-07-07MarcosViera, jpgarcia
BASIC382.0Embedded BASIC (bsd3, language, library)2009-02-09LennartAugustsson
BNFC-meta1260.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-09JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
BiGUL212.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
CSPM-CoreLanguage530.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-FiringRules380.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Frontend640.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Interpreter550.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-cspm610.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-26MarcFontaine
CoreErlang260.0Manipulating Core Erlang source code (bsd3, language, library)2018-03-20AlexKropivny, HenriqueFerreiro
DTC130.0Data To Class transformation. (bsd3, language, library)2013-04-21DanielDiaz
DrHylo170.0A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-09HugoPacheco
Ebnf2ps500.0Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-26PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)1330.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
Eq (deprecated)150.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
Feval132.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)220.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
GTALib310.0A library for GTA programming (bsd3, language, library)2012-06-08KentoEmoto
Ganymede140.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
GoogleTranslate170.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GroteTrap400.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
HJScript570.0HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-18JeremyShaw, NiklasBroberg
HJVM60.0A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-15JeanPhilippeMoresmau
HJavaScript260.0HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-05NiklasBroberg
HsParrot220.0Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-15AudreyTang
HsPerl5490.0Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-15AudreyTang
ImperativeHaskell572.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Javasf (deprecated in favor of javasf)80.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)230.0A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-06TonyMorris
JsContracts190.0Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-15ArjunGuha
JsonGrammar880.0Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-07MartijnVanSteenbergen
LC3180.0LC-3 virtual machine (bsd3, language, program)2019-01-01DavidJohnson
LambdaCalculator160.0A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-29ThomasDuBuisson
LambdaPrettyQuote310.0Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-24JonathanFischoff
LibClang460.0Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-15ChetanTaralekar, deech
LslPlus590.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
MagicHaskeller1020.0Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2021-06-18SusumuKatayama
MicrosoftTranslator100.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
NXTDSL80.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
NanoProlog670.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)1060.0Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-26CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)210.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
Obsidian230.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
Ordinary210.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
Paraiso700.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
Plural140.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pugs1070.0A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-15AudreyTang, JeffShaw
SCRIPTWriter190.0ESCRIPT: a human friendly language for programming Bitcoin scripts (bitcoin, bsd3, language, library, program, script)2018-10-15RickKlomp
SNet70.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
Strafunski-Sdf2Haskell80.0Converts SDF to Haskell (bsd3, language, program)2013-05-03JamesKoppel
URLT (deprecated in favor of web-routes)60.0Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-16JeremyShaw
WebBits (deprecated in favor of language-ecmascript)670.0JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-10AndreyChudnov, ArjunGuha
WebBits-Html170.0JavaScript analysis tools (language, library)2010-02-01ArjunGuha
WebBits-multiplate100.0A Multiplate instance for JavaScript. (language, library, mit)2011-03-24BalazsEndresz
Wired230.0Wire-aware hardware description (bsd3, hardware, language, library)2014-05-06EmilAxelsson
XmlHtmlWriter152.0A library for writing XML and HTML (bsd3, language, library)2012-05-25MatthewMirman
abacate130.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
abt291.25Abstract binding trees for Haskell (language, library, mit)2015-01-11JonSterling
acl290.0Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-01TomHawkins
adtrees110.0Modelling, rendering and quantitative analysis on attack defense trees (gpl, language, library)2019-02-23umazalakain
alga (deprecated)140.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
algorithmic-composition-additional80.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)2021-03-01OleksandrZhabenko
algorithmic-composition-basic2310.0Helps to create experimental music from a file (or its part) and a Ukrainian text. (Ukrainian, algorithmic-composition, language, library, mit, music, sound, sox)2021-11-05OleksandrZhabenko
antimirov90.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
aop-prelude430.0prelude for Algebra of Programming (bsd3, language, library)2021-06-18KatsutoshiItoh
applicative-parsec90.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
applicative-quoters790.0Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-22BenMillwood
arduino-copilot2382.0Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2021-11-09JoeyHess
arghwxhaskell150.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
ariadne320.0Go-to-definition for Haskell (language, mit, program)2014-11-01RomanCheplyaka, manzyuk
array-forth350.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ast-monad100.0A library for constructing AST by using do-notation (bsd3, language, library)2017-04-27MasatoMouri
ast-monad-json110.0A library for writing JSON (bsd3, language, library)2017-04-29MasatoMouri
astview (deprecated)230.0A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-19SebastianMenge
astview-utils (deprecated)90.0Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-18SebastianMenge
aterm-utils270.0Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-18JasonDagit
atom3550.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atomo380.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
ats-format3170.0A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2019-11-30vmchale
axel240.0The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-03jgrosso256
bash170.0Bash generation library. (bsd3, language, library)2013-03-17JasonDusek
berp90.0An implementation of Python 3. (bsd3, language, library, program)2010-05-31BerniePope
bidirectionalization-combined60.0Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) (language, program, public-domain)2010-09-27JoachimBreitner
bighugethesaurus100.0API wrapper for Big Huge Thesaurus (api, language, library)2015-12-28TheKing
binary-literal-qq (deprecated)80.0Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-24MathieuBoespflug
birds-of-paradise230.0Birds of Paradise (bsd3, language, library)2021-06-18KatsutoshiItoh
bitcoin-scripting70.0Resources for working with miniscript, and script descriptors (bsd3, language, library)2021-06-29IanShipman
blanks340.0Fill-in-the-blanks - A library factoring out substitution from ASTs (bsd3, language, library)2020-11-04ejconlon
bond930.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2020-05-27sapek, chwarr, eduardo
bond-haskell-compiler130.0Bond code generator for Haskell (bsd3, language, library, program)2016-11-26blaze
boolsimplifier340.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
bound10502.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2021-11-07EdwardKmett, EricMertens, ryanglscott
bound-extras150.0ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2019-04-25phadej
bound-simple72.0A lightweight implementation of 'bound' (bsd3, language, library)2021-10-18ocramz
brain-bleep130.0primitive imperative language (bsd3, language, program)2019-05-22AlanHawkins
brainfuck-tut460.0A simple BF interpreter. (bsd3, language, library, program)2016-12-30alleledev
bricks170.0Bricks is a lazy functional language based on Nix. (apache, language, library)2018-02-10chris_martin
bricks-internal90.0... (apache, language, library)2018-02-10chris_martin
bricks-internal-test120.0... (apache, language, library)2018-02-10chris_martin
bricks-parsec90.0... (apache, language, library)2018-02-10chris_martin
bricks-rendering110.0... (apache, language, library)2018-02-10chris_martin
bricks-syntax100.0... (apache, language, library)2018-02-10chris_martin
brittany6570.0Haskell source code formatter (agpl, language, library, program)2021-11-28lspitzner, fozworth, dukerutledge
broker-haskell100.0Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-16DavidBanas
c-dsl180.0A higher level DSL on top of language-c (language, library, mit)2014-05-07jozefg
c0check140.0Simple C0 Syntax Check (language, program)2013-01-04DanielSeidel, JanisVoigtlaender
c0parser200.0Simple C0 Parser (language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats82.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
caledon532.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
call-alloy3110.0A simple library to call Alloy given a specification (language, library, mit)2021-09-17marcellus
camfort880.0CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program, verification)2021-10-09DominicOrchard, mdanish, madgen, raehik
cao80.0CAO Compiler (compiler, cryptography, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
cap60.0Interprets and debug the cap language. (bsd3, language, program)2008-09-28ThomasDavie
cdeps1000.0Extract dependencies from C code. (bsd3, c, development, language, library, program)2020-06-24vmchale
cg50.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
chalmers-lava2000580.0Hardware description EDSL (bsd3, hardware, language, library)2016-05-19EmilAxelsson
cil100.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
circ110.0A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-01TomHawkins
clang-compilation-database60.0JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-09AlekseyKliger
clang-pure550.0Pure C++ code analysis with libclang (apache, language, library)2020-01-31PatrickChilton
clash (deprecated in favor of clash-ghc)700.0CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-02ChristiaanBaaij
clogparse100.0Parse IRC logs such as the #haskell logs on tunes.org (bsd3, irc, language, library, text)2010-10-02KeeganMcAllister
clr-bindings150.0Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-host280.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-01PepeIborra, TimMatthews, moodmosaic
clr-inline180.0Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews, moodmosaic
clr-marshal240.0Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews, moodmosaic
clr-typed140.0A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-win-linker90.0A GHC linker wrapper tool to workaround a GHC >8.2 bug (.net, bsd3, clr, ffi, language, program)2017-04-25PepeIborra, TimMatthews
clua110.0C to Lua data wrapper generator (bsd3, language, program)2012-04-04TomSchouten
cmake-syntax90.0Parser for the CMake syntax (CMakeLists.txt and .cmake files) (bsd3, language, library)2019-08-030xd34df00d
cmonad260.0A library for C-like programming (bsd3, language, library)2009-03-29LennartAugustsson
co-feldspar50.0Hardware software co-design Feldspar (bsd3, language, library)2021-06-15mararon
codec-beam180.0Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-06hkgumbs
codo-notation160.0A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-22DominicOrchard
coformat130.0Generate clang-format config based on some existing code base (bsd3, language, library, program)2019-12-300xd34df00d
combinator-interactive220.0SKI Combinator interpreter (bsd3, language, library, program)2013-09-07FumiakiKinoshita
compilation160.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
compstrat190.0Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-24JamesKoppel
config-schema3082.0Schema definitions for the config-value package (language, library)2021-03-11EricMertens
config-value4642.5Simple, layout-based value language similar to YAML or JSON (language, library, mit)2020-11-29EricMertens
context-free-grammar230.0Basic algorithms on context-free grammars (bsd3, language, library)2021-05-29nedervold
control-dsl441.75An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-18yangbo
copilot5872.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-c993990.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc750.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-core7570.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-language4060.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries3120.0Libraries for the Copilot language. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-sbv660.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem1790.0k-induction for Copilot. (bsd3, embedded, language, library)2021-11-08IvanPerez, LeePike, agoodloe, frankdedden
core130.0External core parser and pretty printer. (bsd3, language, library)2009-04-08DavidHimmelstrup
core-compiler150.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
core-haskell310.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
cparsing80.0A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-16lazac
cryptol1210.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2021-10-05AaronTomb, IavorDiatchki
cspretty90.0AST and pretty printer for CSPm (bsd3, language, library)2016-11-30ccasin
css (deprecated)50.0Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-08
cube60.0Cubic DSL for 3D printing (bsd3, language, library)2015-04-15junjihashimoto
curry-base560.0Functions for manipulating Curry programs (bsd3, language, library)2019-11-22BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend970.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2021-02-11BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
data-reify1770.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2020-10-12AndyGill, ryanglscott
data-reify-cse150.0Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-08SebastiaanVisser
data-treify220.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection-)2014-03-18ConalElliott
deepl150.0Call DeepL to translate you files (bsd3, language, library, program, web)2021-04-16PaoloVeronelli
derive-gadt120.0Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-25MattMorrow
descript-lang110.0Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-20jakobeha
desert200.0a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-24zjhsdtc
dhall-lex160.0Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-25
dictparser390.0Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-10MarkWotton
dino70.0A convenient tagless EDSL (bsd3, language, library)2019-12-11EmilAxelsson
discokitty100.0DisCoCat implementation. (gpl, language, library)2019-05-13mroman42
djinn-ghc430.0Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-11AlejandroSerrano
djinn-lib410.0Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2018-05-15AlejandroSerrano
djinn-th100.0Generate executable Haskell code from a type (bsd3, language, library)2010-08-03ClaudeHeilandAllen
do-notation170.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)310.0An alternative to monads (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-02yangbo
dobutokO-poetry1230.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-general80.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-languages110.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
dobutokO24520.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
dove70.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
dovetail640.0A PureScript interpreter with a Haskell FFI. (bsd3, language, library)2021-11-18PhilFreeman
dovetail-aeson270.0Use Aeson from your Dovetail programs (bsd3, language, library)2021-11-13PhilFreeman
drmaa320.0A Haskell bindings to the DRMAA C library. (bsd3, language, library)2018-12-05kaizhang
ds-kanren140.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
each192.25Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2018-11-30dramforever, ice1000
ecma262100.0A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-12FabianBergmark
effective-aspects110.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-15IsmaelFigueroa
effective-aspects-mzv100.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
egison-pattern-src390.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-mode150.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-mode180.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-quote210.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
ehs150.0Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-15minpou
elm-bridge1012.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)110.0Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-13jeremondi
elm-compiler (deprecated)202.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-core-sources110.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
elm-get (deprecated in favor of elm-package)310.0Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-22EvanCzaplicki
elm-package (deprecated)280.0Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-reactor (deprecated)250.0Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-20EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)860.0Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-20EvanCzaplicki
elm-street380.0Crossing the road between Haskell and Elm (compiler, elm, language, library, mpl, program)2021-01-28shersh, vrom911, HolmuskTechTeam
elm-syntax590.0Elm syntax and pretty-printing (bsd3, compiler, elm, language, library)2021-10-27OliverCharles, OlleFredriksson, GeorgeThomas
elsa410.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2019-04-01ranjitjhala
enchant90.0Binding to the Enchant library (bsd3, language, library)2016-06-22kseo
ewe700.0An interpreter for EWE programming language (bsd3, language, program)2019-02-04JuanFranciscoCardonaMcCormick
exception-hierarchy390.0Exception type hierarchy with TemplateHaskell (bsd3, language, library)2020-10-01YoshikuniJujo
exference110.0Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-13lspitzner
explain110.0Show how expressions are parsed (language, mit, program)2014-01-13JoelTaylor
extcore772.0Libraries for processing GHC Core (bsd3, language, library)2013-04-21TimChevalier
fault-tree90.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
feldspar-language520.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
feldspar-signal120.0Signal Processing extension for Feldspar (bsd3, language, library)2015-06-11EmilAxelsson, mararon
first-class-instances60.0First class typeclass instances (bsd3, language, library)2020-02-02TheMatten
foma200.0Simple Haskell bindings for Foma. (language, library, mit)2021-01-28joom
formura120.0Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-04TakayukiMuranushi
forsyde-deep90.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-26ugeorge, ingo, JorRodolfo
forsyde-shallow440.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2021-03-19ugeorge, ingo, JorRodolfo
forth-hll (deprecated)100.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
fortran-src830.0Parsers and analyses for Fortran standards 66, 77, 90 and 95. (apache, language, library, program)2021-09-17DominicOrchard, mdanish, madgen, raehik
fortran-src-extras160.0Common functions and utils for fortran-src. (apache, language, library)2021-06-30raehik
fortran-vars50.0Fortran memory model and other static analysis tools. (apache, language, library, program)2021-09-06raehik
free-theorems430.0Automatic generation of free theorems. (language, library, public-domain)2013-02-08DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples120.0Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-14DanielSeidel, JanisVoigtlaender
free-theorems-seq100.0Taming Selective Strictness (language, library, public-domain)2011-03-11DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui160.0Taming Selective Strictness (language, program, public-domain)2011-03-30DanielSeidel, JanisVoigtlaender
free-theorems-webui270.0CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-18DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect240.0A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-21AndrewSeniuk
fresh160.0Introduce fresh variables into Haskell source code (language, library, mit)2012-01-03DavidLazar
frp-arduino200.0Arduino programming without the hassle of C. (gpl, language, library)2018-03-26RickardLindberg, JeremyWright
ft-generator140.0implementation accompanying a WFLP'19 paper (language, program)2019-08-29JanisVoigtlaender
ftshell210.0Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-12JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp110.0call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-08ltvanbinsbergen
funpat50.0A generalization of pattern matching (bsd3, language, library)2011-07-01GergelyDevai
gender170.0Identify a persons gender by their first name (language, lgpl, library, program)2013-02-16KraniumGikos
ghc-core-smallstep100.0A small-step semantics for Core (language, library, mit)2018-04-10JoachimBreitner
ghc-justdoit110.0A magic typeclass that just does it (language, library, mit)2018-10-11JoachimBreitner
ghc-options110.0Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-16ranjitjhala
ghc-parser1140.0Haskell source parser from GHC. (language, library, mit)2021-04-25gibiansky, VaibhavSagar
ghc-session290.0Simplified GHC API (language, library, mit, program)2016-02-18danilo2, PiotrMlodawski, iamrecursion
ghc-srcspan-plugin280.0Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-21EricSeidel
ghci-lib110.0A library for interactively evaluating Haskell code. (language, library, mit)2014-02-16gibiansky
ghci-websockets160.0A websocket server that survives GHCi reloads (bsd3, language, library)2019-07-16jfmueller
gimlh250.0Haskell parser for GIML (language, library, mit)2015-04-16gazay
global140.0Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-02ByronJohnson
goldplate360.0A lightweight golden test runner (apache, language, program)2021-05-24AndreasAbel, JasperVanDerJeugt
google-search170.0EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-31LiyangHu
graphql1132.25Haskell GraphQL implementation (language, library)2021-09-27jdnavarro, belka
graphql-w-persistent1252.0GraphQL interface middleware for SQL databases. (data, database, development, graphs, language, library)2020-09-18jasonsychau
hakaru460.0A probabilistic programming language (bsd3, language, library, program)2020-11-02pravnar, z
hanspell212.0Korean spell checker (korean, language, library, mit, program, spellchecker)2021-09-199beach
happstack-facebook (deprecated in favor of fb)420.0A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-06JeremyShaw
happy-dot110.0Parser for dot made with happy. (gpl, language, library)2019-12-21mgmillani
haquil200.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-05BrianBush
hardware-edsl210.0Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2021-06-15mararon
harp410.0HaRP allows pattern-matching with regular expressions (bsd3, language, library)2020-05-18DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
haskarrow90.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskell-brainfuck140.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
haskell-coffee150.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-exp-parser380.0Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2020-10-17EmilAxelsson
haskell-generate340.0Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-02BennoFuenfstueck
haskell-holes-th190.0Infer haskell code by given type. (language, library, mit)2019-08-24klntsky
haskell-lexer6840.0A fully compliant Haskell 98 lexer. (bsd3, language, library)2020-01-30IavorDiatchki
haskell-lsp-client162.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-names3022.25Name resolution library for Haskell (bsd3, language, library)2020-05-26AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster
haskell-rules110.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-src3210.0Support for manipulating Haskell source code (bsd3, language, library)2019-11-09AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts14122.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-observe50.0Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-17PepeIborra
haskell-src-exts-prisms90.0Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-07DanielWaterworth
haskell-src-exts-qq620.0A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-14MathieuBoespflug
haskell-src-exts-sc430.0Pretty print haskell code with comments (bsd3, language, library)2018-04-10achirkin
haskell-src-exts-util1220.0Helper functions for working with haskell-src-exts trees (bsd3, language, library)2019-04-11NeilMitchell, PepeIborra
haskell-src-meta8030.0Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2021-02-27BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)40.0Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-18MarkWotton
haskell-to-elm410.0Generate Elm types and JSON encoders and decoders from Haskell types (bsd3, compiler, elm, language, library)2021-03-09OlleFredriksson
haskell-tools-ast1330.0Haskell AST for efficient tooling (bsd3, language, library)2019-01-09lazac
haskell-tools-ast-fromghc80.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-gen110.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-trf70.0Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-05lazac
haskell-tools-backend-ghc290.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2019-01-09lazac
haskell-tools-builtin-refactorings180.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-cli1130.0Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2019-01-09lazac
haskell-tools-daemon980.0Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2019-01-09lazac
haskell-tools-debug1100.0Debugging Tools for Haskell-tools (bsd3, language, library, program)2019-01-09lazac
haskell-tools-demo1340.0A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2019-01-09lazac
haskell-tools-experimental-refactorings170.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-prettyprint470.0Pretty printing of Haskell-Tools AST (bsd3, language, library)2019-01-09lazac
haskell-tools-refactor390.0Refactoring Tool for Haskell (bsd3, language, library)2019-01-09lazac
haskell-tools-rewrite290.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2019-01-09lazac
haskell-type-exts100.0A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-02NiklasBroberg
haskell-typescript90.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskellish912.0For parsing Haskell-ish languages (bsd3, language, library)2021-02-19dktr0
haskelm190.0Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-25jeremondi
haskeme270.0Compiler from I- to S-Expressions for the Scheme Programming Language (bsd3, language, library, program)2019-07-18jumper149
haspell230.0Haskell bindings to aspell (language, library, mit)2013-08-26JoelTaylor
hbf250.0An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-04paraseba
hdis8690.0Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-28KeeganMcAllister
heap-console90.0interactively inspect Haskell values at runtime (bsd3, language, library)2020-11-21TheMatten
her-lexer160.0A lexer for Haskell source code. (language, library, public-domain)2012-09-06TimothyHobbs
her-lexer-parsec130.0Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-27TimothyHobbs
hermit890.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb100.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation-)2013-11-18AndrewFarmer
hexpr100.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
hfmt792.25Haskell source code formatter (language, library, mit, program)2021-09-07danielstiner
hgrep62.0Search Haskell source code from the command line (bsd3, language, library, program)2017-10-04TimHumphries
hierarchical-exceptions60.0Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-21BenjaminBarenblat
hindley-milner90.0Template for Hindley-Milner based languages (language, library, mit)2016-04-23mbg
hindley-milner-type-check60.0Type inference for Hindley-Milner based languages (language, library, mit)2021-06-08AntonKholomiov
hint8642.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2021-11-19gelisam, mvdan
hint-server580.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)100.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-06
hinterface820.0Haskell / Erlang interoperability library (bsd3, language, library)2020-11-30SvenHeyll, timo_koepke
hnock100.0A Nock interpreter. (language, library, mit, program)2019-10-01JaredTobin
ho-rewriting210.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-11EmilAxelsson
homplexity1061.25Haskell code quality tool (bsd3, language, library, program, tools)2020-03-05MichalGajda
hoop120.0Object-Oriented Programming in Haskell (language, library, mit)2020-07-04mbg
hopencc140.0Haskell binding to libopencc (bsd3, language, library)2019-10-06PaulMeng
hpython290.0Python language tools (bsd3, language, library, program)2019-05-02qfpl
hruby6010.0Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2021-11-30SimonMarechal
hs-gen-iface (deprecated)140.0Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-26AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector410.0Haskell source code analyzer (language, library, mit)2015-05-14flbulgarelli
hs-pattrans150.0DSL for musical patterns and transformation, based on contravariant functors. (bsd3, language, library, program)2020-02-12omelkonian
hs2ats1342.0Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2019-10-17vmchale
hs2dot270.0Generate graphviz-code from Haskell-code. (language, program)2010-08-15OscarFinnsson
hscolour5300.0Colourise Haskell code. (language, library, program)2017-11-30DonaldStewart, MalcolmWallace, phadej
hse-cpp242.0Preprocess+parse haskell code (language, library, mit)2016-10-06AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock340.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
hsp360.0Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-12GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp850.0SQL parser and type checker (bsd3, database, language, library)2019-07-08JakeWheat
hssqlppp-th130.0hssqlppp extras which need template-haskell (bsd3, database, language, library)2019-07-08JakeWheat
hswip50.0embedding prolog in haskell (foreign, language, library)2010-08-13EvgenyTarasov
hsx (deprecated in favor of hsx2hs)380.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-05NiklasBroberg
hsx2hs1090.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2020-05-19DavidFox, JeremyShaw, NiklasBroberg
htoml660.0Parser for TOML files (bsd3, configuration, data, json, language, library, parser, program, text)2016-11-07cies
htoml-megaparsec1450.0Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2021-02-23vmchale
hubris110.0Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-24MarkWotton
hunspell-hs132.0Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-27ashutoshrishi
husk-scheme2712.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs110.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hwhile392.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-07alexj136
hydrogen-cli190.0Hydrogen Data (language, mit, program)2015-01-08JulianFleischer
hydrogen-cli-args260.0Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-22JulianFleischer
hydrogen-data360.0Hydrogen Data (bsd3, language, library)2015-01-08JulianFleischer
hydrogen-multimap170.0Hydrogen Multimap (language, library, mit)2015-03-26JulianFleischer
hydrogen-parsing290.0Hydrogen Parsing Utilities (language, library, mit)2015-03-22JulianFleischer
hydrogen-prelude1290.0Hydrogen Prelude (language, library, mit)2015-03-26JulianFleischer
hydrogen-prelude-parsec160.0Hydrogen Prelude /w Parsec (language, library, mit)2015-03-22JulianFleischer
hydrogen-syntax530.0Hydrogen Syntax (bsd3, language, library)2015-03-22JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)260.0Hydrogen Tools (bsd3, deprecated, language, library)2014-12-16JulianFleischer
hydrogen-version340.0Hydrogen Version Type (language, library, mit)2015-03-26JulianFleischer
hypertypes160.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
ihs260.0Interpolated Haskell (language, program, public-domain)2018-12-12minad
imperative-edsl510.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)190.0Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-14mararon
imprevu100.0Reactive programming language based on a DSL (bsd3, language, library)2017-03-13CorentinDupont
imprevu-happstack50.0Imprevu support for Happstack (bsd3, language, library)2017-03-13CorentinDupont
improve1430.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
inch60.0A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-07AdamGundry
indexed-do-notation90.0Do notation for indexed monads (bsd3, language, library)2013-05-01FumiakiKinoshita
indian-language-font-converter70.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
indigo370.0Convenient imperative eDSL over Lorentz. (language, library, mit, program)2021-01-08gromak, pasqu4le, serokell, rinn7e
intensional-datatys90.0A GHC Core plugin for intensional datatype refinement checking (bsd3, language, library)2020-07-24eddiejones
interpol280.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
intrinsic-superclasses142.0A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-14dailectic
invertible-grammar750.0Invertible parsing combinators framework (bsd3, language, library)2021-10-10EugeneSmolanka
ion90.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
ipa171.5Internal Phonetic Alphabet (IPA) (bsd3, language, library)2021-06-14RoryTylerHayford
ivory522.25Safe embedded C programming. (bsd3, language, library)2019-04-05EricMertens, LeePike
ivory-artifact180.0Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-avr-atmega328p-registers50.0Ivory register bindings for the Atmega328p (bsd3, language, library)2020-11-19erdeszt
ivory-backend-c400.0Ivory C backend. (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-bitdata (deprecated in favor of ivory)90.0Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-26EricMertens, LeePike
ivory-examples240.0Ivory examples. (bsd3, language, program)2016-12-16EricMertens, LeePike
ivory-hw270.0Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-opts310.0Ivory compiler optimizations. (bsd3, language, library)2018-07-18EricMertens, LeePike
ivory-serialize170.0Serialization library for Ivory. (bsd3, language, library)2019-04-05EricMertens, LeePike
ivory-stdlib210.0Ivory standard library. (bsd3, language, library)2016-12-16EricMertens, LeePike
ixdopp170.0A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-23JesseTov
jarfind240.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-30EugeneKirpichov
jdi50.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jmacro1762.0QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2019-12-03GershomBazerman
js-good-parts360.0Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-20SeanSeefried
jsmw60.0Javascript Monadic Writer base package. (bsd3, language, library)2009-04-26DmitryGolubovsky
json-python120.0Call python inline from haskell (language, library, mit)2014-11-10russell91
jvm-binary580.0A library for reading Java class-files (java, jvm, language, library, mit)2021-05-12kalhauge
jvm-parser110.0A parser for JVM bytecode files (bsd3, language, library)2014-08-07KevinQuick, RobertDockins
kansas-lava290.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-06AndyGill, GergoErdi
kbq-gu70.0Rpoku spoken word programming language (language, program)2008-08-14AndriiZvorygin
kempe2602.0Kempe compiler (bsd3, compilers, language, library, program)2021-11-04vmchale
kuifje190.0A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-10martonbognar
kure920.0Combinators for Strategic Programming (bsd3, language, library)2021-04-04AndyGill, NeilSculthorpe
kure-your-boilerplate130.0Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-27AndyGill
lambda-calculator350.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2017-04-07sgillespie
lambda-calculus-interpreter80.0Lambda Calculus interpreter (bsd3, language, library, program)2018-09-12xeontem
lambda-placeholders92.0A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-29MatthewMirman
lambdaBase140.0 (language, library, mit)2015-05-05faleidel
lambdaLit120.0... (language, mit, program)2014-12-18faleidel
lang120.0A Lisp (agpl, language, library)2018-03-01Zaoqi
language-Modula2100.0Parser, pretty-printer, and more for the Modula-2 programming language (gpl, language, library, program)2020-11-11MarioBlazevic
language-asn170.0ASN.1 encoding and decoding (bsd3, language, library)2019-04-09andrewthad, chessai
language-asn1240.0Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-14DmitryAstapov
language-ats4462.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2021-01-18vmchale
language-bash840.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2020-04-23KyleRaftogianis
language-boogie130.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-c5522.0Analysis and generation of C code (bsd3, language, library)2020-12-20BenediktHuber, jophish
language-c-comments150.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-c-inline630.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
language-c-quote3700.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2021-04-29GeoffreyMainland, TroelsHenriksen
language-c99570.0An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2021-09-13frankdedden
language-c99-simple540.0C-like AST to simplify writing C99 programs. (language, library, mit)2019-05-12frankdedden
language-c99-util720.0Utilities for language-c99. (language, library, mit)2019-04-01frankdedden
language-cil310.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-csharp60.0C# source code manipulation (bsd3, c#, csharp, language, library)2019-05-10icysnowman55
language-css290.0CSS 2.1 syntax (bsd3, language, library)2020-05-14AntonKholomiov, tomjaguarpaw
language-dart112.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12sigrlami, kseo
language-dickinson1132.0A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2020-12-04vmchale
language-dot761.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2019-10-22BenGamari, BrianLewis
language-ecmascript1422.0JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-26AndreyChudnov, ArjunGuha, DavidJohnson
language-ecmascript-analysis70.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-eiffel130.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-fortran (deprecated in favor of fortran-src)300.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-gcl152.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-glsl1130.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-02VoMinhThu
language-go230.0A library for analysis and synthesis of Go code. (language, library)2011-02-06AndrewRobbins
language-guess170.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-java790.0Java source manipulation (bsd3, language, library)2018-03-08NiklasBroberg, VincentHanquez
language-java-classfile110.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
language-javascript6600.0Parser for JavaScript (bsd3, language, library)2020-03-22AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js180.0javascript parser for es6 and es7. (language, library, mit)2021-03-27diasbruno
language-kort100.0Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-18akrasner
language-lua1820.0Lua parser and pretty-printer (bsd3, language, library)2019-08-29EricMertens, OmerAgacan
language-lua-qq100.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
language-lua2270.0Lua parser and pretty printer (bsd3, language, library)2015-10-14mitchellwrosen
language-mixal90.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-ninja152.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-nix540.0Data types and functions to represent the Nix language (bsd3, distribution, language, library, nix)2019-09-21PeterSimons, sternenseemann, jophish, cdepillabout, maralorn
language-oberon320.0Parser, pretty-printer, and more for the Oberon programming language (gpl, language, library, program)2020-11-11MarioBlazevic
language-objc530.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-ocaml130.0Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-12Ptival
language-openscad310.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-pig310.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-python1210.0Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-12BerniePope
language-python-colour90.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-python-test320.0testing code for the language-python library (bsd3, language, program)2020-07-12BerniePope
language-qux300.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-rust282.25Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-22harpocrates
language-sally222.0AST and pretty printer for Sally (language, library)2017-08-01bjones
language-sh (deprecated)140.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-slice270.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sqlite150.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-sygus770.0A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2020-02-11WilliamHallahan
language-thrift1162.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2020-12-31PhilippHausmann, abhinav
language-tl170.0A Parser for the Type Language (bsd3, language, library)2020-06-04Poscat
language-typescript280.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
language-vhdl682.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2021-06-15mararon
language-webidl500.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
layout-rules210.0A collection of different layout implementations (bsd3, language, library)2020-01-01TrevorElliott
lens-toml-parser280.0Lenses for toml-parser (language, lenses, library)2020-05-06henrytill
lexer-applicative462.0Simple lexer based on applicative regular expressions (language, library, mit)2018-06-06RomanCheplyaka
lhs2TeX-hl840.0Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-15AlessandroVermeulen
lhs2tex1312.0Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2020-05-01AndresLoeh
libconfig140.0Haskell bindings to libconfig (bsd3, language, library)2015-04-29peddie
lift-generics1010.0GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2021-09-16ryanglscott
linkcore240.0Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-25TimChevalier
liquid-base370.0Drop-in base replacement for LiquidHaskell (bsd3, language, library)2021-06-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-bytestring150.0LiquidHaskell specs for the bytestring package (bsd3, language, library)2020-07-29AlfredoDiNapoli, ranjitjhala, nikivazou
liquid-containers190.0LiquidHaskell specs for the containers package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-fixpoint4590.0Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2021-11-05AlfredoDiNapoli, AndresLoeh, EricSeidel, ranjitjhala, niki
liquid-ghc-prim280.0Drop-in ghc-prim replacement for LiquidHaskell (bsd3, language, library)2021-06-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-parallel90.0LiquidHaskell specs for the parallel package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-platform170.0A battery-included platform for LiquidHaskell (bsd3, language)2020-08-25AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquid-prelude190.0General utility modules for LiquidHaskell (bsd3, language, library)2020-08-25AlfredoDiNapoli, ranjitjhala, nikivazou
liquid-vector140.0LiquidHaskell specs for the vector package (bsd3, language, library)2020-07-29AlfredoDiNapoli, AndresLoeh, ranjitjhala, nikivazou
liquidhaskell5202.25Liquid Types for Haskell (bsd3, language, library, program)2021-11-04AlfredoDiNapoli, AndresLoeh, EricSeidel, ranjitjhala, niki
located110.0Source location helpers (bsd3, language, library)2016-07-19TrevorElliott
lojban130.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
lojbanParser580.0lojban parser (bsd3, language, library, program)2014-08-16YoshikuniJujo
lojbanXiragan150.0lojban to xiragan (bsd3, language, library, program)2013-03-07YoshikuniJujo
lojysamban470.0Prolog with lojban (bsd3, language, program)2014-10-24YoshikuniJujo
lol-calculus70.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-typing90.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lorentz3080.0EDSL for the Michelson Language (language, library, mit)2021-12-02gromak, pasqu4le, serokell
lss (deprecated)90.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
ltl60.0Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-19TomHawkins
lua-bc190.0Lua bytecode parser (language, library, mit)2016-12-07EricMertens
luka150.0Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-29JinjingWang
luthor130.0Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-25ZankokuOkuno
mathista (deprecated)90.0A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-11seiya
maude400.0An interface to the Maude rewriting system. (language, library, mit)2012-07-09DavidLazar
mcm222.0Machine Configuration Manager (gpl, language, program, system, text)2018-11-03AnthonyDoggett
mcmc-synthesis290.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
mecha410.0A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-11TomHawkins
melody60.0A functional scripting language (language, library, mit, program)2014-01-10jozefg
meta-misc130.0Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-02ByronJohnson
mi50.0Multiple Instance for Haskell (language, library, mit)2014-02-28matt
mida (deprecated)130.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
mikrokosmos390.0Lambda calculus interpreter (gpl, language, program)2018-08-01mroman42
miniforth150.0Miniature FORTH-like interpreter (language, library, mit, program)2015-03-08L8D
ministg190.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
ml-w80.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
mmsyn2-array530.0A library that can be used for multiple Ord a => a -> b transformations. (binary-search, data, development, language, library, mit)2021-10-31OleksandrZhabenko
mmsyn2-hashable90.0A library that can be used for multiple Hashable a => a -> b transformations. (data, development, language, library, mit)2021-10-31OleksandrZhabenko
mmsyn6ukr2230.0A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, speech-approximation)2020-11-07OleksandrZhabenko
mmsyn6ukr-array1750.0A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, tts)2021-11-05OleksandrZhabenko
mmsyn7h1510.0Produces a sound recording specified by the Ukrainian text. (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice)2020-12-03OleksandrZhabenko
mmsyn7s1140.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
mmsyn7ukr3010.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-common310.0Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. (Ukrainian, language, library, mit, sound, sox)2021-01-15OleksandrZhabenko
modelicaparser80.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
modulespection620.0Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-02JonathanFischoff
modulo290.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
morley5710.0Developer tools for the Michelson Language (language, library, mit, program)2021-12-02gromak, pasqu4le, serokell
morley-upgradeable90.0Upgradeability infrastructure based on Morley. (language, library, mit, program)2021-04-02pasqu4le
morloc50.0A multi-lingual, typed, workflow language (code-generation, compiler, gpl, language, library, program)2020-11-06arendsee
msgpack-idl210.0An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-30HerbertValerioRiedel, HideyukiTanaka
msh (deprecated in favor of hoop)150.0Object-Oriented Programming in Haskell (deprecated, language, library, mit)2015-10-21mbg
mueval1440.0Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2016-08-16ChrisDone, GwernBranwen
mulang300.0An intermediate language designed to perform advanced code analysis (language, library, program)2019-01-11flbulgarelli
naver-translate180.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
netlist160.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl260.0Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-06AndyGill, GergoErdi, PhilipWeaver
nirum440.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-25hongminhee, nirum
nix-eval270.0Evaluate Haskell expressions using Nix to get packages (language, library)2019-06-28chriswarbo
nom120.0Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-10gabbay
nominal190.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2018-11-10PeterSelinger
nomyx-language100.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
nomyx-library110.0Library of rules for Nomyx (bsd3, language, library)2017-03-17CorentinDupont
ntha70.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
oberon0160.0Oberon0 Compiler (language, library)2013-10-23MarcosViera
octopus140.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
omega130.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
operational-alacarte250.0A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-07EmilAxelsson
optimusprime100.0A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-17JasonReich
org2anki90.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
pads-haskell170.0PADS data description language for Haskell. (language, library, mit)2019-06-10KarlCronburg
paragon1180.0Paragon (bsd3, language, library, program)2012-07-11NiklasBroberg
pattern-matcher70.0A library for compiling pattern-matching to decision trees (bsd3, language, library)2019-06-19GuerricChupin
pec120.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
peggy540.0The Parser Generator for Haskell (bsd3, language, library)2013-01-30HideyukiTanaka, darkf
pgf2120.0Bindings to the C version of the PGF runtime (language, lgpl, library)2021-05-03JohnCamilleri
phonetic-languages-common70.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)70.0Constraints to filter the needed permutations (deprecated, language, library, math, mit, phonetic-languages)2020-11-12OleksandrZhabenko
phonetic-languages-constraints100.0Constraints to filter the needed permutations (language, library, math, mit)2020-11-26OleksandrZhabenko
phonetic-languages-constraints-array190.0Constraints to filter the needed permutations (language, library, math, mit, phonetic-languages)2020-12-31OleksandrZhabenko
phonetic-languages-examples230.0A generalization of the uniqueness-periods-vector-examples functionality. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-02-02OleksandrZhabenko
phonetic-languages-general90.0A generalization of the uniqueness-periods-vector-general functionality. (language, library, mit, phonetic-languages)2020-11-26OleksandrZhabenko
phonetic-languages-permutations80.0Commonly used versions of the phonetic-languages-common package (game, language, library, math, mit, phonetic-languages)2020-11-20OleksandrZhabenko
phonetic-languages-permutations-array360.0Permutations and universal set related functions for the phonetic-languages series (game, language, library, math, mit, phonetic-languages)2021-10-02OleksandrZhabenko
phonetic-languages-phonetics-basics350.0A library for working with generalized phonetic languages usage. (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems)2021-09-04OleksandrZhabenko
phonetic-languages-plus290.0Some common shared between different packages functions. (game, language, library, math, mit, phonetic-languages, program)2021-10-23OleksandrZhabenko
phonetic-languages-properties110.0A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, language, library, mit, phonetic-languages)2021-02-02OleksandrZhabenko
phonetic-languages-rhythmicity430.0Allows to estimate the rhythmicity properties for the text (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap)2021-08-24OleksandrZhabenko
phonetic-languages-simplified-base1550.0A basics of the phonetic-languages functionality. (game, language, library, math, mit, phonetic-languages)2021-11-05OleksandrZhabenko
phonetic-languages-simplified-common150.0A simplified version of the phonetic-languages-functionality (game, language, library, math, mit, phonetic-languages)2020-12-05OleksandrZhabenko
phonetic-languages-simplified-examples-array8400.0Helps to create Ukrainian texts with the given phonetic properties. (Ukrainian, game, language, library, math, mit, phonetic-languages, program)2021-11-08OleksandrZhabenko
phonetic-languages-simplified-examples-common280.0Some commonly used by phonetic-languages-simplified* series functions. (Ukrainian, game, language, library, math, mit, phonetic-languages)2021-10-31OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-array450.0Helps to create texts with the given phonetic properties (e. g. poetic). (espeak, game, ipa, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2021-10-23OleksandrZhabenko
phonetic-languages-simplified-generalized-examples-common130.0Some common code for phonetic languages generalized functionality. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2021-10-09OleksandrZhabenko
phonetic-languages-simplified-generalized-properties-array230.0Some 'properties' of the phonetic languages approach text. (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems)2021-10-04OleksandrZhabenko
phonetic-languages-simplified-lists-examples130.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-array2660.0Some properties of the data related to rhythmicity. (Ukrainian, game, language, library, math, mit, phonetic-languages)2021-11-05OleksandrZhabenko
phonetic-languages-simplified-properties-lists (deprecated in favor of phonetic-languages-simplified-properties-lists-double)100.0A generalization of the uniqueness-periods-vector-properties package. (Ukrainian, deprecated, language, library, mit, phonetic-languages)2021-02-02OleksandrZhabenko
phonetic-languages-simplified-properties-lists-double60.0A generalization of the uniqueness-periods-vector-properties package. (language, library, math, mit)2021-02-02OleksandrZhabenko
phonetic-languages-ukrainian120.0Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages)2020-11-28OleksandrZhabenko
phonetic-languages-ukrainian-array340.0Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages, program)2021-10-31OleksandrZhabenko
phonetic-languages-vector50.0A generalization of the functionality of the uniqueness-periods-vector package. (language, library, mit, phonetic-languages)2020-10-30OleksandrZhabenko
pisigma250.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
plural90.0Pluralize (bsd3, language, library)2018-06-07fresheyeball
polysemy10602.75Higher-order, low-boilerplate free monads. (bsd3, language, library)2021-11-23isovector, tek, TheMatten, KingoftheHomeless
polyseq (deprecated in favor of free-theorems-seq)110.0Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-06DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens50.0Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-28SimonHudon, bandali
powerpc140.0Tools for PowerPC programs. (bsd3, language, library)2010-03-10TomHawkins
prelude-edsl350.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
preprocess-haskell150.0Preprocess Haskell Repositories. (bsd3, language, library)2015-03-12bsummer4
preprocessor-tools540.0A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2018-05-05JesseTov
processor-creative-kit90.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
prolog350.0A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-25DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prolog-graph200.0A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-21MatthiasBartsch
prolog-graph-lib270.0Generating images of resolution trees for Prolog queries. (language, library, public-domain)2019-01-23DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
prosidy182.25A simple language for writing documents. (language, library, mpl)2020-03-30jafc
prosidyc190.0A DSL for processing Prosidy documents. (language, library, mpl)2020-04-16jafc
purescript10432.5PureScript Programming Language Compiler (bsd3, language, library, program)2021-10-23PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-ast450.0PureScript Programming Language Abstract Syntax Tree (bsd3, language, library)2021-04-18hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl
purescript-cst820.0PureScript Programming Language Concrete Syntax Tree (bsd3, language, library)2021-08-25hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm
purescript-tsd-gen230.0TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2019-06-21aratamizuki
pyffi90.0Call python inline from haskell (language, library, mit)2014-11-11russell91
pyfi120.0Call python inline from haskell (language, library, mit)2014-11-17russell91
quenya-verb110.0Quenya verb conjugator (agpl, language, library, program)2015-04-03kaashif
r-glpk-phonetic-languages-ukrainian-durations2810.0Can be used to calculate the durations of the approximations of the Ukrainian phonemes. (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program)2021-11-05OleksandrZhabenko
rail-compiler-editor120.0Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-17bubuiic
raw-feldspar250.0Resource-Aware Feldspar (bsd3, language, library)2021-08-28EmilAxelsson
really-simple-xml-parser120.0A really simple XML parser (language, library, public-domain)2012-07-30KashyapChatamballi
recursors100.0Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-10JohnWiegley
refinery3130.0Toolkit for building proof automation systems (bsd3, language, library)2021-04-09ReedMullanix
reflex-jsx122.0Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-24dackerman
register-machine-typelevel90.0A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-04kcsongor
reorder-expression100.0Reorder expressions in a syntax tree according to operator fixities. (language, library, mit)2021-04-26comp
resin430.0High performance variable binders (bsd2, language, library)2019-01-01CarterSchonwald
rope260.0Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-21EdwardKmett
rope-utf16-splay3940.0Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2021-02-06AlanZimmerman, OlleFredriksson
runtime-arbitrary90.0Runtime generation of Arbitrary values (language, library, public-domain)2016-11-12chriswarbo
satyros7050.0Step-by-step SAT solver for educational purposes (language, library, mit)2021-11-14Ailrun
seal-module120.0Template Haskell support for global configuration data (bsd3, language, library)2010-11-08JoachimBreitner
semantic82.25Framework and service for analyzing and diffing untrusted code. (language, library, mit)2019-06-02patrick_thomson
sexp120.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
sexp-grammar2100.0Invertible grammar combinators for S-expressions (bsd3, language, library)2021-10-10EugeneSmolanka, SergeyVinokurov
shady-gen100.0Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-30ConalElliott
shake-dhall230.0Dhall dependencies (bsd3, dhall, language, library)2020-08-26vmchale
she110.0A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-02ConorMcBride
shentong152.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
shivers-cfg160.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
shortcut100.0 (bsd3, language, library)2017-03-17CorentinDupont
show630.0'Show' instances for Lambdabot (language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit70.0A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-01ConorMcBride
sifflet850.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
sifflet-lib (deprecated in favor of sifflet)680.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
signals190.0Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-31mararon
simple-c-value110.0A simple C value type (bsd3, language, library)2012-04-04JonathanFischoff
simple-eval110.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-ltl170.0A simple LTL checker (bsd3, language, library)2019-04-22JohnWiegley
simple-sql-parser1000.0A parser for SQL. (bsd3, database, language, library)2019-09-21JakeWheat
sized-types360.0Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-19AndyGill, GergoErdi, ryanglscott
slot-lambda190.0Write lambdas without naming the parameters. (language, library, mit)2014-04-08ducis
smt-lib200.0Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-19TomHawkins
smt2-parser100.0A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2020-12-02liuyuxi
snaplet-lss (deprecated)90.0Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
snmp510.0SNMP protocol library (bsd3, language, library)2019-04-09chemist, andrewthad, chessai
specialize-th140.0Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-08JonathanFischoff
spir-v180.0Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-16jophish
staticanalysis70.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
string-interpreter340.0Is used in the phonetic languages approach (e. g. in the recursive mode). (Ukrainian, language, library, mit, phonetic-languages)2021-10-09OleksandrZhabenko
stylish-cabal530.0Format Cabal files (bsd3, language, library, program)2019-02-09JudeTaylor
stylish-haskell16802.25Haskell code prettifier (bsd3, language, library, program)2021-09-15JasperVanDerJeugt
stylist380.0Apply CSS styles to a document tree. (language, library, mit)2020-12-31alcinnz
subleq-toolchain140.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
sugarhaskell110.0Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-05SebastianErdweg
sunroof-compiler120.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples100.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server150.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
surjective100.0An output coverage checker (language, library, public-domain)2018-02-21gelisam
sv2v140.0SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2021-10-02zachjs
swearjure90.0Clojure without alphanumerics. (language, lgpl, program)2015-04-01hyPiRion
symantic200.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-12julm
symantic-grammar120.0Library for symantic grammars. (gpl, language, library)2019-06-17julm
symantic-lib220.0Symantics for common types. (gpl, language, library)2019-06-17julm
synt70.0Similar code analysis. (language, library, program)2014-11-23brentlintner
syntactic2720.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2021-04-15AndersPersson, EmilAxelsson
syntax-trees160.0Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-01DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn60.0Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-30ByronJohnson
tal50.0An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-23sweirich
tempi230.0For representing musical tempi (bsd3, language, library)2021-09-29dktr0
tempus110.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
tensor-safe142.0Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-03leopiney
termination-combinators80.0Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-19MaxBolingbroke
tersmu160.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
text-register-machine130.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
th-alpha300.0Alpha equivalence for TH Exp (bsd3, language, library)2016-07-01jkarni
th-bang-compat150.0Compatibility for bang-type template (bsd3, language, library)2019-06-09KeiHibino
th-constraint-compat210.0Compatibility for type constraint template (bsd3, language, library)2017-10-07KeiHibino
th-data-compat702.0Compatibility for data definition template of TH (bsd3, language, library)2019-08-07KeiHibino
th-dict-discovery102.0Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-27isovector
th-instances110.0A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-02JonathanFischoff
th-lift10450.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2020-09-29IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
th-reify-compat340.0Compatibility for the result type of TH reify (bsd3, language, library)2018-08-26KeiHibino
th-strict-compat140.0Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-24igrep
thih50.0Typing Haskell In Haskell (bsd3, language, library, program)2008-04-04GwernBranwen
to-haskell90.0A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-11ConalElliott
toml-parser122.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
tptp390.0Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2021-01-11EK
transformations210.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
trhsx (deprecated in favor of hsx)130.0Deprecated (bsd3, deprecated, language, library)2008-05-17GwernBranwen, NiklasBroberg
turkish-deasciifier100.0Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-22cattheory
type-of-html1992.25High performance type driven html generation. (bsd3, html, language, library, text, web)2021-02-06knupfer
type-of-html-static150.0Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-02knupfer
type-settheory320.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
type-sub-th100.0Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-08JonathanFischoff
type-tree210.0Tree representations of datatypes (language, library, mit)2018-04-07JudeTaylor
typescript-docs190.0A documentation generator for TypeScript Definition files (language, mit, program)2014-01-07PhilFreeman
ukrainian-phonetics-basic430.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-array2300.0A library to work with the basic Ukrainian phonetics and syllable segmentation. (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation)2021-11-05OleksandrZhabenko
unbound970.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unbound-generics1012.0Support for programming with names and binders using GHC Generics (bsd3, language, library)2020-05-11AlekseyKliger
unbound-kind-generics70.0Support for programming with names and binders using kind-generics (bsd3, language, library)2019-09-10AlejandroSerrano
unification-fd1102.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
unipatterns110.0Helpers which allow safe partial pattern matching in lambdas (bsd3, language, library)2019-08-21ChrisPenner
uniqueness-periods150.0Can be used to produce the 'uniquenessPeriods' function and related functionality. (Ukrainian, language, library, mit, uniqueness-periods)2020-08-18OleksandrZhabenko
uniqueness-periods-general100.0Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions. (language, library, mit, uniqueness-periods)2020-08-18OleksandrZhabenko
uniqueness-periods-vector150.0Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-common130.0Generalization of the dobutokO-poetry-general package functionality (game, language, library, math, mit, uniqueness)2020-10-14OleksandrZhabenko
uniqueness-periods-vector-examples520.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-filters90.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-general260.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-properties220.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-th180.0Construct a Dec's ancestor list. (bsd3, language, library)2012-03-08JonathanFischoff
unlit532.0Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-18wenkokke
unpacked-containers152.0Unpacked containers via backpack (bsd2, language, library, program)2018-04-06EdwardKmett
urldisp-happstack80.0Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-25SterlingClover
valid-names140.0Valid operator/module characters (language, library, mit)2013-12-29JoelTaylor
verifiable-expressions360.0An intermediate language for Hoare logic style verification. (apache, language, library)2021-06-16DominicOrchard, mdanish, madgen, raehik
verilog620.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
vhdl120.0VHDL AST and pretty printer (bsd3, language, library)2010-06-22ChristiaanBaaij
web-routes1460.0portable, type-safe URL routing (bsd3, language, library, web)2019-11-18JeremyShaw
web-routes-boomerang600.0Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2016-06-09JeremyShaw
web-routes-generics140.0portable, type-safe URL routing (bsd3, language, library, web)2019-07-14JeremyShaw
web-routes-happstack860.0Adds support for using web-routes with Happstack (bsd3, language, library, web)2020-10-24JeremyShaw
web-routes-hsp730.0Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)150.0Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-15JeremyShaw
web-routes-regular330.0portable, type-safe URL routing (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-th890.0Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2020-05-18JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)120.0Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-04JeremyShaw
web-routes-wai860.0Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2018-01-30JeremyShaw
webidl80.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
while-lang-parser90.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
words120.0Cross-platform access to a list of words (bsd3, language, library)2011-10-10ChrisSmith
yabi-muno150.0Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-08L8D
z3-encoding100.0High-level assertion encoding to Z3 solver (language, library, mit)2016-07-05izgzhen
zabt230.0Simple-minded abstract binding trees (bsd3, language, library)2016-08-11JosephAbrahamson
zasni-gerna292.0lojban parser (zasni gerna) (bsd3, language, library)2019-10-24YoshikuniJujo
zeroth200.0ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-23DavidHimmelstrup, RobinGreen