Packages tagged language

548 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (480), bsd3 (360), program (175), mit (72), gpl (57), deprecated (38), public-domain (23), web (20), embedded (18), compiler (16), compilers-interpreters (13), apache (12), development (9), formal-methods (9), text (9), data (8), .net (7), ffi (7), hardware (7), lgpl (7), clr (6), concurrency (6), source-tools (5), benchmark (4), code-generation (4), database (4), generics (4), javascript (4), math (4), ats (3), foreign (3), parser (3), parsing (3), pugs (3), reflection (3), system (3), agpl (2), aop (2), aspect-oriented-programming (2), bsd2 (2), bsd4 (2), configuration (2), frp (2), json (2), lenses (2), monads (2), optimization (2), transformation (2), visual-programming (2), algebra (1), algorithms (1), api (1), build (1), control (1), cryptography (1), debug (1), dependent-types (1), disassembler (1), distribution (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ASN1 (deprecated)270.0ASN.1 support for Haskell (bsd3, deprecated, language, library)2008-06-22DominicSteinitz
BASIC742.0Embedded BASIC (bsd3, language, library)2009-02-09LennartAugustsson
BiGUL352.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
CSPM-CoreLanguage870.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-FiringRules770.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Frontend1300.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Interpreter1160.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-cspm1200.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-26MarcFontaine
CoreErlang290.0Manipulating Core Erlang source code (bsd3, language, library)2015-09-18AlexKropivny, HenriqueFerreiro
DTC360.0Data To Class transformation. (bsd3, language, library)2013-04-21DanielDiaz
DrHylo230.0A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-09HugoPacheco
Ebnf2ps950.0Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-26PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)4790.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
Eq (deprecated)730.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
Feval212.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
ForSyDe340.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2010-06-25AlfonsoAcosta, HoseinAttarzadeh, ugeorge
GLM300.0Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-09LyndonMaydwell
GTALib690.0A library for GTA programming (bsd3, language, library)2012-06-08KentoEmoto
Ganymede310.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
GoogleTranslate470.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GroteTrap710.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
HJScript1000.0HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-18JeremyShaw, NiklasBroberg
HJVM160.0A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-15JeanPhilippeMoresmau
HJavaScript370.0HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-05NiklasBroberg
HsParrot460.0Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-15AudreyTang
HsPerl5590.0Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-15AudreyTang
ImperativeHaskell1012.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Javasf (deprecated in favor of javasf)100.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)390.0A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-06TonyMorris
JsContracts360.0Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-15ArjunGuha
JsonGrammar1200.0Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-07MartijnVanSteenbergen
LambdaCalculator460.0A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-29ThomasDuBuisson
LambdaPrettyQuote480.0Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-24JonathanFischoff
LibClang860.0Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-15ChetanTaralekar, deech
LslPlus1760.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
MagicHaskeller1780.0Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2017-08-05SusumuKatayama
MicrosoftTranslator180.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
NXTDSL440.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
NanoProlog1210.0Very small interpreter for a Prolog-like language (bsd3, language, library, program)2011-12-22DoaitseSwierstra, JurrienStutterheim, joaopizani
Nomyx-Language2160.0Language to express rules for Nomic (bsd3, language, library)2015-03-26CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)450.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
Obsidian550.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
Ordinary380.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
Paraiso1380.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
Plural230.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pugs2280.0A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-15AudreyTang, JeffShaw
SNet80.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
Strafunski-Sdf2Haskell200.0Converts SDF to Haskell (bsd3, language, program)2013-05-03JamesKoppel
TTTAS800.0Typed Transformations of Typed Abstract Syntax (language, lgpl, library)2015-04-16MarcosViera
URLT (deprecated in favor of web-routes)240.0Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-16JeremyShaw
WebBits (deprecated in favor of language-ecmascript)1040.0JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-10AndreyChudnov, ArjunGuha
WebBits-Html310.0JavaScript analysis tools (language, lgpl, library)2010-02-01ArjunGuha
WebBits-multiplate110.0A Multiplate instance for JavaScript. (language, library, mit)2011-03-24BalazsEndresz
Wired560.0Wire-aware hardware description (bsd3, hardware, language, library)2014-05-06EmilAxelsson
XmlHtmlWriter222.0A library for writing XML and HTML (bsd3, language, library)2012-05-25MatthewMirman
abacate100.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
abt431.25Abstract binding trees for Haskell (language, library, mit)2015-01-11JonSterling
acl2240.0Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-01TomHawkins
alga (deprecated)420.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
antimirov90.0Define the language containment (=subtyping) relation on regulare expressions. (gpl, language, library, math, program)2009-01-30RickKaudewitz
applicative-parsec100.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
applicative-quoters780.0Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-22BenMillwood
arghwxhaskell160.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
ariadne590.0Go-to-definition for Haskell (language, mit, program)2014-11-01RomanCheplyaka, manzyuk
array-forth520.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ast-monad90.0A library for constructing AST by using do-notation (bsd3, language, library)2017-04-27MasatoMouri
ast-monad-json140.0A library for writing JSON (bsd3, language, library)2017-04-29MasatoMouri
astview (deprecated)480.0A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-19SebastianMenge
astview-utils (deprecated)80.0Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-18SebastianMenge
aterm-utils350.0Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-18JasonDagit
atom2120.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atomo920.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
ats-format6990.0A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2018-02-08vmchale
bash940.0Bash generation library. (bsd3, language, library)2013-03-17JasonDusek
berp220.0An implementation of Python 3. (bsd3, language, library, program)2010-05-31BerniePope
bidirectionalization-combined170.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, gpl, language, library)2015-12-28TheKing
binary-literal-qq (deprecated)90.0Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-24MathieuBoespflug
blip290.0Python to bytecode compiler. (bsd3, language, program)2013-06-21BerniePope
bond1050.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2017-10-24sapek, chwarr, eduardo
bond-haskell-compiler680.0Bond code generator for Haskell (bsd3, language, library, program)2016-11-26blaze
boolsimplifier450.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
bound3222.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2017-07-29EdwardKmett, EricMertens, ryanglscott
brain-bleep70.0primitive imperative language (bsd3, language, program)2017-01-15AlanHawkins
brainfuck-tut740.0A simple BF interpreter. (bsd3, language, library, program)2016-12-30alleledev
bricks430.0Bricks is a lazy functional language based on Nix. (apache, language, library)2018-02-10chris_martin
bricks-internal230.0... (apache, language, library)2018-02-10chris_martin
bricks-internal-test210.0... (apache, language, library)2018-02-10chris_martin
bricks-parsec220.0... (apache, language, library)2018-02-10chris_martin
bricks-rendering240.0... (apache, language, library)2018-02-10chris_martin
bricks-syntax220.0... (apache, language, library)2018-02-10chris_martin
brittany570.0Haskell source code formatter (agpl, language, library)2018-02-14lspitzner
broker-haskell110.0Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-16DavidBanas
c-dsl330.0A higher level DSL on top of language-c (language, library, mit)2014-05-07jozefg
c0check280.0Simple C0 Syntax Check (gpl, language, program)2013-01-04DanielSeidel, JanisVoigtlaender
c0parser260.0Simple C0 Parser (gpl, language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats112.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
caledon732.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
camfort1170.0CamFort - Cambridge Fortran infrastructure (apache, language, library, program)2017-07-26DominicOrchard, madgen
cao210.0CAO Compiler (compiler, cryptography, gpl, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
cap230.0Interprets and debug the cap language. (bsd3, language, program)2008-09-28ThomasDavie
cg100.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
chalmers-lava20001190.0Hardware description EDSL (bsd3, hardware, language, library)2016-05-19EmilAxelsson
cil440.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
circ440.0A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-01TomHawkins
clang-compilation-database140.0JSON Compilation Database Format encoding and decoding (language, library, mit)2017-10-16AlekseyKliger
clang-pure670.0Pure C++ code analysis with libclang (apache, language, library)2016-11-14PatrickChilton
clash (deprecated in favor of clash-ghc)1300.0CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-02ChristiaanBaaij
clogparse130.0Parse IRC logs such as the #haskell logs on tunes.org (bsd3, irc, language, library, text)2010-10-02KeeganMcAllister
clr-bindings200.0Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-host340.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews
clr-inline260.0Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews
clr-marshal250.0Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-typed180.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
clua310.0C to Lua data wrapper generator (bsd3, language, program)2012-04-04TomSchouten
cmonad350.0A library for C-like programming (bsd3, language, library)2009-03-29LennartAugustsson
codo-notation270.0A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-22DominicOrchard
combinator-interactive290.0SKI Combinator interpreter (bsd3, language, library, program)2013-09-07FumiakiKinoshita
compilation260.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
compstrat300.0Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-24JamesKoppel
config-schema902.0Schema definitions for the config-value package (language, library)2017-06-02EricMertens
config-value1612.25Simple, layout-based value language similar to YAML or JSON (language, library, mit)2017-05-27EricMertens
context-free-grammar220.0Basic algorithms on context-free grammars (bsd3, language, library)2015-04-02nedervold
copilot2300.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-c99950.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-cbmc900.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-core810.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-language1170.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-libraries780.0Libraries for the Copilot language. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-sbv970.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-theorem130.0k-induction for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
core450.0External core parser and pretty printer. (bsd3, language, library)2009-04-08DavidHimmelstrup
core-compiler390.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
core-haskell380.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
cparsing100.0A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-16lazac
cryptol1110.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2017-07-25AaronTomb, AdamFoltzer, IavorDiatchki, TrevorElliott
cspretty110.0AST and pretty printer for CSPm (bsd3, language, library)2016-11-30ccasin
css (deprecated)170.0Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-08
cube140.0Cubic DSL for 3D printing (bsd3, language, library)2015-04-15junjihashimoto
curry-base950.0Functions for manipulating Curry programs (bsd3, language, library)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend1140.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
data-reify950.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2015-05-19AndyGill, ryanglscott
data-reify-cse140.0Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-08SebastiaanVisser
data-treify330.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2014-03-18ConalElliott
derive-gadt210.0Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-25MattMorrow
desert350.0a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-24zjhsdtc
dictparser590.0Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-10MarkWotton
djinn-ghc1940.0Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-11AlejandroSerrano
djinn-lib1690.0Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2014-08-19AlejandroSerrano
djinn-th90.0Generate executable Haskell code from a type (bsd3, language, library)2010-08-03ClaudeHeilandAllen
dove80.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
drmaa300.0A minimal Haskell bindings to DRMAA C library. (bsd3, language, library)2017-03-18kaizhang
ds-kanren180.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
each202.0Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2017-02-06dramforever
ecma26290.0A ECMA-262 interpreter library (bsd2, language, library, program)2014-12-12FabianBergmark
effective-aspects90.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-15IsmaelFigueroa
effective-aspects-mzv150.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-quote260.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
ehs250.0Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-15minpou
elm-bridge1092.0Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2018-02-15AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)150.0Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-13jeremondi
elm-compiler (deprecated)230.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-core-sources170.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
elm-get (deprecated in favor of elm-package)580.0Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-22EvanCzaplicki
elm-package (deprecated)450.0Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-reactor (deprecated)430.0Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-20EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)1310.0Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-20EvanCzaplicki
elsa260.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2017-04-11ranjitjhala
enchant90.0Binding to the Enchant library (bsd3, language, library)2016-06-22kseo
ewe950.0A language for teaching simple programming languages (bsd3, language, program)2015-08-11JuanFranciscoCardonaMcCormick
exception-hierarchy180.0Exception type hierarchy with TemplateHaskell (bsd3, language, library)2015-11-24YoshikuniJujo
exference120.0Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-13lspitzner
explain160.0Show how expressions are parsed (language, mit, program)2014-01-13JoelTaylor
extcore962.0Libraries for processing GHC Core (bsd3, language, library)2013-04-21TimChevalier
fault-tree70.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
feldspar-language670.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
feldspar-signal150.0Signal Processing extension for Feldspar (bsd3, language, library)2015-06-11EmilAxelsson, mararon
foma110.0Simple Haskell bindings for Foma. (language, library, mit)2015-06-23joom
formura110.0Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-04TakayukiMuranushi
forsyde-shallow420.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2018-01-18ugeorge
forth-hll (deprecated)140.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
fortran-src610.0Parser and anlyses for Fortran standards 66, 77, 90. (apache, language, library, program)2017-07-24DominicOrchard, madgen
free-theorems440.0Automatic generation of free theorems. (language, library, public-domain)2013-02-08DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples230.0Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-14DanielSeidel, JanisVoigtlaender
free-theorems-seq80.0Taming Selective Strictness (language, library, public-domain)2011-03-11DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui210.0Taming Selective Strictness (language, program, public-domain)2011-03-30DanielSeidel, JanisVoigtlaender
free-theorems-webui370.0CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-18DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect340.0A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-21AndrewSeniuk
fresh150.0Introduce fresh variables into Haskell source code (language, library, mit)2012-01-03DavidLazar
frp-arduino270.0Arduino programming without the hassle of C. (gpl, language, library)2015-01-29RickardLindberg
ftshell240.0Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-12JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funpat90.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-justdoit280.0A magic typeclass that just does it (language, library, mit)2018-02-02JoachimBreitner
ghc-options170.0Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-16ranjitjhala
ghc-parser880.0Haskell source parser from GHC. (language, library, mit)2017-12-24gibiansky, VaibhavSagar
ghc-session370.0Simplified GHC API (language, library, mit, program)2016-02-18danilo2, PiotrMlodawski
ghc-srcspan-plugin400.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
gimlh260.0Haskell parser for GIML (language, library, mit)2015-04-16gazay
global200.0Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-02ByronJohnson
google-search230.0EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-31LiyangHu
hakaru520.0A probabilistic programming language (bsd3, language, library, program)2017-06-16pravnar, z
happstack-facebook (deprecated in favor of fb)520.0A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-06JeremyShaw
haquil80.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2017-12-19BrianBush
hardware-edsl240.0Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2017-11-20mararon
harp800.0HaRP allows pattern-matching with regular expressions (bsd3, language, library)2017-09-03DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
haskarrow90.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskell-brainfuck150.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
haskell-coffee200.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-exp-parser170.0Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2015-11-02EmilAxelsson
haskell-generate670.0Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-02BennoFuenfstueck
haskell-holes-th140.0Infer haskell code by given type. (language, library, mit)2017-12-10klntsky
haskell-lexer1730.0A fully compliant Haskell 98 lexer. (bsd3, language, library)2016-08-22IavorDiatchki
haskell-lsp-client210.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-names2570.0Name resolution library for Haskell (bsd3, language, library)2018-02-01AdamBergmark, RomanCheplyaka, PhilippSchuster, shersh
haskell-rules100.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-src1110.0Support for manipulating Haskell source code (bsd3, language, library)2015-01-24ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts11082.5Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2017-12-11AdamBergmark, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering
haskell-src-exts-observe60.0Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-17PepeIborra
haskell-src-exts-prisms120.0Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-07DanielWaterworth
haskell-src-exts-qq660.0A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-14MathieuBoespflug
haskell-src-exts-sc680.0Pretty print haskell code with comments (bsd3, language, library)2018-01-31achirkin
haskell-src-exts-util2930.0Helper functions for working with haskell-src-exts trees (bsd3, language, library)2018-01-18PepeIborra
haskell-src-meta5040.0Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2018-01-10BenMillwood, GeoffreyMainland, JonasDuregard, MattMorrow
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)110.0Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-18MarkWotton
haskell-tools-ast1640.0Haskell AST for efficient tooling (bsd3, language, library)2018-01-12lazac
haskell-tools-ast-fromghc170.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-gen210.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-trf240.0Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-05lazac
haskell-tools-backend-ghc1340.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2018-01-12lazac
haskell-tools-builtin-refactorings480.0Refactoring Tool for Haskell (bsd3, language, library)2018-01-12lazac
haskell-tools-cli1270.0Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2018-01-12lazac
haskell-tools-daemon1020.0Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2018-01-12lazac
haskell-tools-debug1100.0Debugging Tools for Haskell-tools (bsd3, language, library, program)2018-01-12lazac
haskell-tools-demo1760.0A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2018-01-12lazac
haskell-tools-experimental-refactorings330.0Refactoring Tool for Haskell (bsd3, language, library)2018-01-12lazac
haskell-tools-prettyprint1430.0Pretty printing of Haskell-Tools AST (bsd3, language, library)2018-01-12lazac
haskell-tools-refactor1490.0Refactoring Tool for Haskell (bsd3, language, library)2018-01-12lazac
haskell-tools-rewrite1230.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2018-01-12lazac
haskell-type-exts100.0A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-02NiklasBroberg
haskell-typescript110.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskelm340.0Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-25jeremondi
haspell230.0Haskell bindings to aspell (language, library, mit)2013-08-26JoelTaylor
hdis86170.0Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-28KeeganMcAllister
her-lexer160.0A lexer for Haskell source code. (language, library, public-domain)2012-09-06TimothyHobbs
her-lexer-parsec70.0Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-27TimothyHobbs
hermit1040.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb130.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)2013-11-18AndrewFarmer
hexpr90.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
hfmt570.0Haskell source code formatter (language, library, mit, program)2018-01-11danielstiner
hgrep172.0Search Haskell source code from the command line (bsd3, language, library, program)2017-10-04TimHumphries
hierarchical-exceptions190.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
hint4562.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2017-06-13mvdan
hint-server770.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinterface260.0Haskell / Erlang interoperability library (bsd3, language, library)2017-04-28SvenHeyll, timo_koepke
hjugement190.0Majority Judgment. (gpl, language, library)2017-08-08julm
ho-rewriting150.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2015-11-05EmilAxelsson
homplexity621.25Haskell code quality tool (bsd3, language, program, tools)2016-07-26MichalGajda
hopencc90.0Haskell binding to libopencc (bsd3, language, library)2012-10-18PaulMeng
hruby2120.0Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2017-12-26SimonMarechal
hs-gen-iface (deprecated)150.0Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-26AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector480.0Haskell source code analyzer (language, library, mit)2015-05-14flbulgarelli
hs2ats2700.0Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2018-02-12vmchale
hs2dot310.0Generate graphviz-code from Haskell-code. (language, program)2010-08-15OscarFinnsson
hscolour5080.0Colourise Haskell code. (language, lgpl, library, program)2017-11-30DonaldStewart, MalcolmWallace
hse-cpp222.0Preprocess+parse haskell code (language, library, mit)2016-10-06AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock560.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
hsp1770.0Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-12GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp950.0SQL parser and type checker (bsd3, database, language, library)2017-08-05JakeWheat
hssqlppp-th170.0hssqlppp extras which need template-haskell (bsd3, database, language, library)2017-08-05JakeWheat
hswip80.0embedding prolog in haskell (foreign, gpl, language, library)2010-08-13EvgenyTarasov
hsx (deprecated in favor of hsx2hs)1430.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-05NiklasBroberg
hsx2hs1350.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2018-01-30DavidFox, JeremyShaw, NiklasBroberg
htirage160.0Equiprobable draw from publicly verifiable random data. (gpl, language, library)2017-08-07julm
htoml1050.0Parser for TOML files (benchmark, bsd3, configuration, data, json, language, library, parser, text)2016-11-07cies
htoml-megaparsec1200.0Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2018-01-12vmchale
hubris200.0Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-24MarkWotton
husk-scheme3420.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2016-07-10JustinEthier
husk-scheme-libs90.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hwhile342.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2018-01-17alexj136
hydrogen-cli200.0Hydrogen Data (language, mit, program)2015-01-08JulianFleischer
hydrogen-cli-args420.0Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-22JulianFleischer
hydrogen-data410.0Hydrogen Data (bsd3, language, library)2015-01-08JulianFleischer
hydrogen-multimap220.0Hydrogen Multimap (language, library, mit)2015-03-26JulianFleischer
hydrogen-parsing310.0Hydrogen Parsing Utilities (language, library, mit)2015-03-22JulianFleischer
hydrogen-prelude1540.0Hydrogen Prelude (language, library, mit)2015-03-26JulianFleischer
hydrogen-prelude-parsec160.0Hydrogen Prelude /w Parsec (language, library, mit)2015-03-22JulianFleischer
hydrogen-syntax760.0Hydrogen Syntax (bsd3, language, library)2015-03-22JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)380.0Hydrogen Tools (bsd3, deprecated, language, library)2014-12-16JulianFleischer
hydrogen-version420.0Hydrogen Version Type (language, library, mit)2015-03-26JulianFleischer
ihs550.0Interpolated Haskell (language, program, public-domain)2018-02-05minad
imperative-edsl300.0Deep embedding of imperative programs with code generation (bsd3, language, library)2017-11-07AndersPersson, EmilAxelsson, mararon
imperative-edsl-vhdl (deprecated in favor of hardware-edsl)200.0Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-14mararon
imprevu70.0Reactive programming language based on a DSL (bsd3, language, library)2017-03-13CorentinDupont
imprevu-happstack70.0Imprevu support for Happstack (bsd3, language, library)2017-03-13CorentinDupont
improve1760.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
inch140.0A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-07AdamGundry
indexed-do-notation80.0Do notation for indexed monads (bsd3, language, library)2013-05-01FumiakiKinoshita
indian-language-font-converter210.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
interpol330.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
intrinsic-superclasses412.0A quasiquoter for better instance deriving and default methods (language, library, mit)2018-01-27dailectic
ion50.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
ivory422.0Safe embedded C programming. (bsd3, language, library)2017-08-11LeePike
ivory-artifact270.0Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-16LeePike
ivory-backend-c320.0Ivory C backend. (bsd3, language, library)2017-08-11LeePike
ivory-bitdata (deprecated in favor of ivory)100.0Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-26LeePike
ivory-examples410.0Ivory examples. (bsd3, language, program)2016-12-16LeePike
ivory-hw350.0Ivory hardware model (STM32F4). (bsd3, language, library)2016-12-16LeePike
ivory-opts370.0Ivory compiler optimizations. (bsd3, language, library)2016-12-16LeePike
ivory-serialize240.0Serialization library for Ivory. (bsd3, language, library)2016-12-16LeePike
ivory-stdlib290.0Ivory standard library. (bsd3, language, library)2016-12-16LeePike
ixdopp240.0A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-23JesseTov
jarfind280.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, gpl, language, library, program, utils)2012-10-30EugeneKirpichov
jdi100.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jmacro1912.0QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2016-05-27GershomBazerman, SterlingClover
js-good-parts450.0Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-20SeanSeefried
jsmw110.0Javascript Monadic Writer base package. (bsd3, language, library)2009-04-26DmitryGolubovsky
json-python270.0Call python inline from haskell (language, library, mit)2014-11-10russell91
jvm-binary150.0A library for reading Java class-files (java, language, library, mit)2017-09-28kalhauge
jvm-parser100.0A parser for JVM bytecode files (bsd3, language, library)2014-08-07RobertDockins
kansas-lava260.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2016-12-21AndyGill, GergoErdi
kbq-gu160.0Rpoku spoken word programming language (gpl, language, program)2008-08-14AndriiZvorygin
kure1840.0Combinators for Strategic Programming (bsd3, language, library)2015-09-15AndyGill, NeilSculthorpe
kure-your-boilerplate140.0Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-27AndyGill
lambda-calculator380.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2017-04-07sgillespie
lambda-placeholders82.0A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-29MatthewMirman
lambdaBase130.0 (language, library, mit)2015-05-05faleidel
lambdaLit220.0... (language, mit, program)2014-12-18faleidel
language-asn1290.0Parsing of ASN1 definitions (bsd3, language, library)2010-08-13DmitryAstapov
language-ats8550.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2018-02-12vmchale
language-bash700.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2017-04-01KyleRaftogianis
language-boogie210.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-c3180.0Analysis and generation of C code (bsd3, language, library)2017-11-25BenediktHuber
language-c-comments210.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-c-inline820.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
language-c-quote3570.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2017-07-25GeoffreyMainland
language-cil360.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-css260.0CSS 2.1 syntax (bsd3, language, library)2012-03-23AntonKholomiov
language-dart172.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12kseo
language-dot771.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2016-05-13BenGamari, BrianLewis
language-ecmascript2170.0JavaScript parser and pretty-printer library (bsd3, language, library)2017-07-11AndreyChudnov, ArjunGuha
language-ecmascript-analysis290.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-eiffel220.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-fortran (deprecated in favor of fortran-src)470.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-gcl150.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-glsl1250.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2017-07-16VoMinhThu
language-go340.0A library for analysis and synthesis of Go code. (gpl, language, library)2011-02-06AndrewRobbins
language-guess270.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-java940.0Manipulating Java source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2015-11-27NiklasBroberg, VincentHanquez
language-java-classfile160.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
language-javascript4430.0Parser for JavaScript (bsd3, language, library)2017-06-07AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js540.0javascript parser for es6 and es7. (bsd3, language, library)2018-01-25diasbruno
language-kort90.0Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-18akrasner
language-lua2260.0Lua parser and pretty-printer (benchmark, bsd3, language, library)2016-08-25EricMertens, OmerAgacan
language-lua-qq70.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
language-lua2470.0Lua parser and pretty printer (bsd3, language, library)2015-10-14mitchellwrosen
language-mixal100.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-ninja182.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-nix410.0Data types and useful functions to represent and manipulate the Nix language. (bsd3, distribution, language, library, nix)2016-05-27PeterSimons
language-objc610.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-openscad350.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-pig470.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-python1380.0Parsing and pretty printing of Python code. (bsd3, language, library)2016-07-30BerniePope
language-python-colour60.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-python-test360.0testing code for the language-python library (bsd3, language, program)2016-07-30BerniePope
language-qux400.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-sally282.0AST and pretty printer for Sally (language, library)2017-08-01bjones
language-sh (deprecated)180.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-slice320.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sqlite170.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-thrift1532.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2016-09-25abhinav
language-typescript340.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
language-vhdl732.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2017-10-03mararon
language-webidl610.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
layout-rules170.0A collection of different layout implementations (bsd3, language, library)2017-03-21TrevorElliott
lens-toml-parser240.0Lenses for toml-parser (language, lenses, library)2017-10-07henrytill
lexer-applicative570.0Simple lexer based on applicative regular expressions (language, library, mit)2015-08-09RomanCheplyaka
lhs2TeX-hl1240.0Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-15AlessandroVermeulen
lhs2tex1370.0Preprocessor for typesetting Haskell sources with LaTeX (development, gpl, language, program)2017-09-29AndresLoeh
libconfig190.0Haskell bindings to libconfig (bsd3, language, library)2015-04-29peddie
lift-generics370.0GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2017-12-06ryanglscott
linkcore340.0Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-25TimChevalier
liquid-fixpoint1820.0Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2018-02-15EricSeidel, ranjitjhala, niki
liquidhaskell2082.25Liquid Types for Haskell (bsd3, language, library, program)2018-02-15EricSeidel, ranjitjhala, niki
located170.0Source location helpers (bsd3, language, library)2016-07-19TrevorElliott
lojban390.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
lojbanParser650.0lojban parser (bsd3, language, library, program)2014-08-16YoshikuniJujo
lojbanXiragan140.0lojban to xiragan (bsd3, language, library, program)2013-03-07YoshikuniJujo
lojysamban660.0Prolog with lojban (bsd3, language, program)2014-10-24YoshikuniJujo
lol-calculus90.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-typing130.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lss (deprecated)110.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
ltl110.0Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-19TomHawkins
lua-bc450.0Lua bytecode parser (language, library, mit)2016-12-07EricMertens
luka220.0Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-29JinjingWang
luthor260.0Tools for lexing and utilizing lexemes that integrate with Parsec. (bsd3, language, library, text)2015-11-25ZankokuOkuno
mathista80.0A small programming language for numerical computing (language, library, program, public-domain)2015-10-11seiya
maude500.0An interface to the Maude rewriting system. (language, library, mit)2012-07-09DavidLazar
mcm152.0Manages the contents of files and directories (gpl, language, program, system, text)2017-01-19AnthonyDoggett
mcmc-synthesis460.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
mecha600.0A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-11TomHawkins
melody110.0A functional scripting language (language, library, mit, program)2014-01-10jozefg
meta-misc190.0Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-02ByronJohnson
mi110.0Multiple Instance for Haskell (language, library, mit)2014-02-28matt
mida (deprecated)580.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
mikrokosmos410.0Lambda calculus interpreter (gpl, language, program)2017-08-15mroman42
miniforth130.0Miniature FORTH-like interpreter (language, library, mit, program)2015-03-08L8D
ministg210.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
ml-w140.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
modelicaparser90.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
modulespection880.0Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-02JonathanFischoff
modulo790.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
msgpack-idl230.0An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-30HideyukiTanaka
msh230.0Object-Oriented Programming in Haskell (language, library, mit)2015-10-21mbg
mueval2010.0Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2016-08-16ChrisDone, GwernBranwen
mulang240.0An intermediate language designed to perform advanced code analysis (gpl, language, library, program)2018-01-04flbulgarelli
naver-translate240.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
netlist140.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl280.0Convert a Netlist AST to VHDL (bsd3, language, library)2015-02-12AndyGill, GergoErdi, PhilipWeaver
nirum450.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-02-17hongminhee
nix-eval360.0Evaluate Haskell expressions using Nix to get packages (gpl, language, library)2016-11-12chriswarbo
nomyx-language100.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
nomyx-library100.0Library of rules for Nomyx (bsd3, language, library)2017-03-17CorentinDupont
ntha250.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
oberon0140.0Oberon0 Compiler (language, lgpl, library)2013-10-23MarcosViera
octopus280.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-alacarte390.0A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-07EmilAxelsson
optimusprime200.0A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-17JasonReich
org2anki140.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
paragon1200.0Paragon (bsd3, language, library, program)2012-07-11NiklasBroberg
pec440.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
peggy1390.0The Parser Generator for Haskell (bsd3, language, library)2013-01-30HideyukiTanaka, darkf
pisigma370.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
polyseq (deprecated in favor of free-theorems-seq)280.0Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-06DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens90.0Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-28aminb, SimonHudon
powerpc160.0Tools for PowerPC programs. (bsd3, language, library)2010-03-10TomHawkins
prelude-edsl490.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
preprocess-haskell180.0Preprocess Haskell Repositories. (bsd3, language, library)2015-03-12bsummer4
preprocessor-tools770.0A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2013-01-23JesseTov
processor-creative-kit60.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
prolog150.0A Prolog interpreter written in Haskell. (language, library, public-domain)2012-06-22DanielSeidel, JanisVoigtlaender, MatthiasBartsch
prolog-graph190.0A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-21MatthiasBartsch
prolog-graph-lib130.0Generating images of resolution trees for Prolog queries. (language, library, public-domain)2012-06-23DanielSeidel, JanisVoigtlaender, MatthiasBartsch
purescript10012.5PureScript Programming Language Compiler (bsd3, language, library, program)2017-11-15PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre
pyffi60.0Call python inline from haskell (language, library, mit)2014-11-11russell91
pyfi180.0Call python inline from haskell (language, library, mit)2014-11-17russell91
quenya-verb170.0Quenya verb conjugator (agpl, language, library, program)2015-04-03kaashif
rail-compiler-editor170.0Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-17bubuiic
raw-feldspar220.0Resource-Aware Feldspar (bsd3, language, library)2016-11-30EmilAxelsson
readpyc200.0Read and pretty print Python bytecode (.pyc) files. (bsd3, language, program)2013-06-21BerniePope
really-simple-xml-parser280.0A really simple XML parser (language, library, public-domain)2012-07-30KashyapChatamballi
recursors110.0Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-10JohnWiegley
reflex-jsx102.0Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-24dackerman
register-machine-typelevel100.0A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-04kcsongor
resin390.0High performance variable binders (bsd2, language, library)2017-07-24CarterSchonwald
rope760.0Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-21EdwardKmett
rope-utf16-splay450.0Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2018-02-11OlleFredriksson
runtime-arbitrary140.0Runtime generation of Arbitrary values (language, library, public-domain)2016-11-12chriswarbo
seal-module190.0Template Haskell support for global configuration data (bsd3, language, library)2010-11-08JoachimBreitner
sexp240.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
sexp-grammar610.0Invertible parsers for S-expressions (benchmark, bsd3, language, library)2017-02-03EugeneSmolanka, SergeyVinokurov
shady-gen100.0Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-30ConalElliott
she520.0A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-02ConorMcBride
shentong212.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
shivers-cfg190.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
shortcut90.0 (bsd3, language, library)2017-03-17CorentinDupont
show1080.0'Show' instances for Lambdabot (gpl, language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit220.0A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-01ConorMcBride
sifflet1030.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
sifflet-lib (deprecated in favor of sifflet)910.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
signals210.0Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-31mararon
simple-c-value100.0A simple C value type (bsd3, language, library)2012-04-04JonathanFischoff
simple-eval170.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-sql-parser540.0A parser for SQL queries (bsd3, database, language, library)2017-08-05JakeWheat
sized-types380.0Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-19AndyGill, GergoErdi, ryanglscott
slot-lambda230.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
snaplet-lss (deprecated)100.0Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
specialize-th150.0Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-08JonathanFischoff
spir-v270.0Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-16jophish
staticanalysis190.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
stylish-haskell6052.0Haskell code prettifier (bsd3, language, library, program)2018-01-03JasperVanDerJeugt
subleq-toolchain180.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
sugarhaskell120.0Library-based syntactic extensibility for Haskell (code-generation, gpl, language, program, source-tools)2012-10-05SebastianErdweg
sunroof-compiler100.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples200.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server140.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
swearjure110.0Clojure without alphanumerics. (language, lgpl, program)2015-04-01hyPiRion
symantic470.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2018-02-14julm
symantic-grammar460.0Library for symantic grammars. (gpl, language, library)2018-02-14julm
symantic-lib380.0Symantics for common types. (gpl, language, library)2018-02-14julm
synt230.0Similar code analysis. (language, library, program)2014-11-23brentlintner
syntactic2900.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2017-10-03AndersPersson, EmilAxelsson
syntax-trees170.0Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-01DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn100.0Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-30ByronJohnson
tal90.0An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-23sweirich
tempus70.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
termination-combinators80.0Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-19MaxBolingbroke
tersmu140.0A semantic parser for lojban (gpl, language, program)2015-10-24mbays
text-register-machine360.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
th-alpha440.0Alpha equivalence for TH Exp (bsd3, language, library)2016-07-01jkarni
th-constraint-compat100.0Compatibility for type constraint template (bsd3, language, library)2017-10-07KeiHibino
th-data-compat712.0Compatibility for data definition template of TH (bsd3, language, library)2017-10-03KeiHibino
th-dict-discovery92.0Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-27isovector
th-instances160.0A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-02JonathanFischoff
th-lift3720.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2018-02-01IanLynagh, KiYungAhn, MathieuBoespflug
th-reify-compat510.0Compatibility for the result type of TH reify (bsd3, language, library)2017-10-03KeiHibino
th-strict-compat250.0Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-24igrep
thih100.0Typing Haskell In Haskell (bsd3, language, library, program)2008-04-04GwernBranwen
to-haskell100.0A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-11ConalElliott
toml-parser110.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
transformations260.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
trhsx (deprecated in favor of hsx)140.0Deprecated (bsd3, deprecated, language, library)2008-05-17GwernBranwen, NiklasBroberg
turkish-deasciifier80.0Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-22cattheory
type-of-html1790.0High performance type driven html generation. (bsd3, html, language, library, text, web)2018-02-07knupfer
type-settheory390.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
type-sub-th300.0Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-08JonathanFischoff
typescript-docs240.0A documentation generator for TypeScript Definition files (language, mit, program)2014-01-07PhilFreeman
unbound1240.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2016-08-24BrentYorgey, sweirich
unbound-generics1102.0Support for programming with names and binders using GHC Generics (benchmark, bsd3, language, library)2016-05-24AlekseyKliger
unification-fd682.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton
universe-th330.0Construct a Dec's ancestor list. (bsd3, language, library)2012-03-08JonathanFischoff
unlit782.0Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-18pepijnkokke
urldisp-happstack100.0Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-25SterlingClover
valid-names150.0Valid operator/module characters (language, library, mit)2013-12-29JoelTaylor
verilog670.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
vhdl190.0VHDL AST and pretty printer (bsd3, language, library)2010-06-22ChristiaanBaaij
web-routes2230.0portable, type-safe URL routing (bsd3, language, library, web)2018-01-30JeremyShaw
web-routes-boomerang930.0Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2016-06-09JeremyShaw
web-routes-happstack1230.0Adds support for using web-routes with Happstack (bsd3, language, library, web)2017-07-21JeremyShaw
web-routes-hsp1150.0Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)250.0Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-15JeremyShaw
web-routes-regular420.0portable, type-safe URL routing (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-th1060.0Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2017-08-10JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)180.0Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-04JeremyShaw
web-routes-wai1280.0Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2018-01-30JeremyShaw
webidl150.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
while-lang-parser110.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
words180.0Cross-platform access to a list of words (bsd3, language, library)2011-10-10ChrisSmith
yabi-muno190.0Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-08L8D
z3-encoding120.0High-level assertion encoding to Z3 solver (language, library, mit)2016-07-05izgzhen
zabt200.0Simple-minded abstract binding trees (bsd3, language, library)2016-08-11JosephAbrahamson
zasni-gerna322.0lojban parser (zasni gerna) (bsd3, language, library)2014-01-10YoshikuniJujo
zeroth270.0ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-23DavidHimmelstrup, RobinGreen