Packages tagged language

571 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (503), bsd3 (373), program (184), mit (74), gpl (46), deprecated (39), public-domain (24), web (21), embedded (18), compiler (16), compilers-interpreters (14), apache (13), development (10), text (10), formal-methods (9), data (8), .net (7), ffi (7), hardware (7), clr (6), concurrency (6), source-tools (5), code-generation (4), database (4), generics (4), javascript (4), lgpl (4), math (4), agpl (3), ats (3), bsd2 (3), foreign (3), parser (3), parsing (3), pugs (3), reflection (3), system (3), aop (2), aspect-oriented-programming (2), bsd4 (2), configuration (2), frp (2), html (2), json (2), jvm (2), lenses (2), monads (2), optimization (2), transformation (2), visual-programming (2), algebra (1), algorithms (1), api (1), build (1), c (1), codec (1), control (1), cryptography (1), debug (1), dependent-types (1), dhall (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ASN1 (deprecated)100.0ASN.1 support for Haskell (bsd3, deprecated, language, library)2008-06-22DominicSteinitz
BASIC132.0Embedded BASIC (bsd3, language, library)2009-02-09LennartAugustsson
BiGUL82.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
CSPM-CoreLanguage150.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-FiringRules120.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Frontend90.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Interpreter160.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-cspm110.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-26MarcFontaine
CoreErlang130.0Manipulating Core Erlang source code (bsd3, language, library)2018-03-20AlexKropivny, HenriqueFerreiro
DTC120.0Data To Class transformation. (bsd3, language, library)2013-04-21DanielDiaz
DrHylo90.0A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-09HugoPacheco
Ebnf2ps190.0Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-26PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)710.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
Eq (deprecated)130.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
Feval72.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
ForSyDe140.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2010-06-25AlfonsoAcosta, HoseinAttarzadeh, ugeorge
GLM120.0Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-09LyndonMaydwell
GTALib130.0A library for GTA programming (bsd3, language, library)2012-06-08KentoEmoto
Ganymede70.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
GoogleTranslate80.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GroteTrap70.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
HJScript100.0HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-18JeremyShaw, NiklasBroberg
HJVM90.0A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-15JeanPhilippeMoresmau
HJavaScript90.0HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-05NiklasBroberg
HsParrot100.0Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-15AudreyTang
HsPerl5130.0Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-15AudreyTang
ImperativeHaskell142.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Javasf (deprecated in favor of javasf)50.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)100.0A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-06TonyMorris
JsContracts60.0Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-15ArjunGuha
JsonGrammar110.0Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-07MartijnVanSteenbergen
LambdaCalculator80.0A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-29ThomasDuBuisson
LambdaPrettyQuote100.0Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-24JonathanFischoff
LibClang150.0Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-15ChetanTaralekar, deech
LslPlus110.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
MagicHaskeller110.0Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2017-08-05SusumuKatayama
MicrosoftTranslator60.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
NXTDSL140.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
NanoProlog110.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)140.0Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-26CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)50.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
Obsidian80.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
Ordinary60.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
Paraiso150.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
Plural90.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pugs150.0A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-15AudreyTang, JeffShaw
SNet70.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
Strafunski-Sdf2Haskell70.0Converts SDF to Haskell (bsd3, language, program)2013-05-03JamesKoppel
TTTAS110.0Typed Transformations of Typed Abstract Syntax (language, library)2015-04-16MarcosViera
URLT (deprecated in favor of web-routes)50.0Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-16JeremyShaw
WebBits (deprecated in favor of language-ecmascript)210.0JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-10AndreyChudnov, ArjunGuha
WebBits-Html50.0JavaScript analysis tools (language, library)2010-02-01ArjunGuha
WebBits-multiplate40.0A Multiplate instance for JavaScript. (language, library, mit)2011-03-24BalazsEndresz
Wired140.0Wire-aware hardware description (bsd3, hardware, language, library)2014-05-06EmilAxelsson
XmlHtmlWriter132.0A library for writing XML and HTML (bsd3, language, library)2012-05-25MatthewMirman
abacate70.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
abt91.25Abstract binding trees for Haskell (language, library, mit)2015-01-11JonSterling
acl2110.0Writing and calling ACL2 from Haskell. (bsd3, formal-methods, language, library)2014-10-01TomHawkins
alga (deprecated)120.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
antimirov100.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
applicative-parsec60.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
applicative-quoters80.0Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-22BenMillwood
arghwxhaskell110.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
ariadne80.0Go-to-definition for Haskell (language, mit, program)2014-11-01RomanCheplyaka, manzyuk
array-forth60.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ast-monad110.0A library for constructing AST by using do-notation (bsd3, language, library)2017-04-27MasatoMouri
ast-monad-json90.0A library for writing JSON (bsd3, language, library)2017-04-29MasatoMouri
astview (deprecated)90.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-utils100.0Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-18JasonDagit
atom220.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atomo140.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
ats-format940.0A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2018-05-27vmchale
bash160.0Bash generation library. (bsd3, language, library)2013-03-17JasonDusek
berp50.0An implementation of Python 3. (bsd3, language, library, program)2010-05-31BerniePope
bidirectionalization-combined80.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)120.0Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-24MathieuBoespflug
blip60.0Python to bytecode compiler. (bsd3, language, program)2013-06-21BerniePope
bond340.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2018-06-01sapek, chwarr, eduardo
bond-haskell-compiler80.0Bond code generator for Haskell (bsd3, language, library, program)2016-11-26blaze
boolsimplifier170.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
bound392.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2017-07-29EdwardKmett, EricMertens, ryanglscott
brain-bleep60.0primitive imperative language (bsd3, language, program)2017-01-15AlanHawkins
brainfuck-tut150.0A simple BF interpreter. (bsd3, language, library, program)2016-12-30alleledev
bricks120.0Bricks is a lazy functional language based on Nix. (apache, language, library)2018-02-10chris_martin
bricks-internal110.0... (apache, language, library)2018-02-10chris_martin
bricks-internal-test120.0... (apache, language, library)2018-02-10chris_martin
bricks-parsec100.0... (apache, language, library)2018-02-10chris_martin
bricks-rendering120.0... (apache, language, library)2018-02-10chris_martin
bricks-syntax110.0... (apache, language, library)2018-02-10chris_martin
brittany900.0Haskell source code formatter (agpl, language, library)2018-05-02lspitzner
broker-haskell50.0Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-16DavidBanas
c-dsl80.0A higher level DSL on top of language-c (language, library, mit)2014-05-07jozefg
c0check110.0Simple C0 Syntax Check (language, program)2013-01-04DanielSeidel, JanisVoigtlaender
c0parser100.0Simple C0 Parser (language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats112.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
caledon142.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
camfort150.0CamFort - Cambridge Fortran infrastructure (apache, language, library, program)2018-05-18DominicOrchard, madgen
cao120.0CAO Compiler (compiler, cryptography, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
cap70.0Interprets and debug the cap language. (bsd3, language, program)2008-09-28ThomasDavie
cdeps930.0Extract dependencies from C code. (bsd3, c, development, language, library, program)2018-07-03vmchale
cg60.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
chalmers-lava2000170.0Hardware description EDSL (bsd3, hardware, language, library)2016-05-19EmilAxelsson
cil70.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
circ130.0A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-01TomHawkins
clang-compilation-database170.0JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-09AlekseyKliger
clang-pure430.0Pure C++ code analysis with libclang (apache, language, library)2018-07-03PatrickChilton
clash (deprecated in favor of clash-ghc)110.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-bindings60.0Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-host140.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews
clr-inline110.0Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews
clr-marshal180.0Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-typed110.0A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-win-linker140.0A GHC linker wrapper tool to workaround a GHC >8.2 bug (.net, bsd3, clr, ffi, language, program)2017-04-25PepeIborra, TimMatthews
clua70.0C to Lua data wrapper generator (bsd3, language, program)2012-04-04TomSchouten
cmonad120.0A library for C-like programming (bsd3, language, library)2009-03-29LennartAugustsson
codec-beam350.0Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-06hkgumbs
codo-notation130.0A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-22DominicOrchard
combinator-interactive90.0SKI Combinator interpreter (bsd3, language, library, program)2013-09-07FumiakiKinoshita
compilation140.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
compstrat60.0Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-24JamesKoppel
config-schema262.0Schema definitions for the config-value package (language, library)2018-03-08EricMertens
config-value272.25Simple, layout-based value language similar to YAML or JSON (language, library, mit)2018-03-08EricMertens
context-free-grammar150.0Basic algorithms on context-free grammars (bsd3, language, library)2015-04-02nedervold
copilot120.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-c99130.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-cbmc120.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-core120.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-language150.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-libraries100.0Libraries for the Copilot language. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-sbv130.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-theorem50.0k-induction for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
core130.0External core parser and pretty printer. (bsd3, language, library)2009-04-08DavidHimmelstrup
core-compiler110.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
core-haskell150.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
cparsing60.0A simple C++ parser with preprocessor features. C++ refactorings included. (bsd3, language, library)2017-11-16lazac
cryptol200.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2017-07-25AaronTomb, AdamFoltzer, IavorDiatchki, TrevorElliott
cspretty60.0AST and pretty printer for CSPm (bsd3, language, library)2016-11-30ccasin
css (deprecated)100.0Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-08
cube90.0Cubic DSL for 3D printing (bsd3, language, library)2015-04-15junjihashimoto
curry-base180.0Functions for manipulating Curry programs (bsd3, language, library)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend180.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
data-reify490.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2015-05-19AndyGill, ryanglscott
data-reify-cse110.0Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-08SebastiaanVisser
data-treify130.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2014-03-18ConalElliott
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
desert100.0a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-24zjhsdtc
dhall-lex100.0Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-25
dictparser150.0Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-10MarkWotton
djinn-ghc660.0Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-11AlejandroSerrano
djinn-lib1070.0Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library)2018-05-15AlejandroSerrano
djinn-th60.0Generate executable Haskell code from a type (bsd3, language, library)2010-08-03ClaudeHeilandAllen
dove110.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
drmaa100.0A minimal Haskell bindings to DRMAA C library. (bsd3, language, library)2017-03-18kaizhang
ds-kanren80.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
each82.0Template Haskell library for writing monadic expressions more easily (bsd3, language, library)2017-02-06dramforever
ecma26270.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-mzv90.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-quote100.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
ehs90.0Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-15minpou
elm-bridge162.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)70.0Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-13jeremondi
elm-compiler (deprecated)100.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-core-sources180.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
elm-get (deprecated in favor of elm-package)120.0Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-22EvanCzaplicki
elm-package (deprecated)80.0Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-reactor (deprecated)80.0Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-20EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)160.0Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-20EvanCzaplicki
elsa120.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2017-04-11ranjitjhala
enchant100.0Binding to the Enchant library (bsd3, language, library)2016-06-22kseo
ewe150.0A language for teaching simple programming languages (bsd3, language, program)2015-08-11JuanFranciscoCardonaMcCormick
exception-hierarchy210.0Exception type hierarchy with TemplateHaskell (bsd3, language, library)2018-05-09YoshikuniJujo
exference80.0Tool to search/generate (haskell) expressions with a given type (bsd3, language, library)2017-02-13lspitzner
explain100.0Show how expressions are parsed (language, mit, program)2014-01-13JoelTaylor
extcore172.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-language160.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
feldspar-signal40.0Signal Processing extension for Feldspar (bsd3, language, library)2015-06-11EmilAxelsson, mararon
foma50.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-shallow110.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2018-01-18ugeorge
forth-hll (deprecated)70.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
fortran-src190.0Parser and anlyses for Fortran standards 66, 77, 90 and 95. (apache, language, library, program)2018-05-18DominicOrchard, madgen
free-theorems180.0Automatic generation of free theorems. (language, library, public-domain)2013-02-08DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples60.0Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-14DanielSeidel, JanisVoigtlaender
free-theorems-seq40.0Taming Selective Strictness (language, library, public-domain)2011-03-11DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui40.0Taming Selective Strictness (language, program, public-domain)2011-03-30DanielSeidel, JanisVoigtlaender
free-theorems-webui80.0CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-18DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect80.0A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-21AndrewSeniuk
fresh100.0Introduce fresh variables into Haskell source code (language, library, mit)2012-01-03DavidLazar
frp-arduino230.0Arduino programming without the hassle of C. (gpl, language, library)2018-03-26RickardLindberg, JeremyWright
ftshell60.0Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-12JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp550.0call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-08ltvanbinsbergen
funpat60.0A generalization of pattern matching (bsd3, language, library)2011-07-01GergelyDevai
gender60.0Identify a persons gender by their first name (language, lgpl, library, program)2013-02-16KraniumGikos
ghc-core-smallstep40.0A small-step semantics for Core (language, library, mit)2018-04-10JoachimBreitner
ghc-justdoit60.0A magic typeclass that just does it (language, library, mit)2018-02-02JoachimBreitner
ghc-options40.0Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-16ranjitjhala
ghc-parser350.0Haskell source parser from GHC. (language, library, mit)2018-03-17gibiansky, VaibhavSagar
ghc-session100.0Simplified GHC API (language, library, mit, program)2016-02-18danilo2, PiotrMlodawski
ghc-srcspan-plugin140.0Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-21EricSeidel
ghci-lib80.0A library for interactively evaluating Haskell code. (language, library, mit)2014-02-16gibiansky
gimlh100.0Haskell parser for GIML (language, library, mit)2015-04-16gazay
global100.0Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-02ByronJohnson
google-search110.0EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-31LiyangHu
hakaru120.0A probabilistic programming language (bsd3, language, library, program)2018-04-16pravnar, z
happstack-facebook (deprecated in favor of fb)60.0A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-06JeremyShaw
haquil100.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-05BrianBush
hardware-edsl110.0Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2017-11-20mararon
harp460.0HaRP allows pattern-matching with regular expressions (bsd3, language, library)2018-03-28DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
haskarrow100.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskell-brainfuck60.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
haskell-coffee70.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-exp-parser110.0Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2015-11-02EmilAxelsson
haskell-generate210.0Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-02BennoFuenfstueck
haskell-holes-th60.0Infer haskell code by given type. (language, library, mit)2017-12-10klntsky
haskell-lexer1180.0A fully compliant Haskell 98 lexer. (bsd3, language, library)2016-08-22IavorDiatchki
haskell-lsp-client152.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-names602.25Name 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-src920.0Support for manipulating Haskell source code (bsd3, language, library)2018-03-13ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts4802.5Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2018-03-08AdamBergmark, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering
haskell-src-exts-observe70.0Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-17PepeIborra
haskell-src-exts-prisms70.0Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-07DanielWaterworth
haskell-src-exts-qq150.0A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-14MathieuBoespflug
haskell-src-exts-sc120.0Pretty print haskell code with comments (bsd3, language, library)2018-04-10achirkin
haskell-src-exts-util1970.0Helper functions for working with haskell-src-exts trees (bsd3, language, library)2018-04-30NeilMitchell, PepeIborra
haskell-src-meta2510.0Parse source to template-haskell abstract syntax. (bsd3, language, library, template-haskell)2018-06-19BenMillwood, GeoffreyMainland, JonasDuregard, MattMorrow
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta)60.0Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-18MarkWotton
haskell-tools-ast820.0Haskell AST for efficient tooling (bsd3, language, library)2018-07-11lazac
haskell-tools-ast-fromghc80.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-gen60.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-trf90.0Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-05lazac
haskell-tools-backend-ghc760.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2018-07-11lazac
haskell-tools-builtin-refactorings670.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-cli600.0Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2018-07-11lazac
haskell-tools-daemon640.0Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2018-07-11lazac
haskell-tools-debug640.0Debugging Tools for Haskell-tools (bsd3, language, library, program)2018-07-11lazac
haskell-tools-demo690.0A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2018-07-11lazac
haskell-tools-experimental-refactorings510.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-prettyprint850.0Pretty printing of Haskell-Tools AST (bsd3, language, library)2018-07-11lazac
haskell-tools-refactor790.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-rewrite770.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2018-07-11lazac
haskell-type-exts100.0A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-02NiklasBroberg
haskell-typescript70.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskelm100.0Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-25jeremondi
haspell70.0Haskell bindings to aspell (language, library, mit)2013-08-26JoelTaylor
hbf930.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
her-lexer100.0A lexer for Haskell source code. (language, library, public-domain)2012-09-06TimothyHobbs
her-lexer-parsec100.0Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-27TimothyHobbs
hermit130.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb60.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)2013-11-18AndrewFarmer
hexpr70.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
hfmt272.0Haskell source code formatter (language, library, mit, program)2018-05-22danielstiner
hgrep62.0Search Haskell source code from the command line (bsd3, language, library, program)2017-10-04TimHumphries
hierarchical-exceptions110.0Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-21BenjaminBarenblat
hindley-milner70.0Template for Hindley-Milner based languages (language, library, mit)2016-04-23mbg
hint2882.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2018-05-04mvdan
hint-server130.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter70.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2018-05-06MatthewFarkasDyck
hinterface110.0Haskell / Erlang interoperability library (bsd3, language, library)2017-04-28SvenHeyll, timo_koepke
hjugement100.0Majority Judgment. (gpl, language, library)2017-08-08julm
ho-rewriting90.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2015-11-05EmilAxelsson
homplexity141.25Haskell code quality tool (bsd3, language, program, tools)2016-07-26MichalGajda
hopencc60.0Haskell binding to libopencc (bsd3, language, library)2012-10-18PaulMeng
hruby670.0Embed a Ruby intepreter in your Haskell program ! (bsd3, language, library)2018-07-06SimonMarechal
hs-conllu110.0Conllu validating parser and utils. (language, lgpl, library, program)2018-05-09odanoburu
hs-gen-iface (deprecated)100.0Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-26AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector110.0Haskell source code analyzer (language, library, mit)2015-05-14flbulgarelli
hs2ats590.0Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2018-06-26vmchale
hs2dot110.0Generate graphviz-code from Haskell-code. (language, program)2010-08-15OscarFinnsson
hscolour2260.0Colourise Haskell code. (language, library, program)2017-11-30DonaldStewart, MalcolmWallace
hse-cpp182.0Preprocess+parse haskell code (language, library, mit)2016-10-06AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock120.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
hsp420.0Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-12GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp170.0SQL parser and type checker (bsd3, database, language, library)2017-08-05JakeWheat
hssqlppp-th110.0hssqlppp extras which need template-haskell (bsd3, database, language, library)2017-08-05JakeWheat
hswip80.0embedding prolog in haskell (foreign, language, library)2010-08-13EvgenyTarasov
hsx (deprecated in favor of hsx2hs)290.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-05NiklasBroberg
hsx2hs430.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2018-03-28DavidFox, JeremyShaw, NiklasBroberg
htirage100.0Equiprobable draw from publicly verifiable random data. (gpl, language, library)2017-08-07julm
htoml270.0Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-07cies
htoml-megaparsec730.0Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2018-07-06vmchale
hubris60.0Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-24MarkWotton
hunspell-hs152.0Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-06-04ashutoshrishi
husk-scheme380.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2016-07-10JustinEthier
husk-scheme-libs130.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hwhile72.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2018-01-17alexj136
hydrogen-cli80.0Hydrogen Data (language, mit, program)2015-01-08JulianFleischer
hydrogen-cli-args50.0Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-22JulianFleischer
hydrogen-data50.0Hydrogen Data (bsd3, language, library)2015-01-08JulianFleischer
hydrogen-multimap80.0Hydrogen Multimap (language, library, mit)2015-03-26JulianFleischer
hydrogen-parsing80.0Hydrogen Parsing Utilities (language, library, mit)2015-03-22JulianFleischer
hydrogen-prelude250.0Hydrogen Prelude (language, library, mit)2015-03-26JulianFleischer
hydrogen-prelude-parsec60.0Hydrogen Prelude /w Parsec (language, library, mit)2015-03-22JulianFleischer
hydrogen-syntax120.0Hydrogen Syntax (bsd3, language, library)2015-03-22JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)110.0Hydrogen Tools (bsd3, deprecated, language, library)2014-12-16JulianFleischer
hydrogen-version120.0Hydrogen Version Type (language, library, mit)2015-03-26JulianFleischer
ihs160.0Interpolated Haskell (language, program, public-domain)2018-02-05minad
imperative-edsl130.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)100.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-happstack90.0Imprevu support for Happstack (bsd3, language, library)2017-03-13CorentinDupont
improve240.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
inch130.0A type-checker for Haskell with integer constraints (bsd3, language, program)2014-06-07AdamGundry
indexed-do-notation120.0Do notation for indexed monads (bsd3, language, library)2013-05-01FumiakiKinoshita
indian-language-font-converter100.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
interpol100.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
intrinsic-superclasses282.0A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-14dailectic
invertible-grammar370.0Invertible parsing combinators framework (bsd3, language, library)2018-07-07EugeneSmolanka
ion90.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
ivory322.0Safe embedded C programming. (bsd3, language, library)2018-07-13EricMertens, LeePike
ivory-artifact110.0Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-backend-c230.0Ivory C backend. (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-bitdata (deprecated in favor of ivory)60.0Ivory bit-data support. (bsd3, deprecated, language, library, program)2014-03-26EricMertens, LeePike
ivory-examples100.0Ivory examples. (bsd3, language, program)2016-12-16EricMertens, LeePike
ivory-hw280.0Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-opts280.0Ivory compiler optimizations. (bsd3, language, library)2018-07-18EricMertens, LeePike
ivory-serialize90.0Serialization library for Ivory. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-stdlib50.0Ivory standard library. (bsd3, language, library)2016-12-16EricMertens, LeePike
ixdopp60.0A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-23JesseTov
jarfind120.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-30EugeneKirpichov
jdi60.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jmacro502.0QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2018-05-10GershomBazerman
js-good-parts70.0Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-20SeanSeefried
jsmw70.0Javascript Monadic Writer base package. (bsd3, language, library)2009-04-26DmitryGolubovsky
json-python50.0Call python inline from haskell (language, library, mit)2014-11-10russell91
jvm-binary170.0A library for reading Java class-files (java, jvm, language, library, mit)2018-06-18kalhauge
jvm-parser100.0A parser for JVM bytecode files (bsd3, language, library)2014-08-07RobertDockins
kansas-lava120.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-06AndyGill, GergoErdi
kbq-gu110.0Rpoku spoken word programming language (language, program)2008-08-14AndriiZvorygin
kure220.0Combinators for Strategic Programming (bsd3, language, library)2015-09-15AndyGill, NeilSculthorpe
kure-your-boilerplate80.0Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-27AndyGill
lambda-calculator90.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
lambdaBase90.0 (language, library, mit)2015-05-05faleidel
lambdaLit100.0... (language, mit, program)2014-12-18faleidel
lang60.0A Lisp (agpl, language, library)2018-03-01Zaoqi
language-asn1110.0Parsing of ASN1 definitions (bsd3, language, library)2010-08-13DmitryAstapov
language-ats1940.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2018-07-20vmchale
language-bash290.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2018-07-21KyleRaftogianis
language-boogie100.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-c1970.0Analysis and generation of C code (bsd3, language, library)2018-06-08BenediktHuber
language-c-comments100.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-c-inline230.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
language-c-quote560.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2018-04-02GeoffreyMainland
language-cil150.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-css140.0CSS 2.1 syntax (bsd3, language, library)2012-03-23AntonKholomiov
language-dart112.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12kseo
language-dot171.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2016-05-13BenGamari, BrianLewis
language-ecmascript750.0JavaScript parser and pretty-printer library (bsd3, language, library)2018-06-04AndreyChudnov, ArjunGuha
language-ecmascript-analysis70.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-eiffel100.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-fortran (deprecated in favor of fortran-src)150.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-gcl70.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-glsl630.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2017-07-16VoMinhThu
language-go80.0A library for analysis and synthesis of Go code. (language, library)2011-02-06AndrewRobbins
language-guess70.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-java430.0Java source manipulation (bsd3, language, library)2018-03-08NiklasBroberg, VincentHanquez
language-java-classfile40.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
language-javascript1250.0Parser for JavaScript (bsd3, language, library)2018-03-15AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js110.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-lua460.0Lua parser and pretty-printer (bsd3, language, library)2018-06-19EricMertens, OmerAgacan
language-lua-qq90.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
language-lua270.0Lua parser and pretty printer (bsd3, language, library)2015-10-14mitchellwrosen
language-mixal110.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-ninja92.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-nix240.0Data types and useful functions to represent and manipulate the Nix language. (bsd3, distribution, language, library, nix)2016-05-27PeterSimons
language-oberon300.0Parser and pretty-printer for the Oberon programming language (gpl, language, library, program)2018-07-09MarioBlazevic
language-objc70.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-openscad120.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-pig80.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-python230.0Parsing and pretty printing of Python code. (bsd3, language, library)2016-07-30BerniePope
language-python-colour40.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-python-test120.0testing code for the language-python library (bsd3, language, program)2016-07-30BerniePope
language-qux40.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-rust162.25Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-22harpocrates
language-sally92.0AST and pretty printer for Sally (language, library)2017-08-01bjones
language-sh (deprecated)80.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-slice120.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sqlite110.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-thrift152.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2016-09-25abhinav
language-typescript110.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
language-vhdl122.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2017-10-03mararon
language-webidl100.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
layout-rules70.0A collection of different layout implementations (bsd3, language, library)2017-03-21TrevorElliott
lens-toml-parser130.0Lenses for toml-parser (language, lenses, library)2018-04-23henrytill
lexer-applicative200.0Simple lexer based on applicative regular expressions (language, library, mit)2018-06-06RomanCheplyaka
lhs2TeX-hl90.0Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-15AlessandroVermeulen
lhs2tex800.0Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2017-09-29AndresLoeh
libconfig40.0Haskell bindings to libconfig (bsd3, language, library)2015-04-29peddie
lift-generics190.0GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation (bsd3, language, library)2017-12-06ryanglscott
linkcore90.0Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-25TimChevalier
liquid-fixpoint480.0Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2018-02-15EricSeidel, ranjitjhala, niki
liquidhaskell502.25Liquid Types for Haskell (bsd3, language, library, program)2018-02-18EricSeidel, ranjitjhala, niki
located100.0Source location helpers (bsd3, language, library)2016-07-19TrevorElliott
lojban90.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
lojbanParser150.0lojban parser (bsd3, language, library, program)2014-08-16YoshikuniJujo
lojbanXiragan80.0lojban to xiragan (bsd3, language, library, program)2013-03-07YoshikuniJujo
lojysamban110.0Prolog with lojban (bsd3, language, program)2014-10-24YoshikuniJujo
lol-calculus90.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-typing40.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lss (deprecated)40.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
ltl100.0Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-19TomHawkins
lua-bc80.0Lua bytecode parser (language, library, mit)2016-12-07EricMertens
luka110.0Simple ObjectiveC runtime binding (bsd3, language, library)2012-08-29JinjingWang
luthor110.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
maude100.0An interface to the Maude rewriting system. (language, library, mit)2012-07-09DavidLazar
mcm102.0Manages the contents of files and directories (gpl, language, program, system, text)2017-01-19AnthonyDoggett
mcmc-synthesis80.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
mecha130.0A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-11TomHawkins
melody70.0A functional scripting language (language, library, mit, program)2014-01-10jozefg
meta-misc100.0Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-02ByronJohnson
mi60.0Multiple Instance for Haskell (language, library, mit)2014-02-28matt
mida (deprecated)60.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
mikrokosmos90.0Lambda calculus interpreter (gpl, language, program)2017-08-15mroman42
miniforth50.0Miniature FORTH-like interpreter (language, library, mit, program)2015-03-08L8D
ministg100.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
ml-w100.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
modelicaparser70.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
modulespection170.0Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-02JonathanFischoff
modulo100.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
msgpack-idl60.0An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-30HideyukiTanaka
msh90.0Object-Oriented Programming in Haskell (language, library, mit)2015-10-21mbg
mueval370.0Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2016-08-16ChrisDone, GwernBranwen
mulang90.0An intermediate language designed to perform advanced code analysis (language, library, program)2018-01-04flbulgarelli
naver-translate60.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
netlist150.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl150.0Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-06AndyGill, GergoErdi, PhilipWeaver
nirum110.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-03-15hongminhee
nix-eval70.0Evaluate Haskell expressions using Nix to get packages (language, library)2016-11-12chriswarbo
nomyx-language60.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
nomyx-library60.0Library of rules for Nomyx (bsd3, language, library)2017-03-17CorentinDupont
ntha110.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
oberon080.0Oberon0 Compiler (language, library)2013-10-23MarcosViera
octopus30.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
omega110.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
operational-alacarte130.0A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-07EmilAxelsson
optimusprime80.0A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-17JasonReich
org2anki110.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
pads-haskell100.0PADS data description language for Haskell (bsd3, language, library)2018-04-05KarlCronburg
paragon110.0Paragon (bsd3, language, library, program)2012-07-11NiklasBroberg
pec150.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
peggy80.0The Parser Generator for Haskell (bsd3, language, library)2013-01-30HideyukiTanaka, darkf
pisigma70.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
plural170.0Pluralize (bsd3, language, library)2018-06-07fresheyeball
polyseq (deprecated in favor of free-theorems-seq)40.0Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-06DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens80.0Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-28aminb, SimonHudon
powerpc120.0Tools for PowerPC programs. (bsd3, language, library)2010-03-10TomHawkins
prelude-edsl80.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
preprocess-haskell60.0Preprocess Haskell Repositories. (bsd3, language, library)2015-03-12bsummer4
preprocessor-tools440.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
prolog80.0A Prolog interpreter written in Haskell. (language, library, public-domain)2012-06-22DanielSeidel, JanisVoigtlaender, MatthiasBartsch
prolog-graph50.0A command line tool to visualize query resolution in Prolog. (language, program, public-domain)2011-09-21MatthiasBartsch
prolog-graph-lib60.0Generating images of resolution trees for Prolog queries. (language, library, public-domain)2012-06-23DanielSeidel, JanisVoigtlaender, MatthiasBartsch
purescript1042.5PureScript Programming Language Compiler (bsd3, language, library, program)2018-05-21PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre
purescript-tsd-gen160.0TypeScript Declaration File (.d.ts) generator for PureScript (bsd3, language, library, program)2018-06-08aratamizuki
pyffi50.0Call python inline from haskell (language, library, mit)2014-11-11russell91
pyfi60.0Call python inline from haskell (language, library, mit)2014-11-17russell91
quenya-verb70.0Quenya verb conjugator (agpl, language, library, program)2015-04-03kaashif
rail-compiler-editor50.0Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-17bubuiic
raw-feldspar120.0Resource-Aware Feldspar (bsd3, language, library)2016-11-30EmilAxelsson
readpyc60.0Read and pretty print Python bytecode (.pyc) files. (bsd3, language, program)2013-06-21BerniePope
really-simple-xml-parser70.0A really simple XML parser (language, library, public-domain)2012-07-30KashyapChatamballi
recursors70.0Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-10JohnWiegley
reflex-jsx52.0Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-24dackerman
register-machine-typelevel80.0A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-04kcsongor
resin90.0High performance variable binders (bsd2, language, library)2017-07-24CarterSchonwald
rope90.0Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-21EdwardKmett
rope-utf16-splay90.0Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2018-02-11OlleFredriksson
runtime-arbitrary50.0Runtime generation of Arbitrary values (language, library, public-domain)2016-11-12chriswarbo
seal-module100.0Template Haskell support for global configuration data (bsd3, language, library)2010-11-08JoachimBreitner
sexp150.0S-Expression parsing/printing made fun and easy (gpl, language, library, parsing, program)2013-02-26AlexandruScvortov
sexp-grammar260.0Invertible grammar combinators for S-expressions (bsd3, language, library)2018-06-13EugeneSmolanka, SergeyVinokurov
shady-gen100.0Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-30ConalElliott
she60.0A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-02ConorMcBride
shentong112.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
shivers-cfg90.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
shortcut100.0 (bsd3, language, library)2017-03-17CorentinDupont
show440.0'Show' instances for Lambdabot (language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit110.0A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-01ConorMcBride
sifflet100.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
sifflet-lib (deprecated in favor of sifflet)130.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
signals100.0Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-31mararon
simple-c-value90.0A simple C value type (bsd3, language, library)2012-04-04JonathanFischoff
simple-eval70.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-sql-parser200.0A parser for SQL queries (bsd3, database, language, library)2017-08-05JakeWheat
sized-types80.0Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-19AndyGill, GergoErdi, ryanglscott
slot-lambda100.0Write lambdas without naming the parameters. (language, library, mit)2014-04-08ducis
smt-lib80.0Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-19TomHawkins
snaplet-lss (deprecated)30.0Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
specialize-th30.0Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-08JonathanFischoff
spir-v50.0Some utilities for reading and writing SPIR-V files (language, library, mit)2016-02-16jophish
staticanalysis110.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
stylish-cabal40.0Format Cabal files (bsd3, language, library, program)2018-04-02JudeTaylor
stylish-haskell1562.0Haskell code prettifier (bsd3, language, library, program)2018-05-01JasperVanDerJeugt
subleq-toolchain60.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
sugarhaskell120.0Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-05SebastianErdweg
sunroof-compiler100.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples50.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server50.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
swearjure50.0Clojure without alphanumerics. (language, lgpl, program)2015-04-01hyPiRion
symantic160.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2018-02-14julm
symantic-grammar130.0Library for symantic grammars. (gpl, language, library)2018-02-14julm
symantic-lib130.0Symantics for common types. (gpl, language, library)2018-02-14julm
synt90.0Similar code analysis. (language, library, program)2014-11-23brentlintner
syntactic240.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2017-10-03AndersPersson, EmilAxelsson
syntax-trees120.0Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-01DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn90.0Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-30ByronJohnson
tal60.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-combinators70.0Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-19MaxBolingbroke
tersmu120.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
text-register-machine50.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
th-alpha90.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-compat262.0Compatibility for data definition template of TH (bsd3, language, library)2018-04-16KeiHibino
th-dict-discovery52.0Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-27isovector
th-instances90.0A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-02JonathanFischoff
th-lift2550.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2018-05-14IanLynagh, KiYungAhn, MathieuBoespflug
th-reify-compat190.0Compatibility for the result type of TH reify (bsd3, language, library)2018-04-16KeiHibino
th-strict-compat140.0Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-24igrep
thih90.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-parser92.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
transformations80.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-deasciifier80.0Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-22cattheory
type-of-html380.0High performance type driven html generation. (bsd3, html, language, library, text, web)2018-05-26knupfer
type-of-html-static110.0Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-02knupfer
type-settheory110.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
type-sub-th90.0Substitute types for other types with Template Haskell (bsd3, language, library)2012-03-08JonathanFischoff
type-tree40.0Tree representations of datatypes (language, library, mit)2018-04-07JudeTaylor
typescript-docs70.0A documentation generator for TypeScript Definition files (language, mit, program)2014-01-07PhilFreeman
unbound170.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2016-08-24BrentYorgey, sweirich
unbound-generics552.0Support for programming with names and binders using GHC Generics (bsd3, language, library)2018-05-11AlekseyKliger
unification-fd252.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton
universe-th90.0Construct a Dec's ancestor list. (bsd3, language, library)2012-03-08JonathanFischoff
unlit212.0Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-18wenkokke
unpacked-containers120.0Unpacked containers via backpack (bsd2, language, library, program)2018-04-06EdwardKmett
urldisp-happstack90.0Simple, declarative, expressive URL routing -- on happstack. (bsd3, language, library)2009-07-25SterlingClover
valid-names70.0Valid operator/module characters (language, library, mit)2013-12-29JoelTaylor
verifiable-expressions70.0An intermediate language for Hoare logic style verification. (apache, language, library)2018-05-18madgen
verilog200.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
vhdl110.0VHDL AST and pretty printer (bsd3, language, library)2010-06-22ChristiaanBaaij
web-routes460.0portable, type-safe URL routing (bsd3, language, library, web)2018-03-24JeremyShaw
web-routes-boomerang230.0Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2016-06-09JeremyShaw
web-routes-happstack280.0Adds support for using web-routes with Happstack (bsd3, language, library, web)2017-07-21JeremyShaw
web-routes-hsp310.0Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)140.0Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-15JeremyShaw
web-routes-regular60.0portable, type-safe URL routing (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-th320.0Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2018-03-28JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)70.0Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-04JeremyShaw
web-routes-wai200.0Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2018-01-30JeremyShaw
webidl40.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
while-lang-parser50.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
words120.0Cross-platform access to a list of words (bsd3, language, library)2011-10-10ChrisSmith
yabi-muno70.0Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-08L8D
z3-encoding40.0High-level assertion encoding to Z3 solver (language, library, mit)2016-07-05izgzhen
zabt130.0Simple-minded abstract binding trees (bsd3, language, library)2016-08-11JosephAbrahamson
zasni-gerna112.0lojban parser (zasni gerna) (bsd3, language, library)2014-01-10YoshikuniJujo
zeroth50.0ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-23DavidHimmelstrup, RobinGreen