Packages tagged language

576 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (508), bsd3 (377), program (186), mit (75), 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 (6), 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), compilers (1), control (1), cryptography (1), debug (1), dependent-types (1), dhall (1), disassembler (1), distribution (1), gpu (1), graphics (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ASN1 (deprecated)190.0ASN.1 support for Haskell (bsd3, deprecated, language, library)2008-06-22DominicSteinitz
BASIC192.0Embedded BASIC (bsd3, language, library)2009-02-09LennartAugustsson
BiGUL212.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
CSPM-CoreLanguage410.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-FiringRules270.0Firing rules semantic of CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Frontend610.0A CSP-M parser compatible with FDR-2.91 (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-Interpreter470.0An interpreter for CSPM (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
CSPM-cspm530.0cspm command line tool for analyzing CSPM specifications. (bsd3, concurrency, formal-methods, language, library, program)2017-10-26MarcFontaine
CoreErlang170.0Manipulating Core Erlang source code (bsd3, language, library)2018-03-20AlexKropivny, HenriqueFerreiro
DTC210.0Data To Class transformation. (bsd3, language, library)2013-04-21DanielDiaz
DrHylo110.0A tool for deriving hylomorphisms (bsd3, language, library, program)2008-12-09HugoPacheco
Ebnf2ps350.0Peter's Syntax Diagram Drawing Tool (bsd3, language, program)2015-08-26PeterThiemann, FranklinChen
Elm (deprecated in favor of elm-compiler)1940.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
Eq (deprecated)290.0Render math formula in ASCII, and perform some simplifications (bsd3, deprecated, language, math, program)2013-05-28VincentBerthoux
Feval142.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
ForSyDe190.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2010-06-25AlfonsoAcosta, HoseinAttarzadeh, ugeorge
GLM190.0Simple Gridlab-D GLM parser and utilities. (language, library, mit, program)2015-10-09LyndonMaydwell
GTALib240.0A library for GTA programming (bsd3, language, library)2012-06-08KentoEmoto
Ganymede190.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
GoogleTranslate170.0Interface to Google Translate API (gpl, language, library)2010-10-01AndyStewart
GroteTrap270.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
HJScript430.0HJScript is a Haskell EDSL for writing JavaScript programs. (bsd3, language, library, web)2013-07-18JeremyShaw, NiklasBroberg
HJVM120.0A library to create a Java Virtual Machine and manipulate Java objects (bsd3, language, library)2012-03-15JeanPhilippeMoresmau
HJavaScript250.0HJavaScript is an abstract syntax for a typed subset of JavaScript. (bsd3, language, library)2010-03-05NiklasBroberg
HsParrot300.0Haskell integration with Parrot virtual machine (bsd3, language, library, pugs)2015-08-15AudreyTang
HsPerl5190.0Haskell interface to embedded Perl 5 interpreter (bsd3, language, library, pugs)2015-08-15AudreyTang
ImperativeHaskell432.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
Javasf (deprecated in favor of javasf)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)210.0A utility to print the target version of Java class files. (bsd3, deprecated, language, program)2012-03-06TonyMorris
JsContracts150.0Design-by-contract for JavaScript (bsd3, language, library, program)2009-12-15ArjunGuha
JsonGrammar430.0Combinators for bidirectional JSON parsing (bsd3, json, language, library)2016-10-07MartijnVanSteenbergen
LambdaCalculator250.0A basic lambda calculator with beta reduction and a REPL (bsd3, language, program)2016-06-29ThomasDuBuisson
LambdaPrettyQuote130.0Quasiquoter, and Arbitrary helpers for the lambda calculus. (bsd3, language, library)2012-02-24JonathanFischoff
LibClang390.0Haskell bindings for libclang (a C++ parsing library) (bsd3, language, library)2017-01-15ChetanTaralekar, deech
LslPlus660.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
MagicHaskeller370.0Automatic inductive functional programmer by systematic search (bsd3, language, library, program)2017-08-05SusumuKatayama
MicrosoftTranslator100.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
NXTDSL180.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
NanoProlog390.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)690.0Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-26CorentinDupont
Nomyx-Rules (deprecated in favor of Nomyx-Language)140.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
Obsidian230.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
Ordinary150.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
Paraiso500.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
Plural150.0Pluralize English words (gpl, language, library)2009-08-05AndyStewart
Pugs1010.0A Perl 6 Implementation (bsd3, language, program, pugs)2015-08-15AudreyTang, JeffShaw
SNet110.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
Strafunski-Sdf2Haskell150.0Converts SDF to Haskell (bsd3, language, program)2013-05-03JamesKoppel
TTTAS430.0Typed Transformations of Typed Abstract Syntax (language, library)2015-04-16MarcosViera
URLT (deprecated in favor of web-routes)100.0Library for maintaining correctness of URLs within an application. (bsd3, deprecated, language, library, web)2010-03-16JeremyShaw
WebBits (deprecated in favor of language-ecmascript)310.0JavaScript analysis tools (bsd3, deprecated, language, library)2012-05-10AndreyChudnov, ArjunGuha
WebBits-Html130.0JavaScript analysis tools (language, library)2010-02-01ArjunGuha
WebBits-multiplate80.0A Multiplate instance for JavaScript. (language, library, mit)2011-03-24BalazsEndresz
Wired310.0Wire-aware hardware description (bsd3, hardware, language, library)2014-05-06EmilAxelsson
XmlHtmlWriter102.0A library for writing XML and HTML (bsd3, language, library)2012-05-25MatthewMirman
abacate90.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
abt241.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)250.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
antimirov140.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
applicative-parsec110.0An applicative parser combinator library (gpl, language, library)2015-04-09KarlVoelker
applicative-quoters270.0Quasiquoters for idiom brackets and an applicative do-notation (bsd3, language, library)2012-09-22BenMillwood
arghwxhaskell90.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
ariadne230.0Go-to-definition for Haskell (language, mit, program)2014-11-01RomanCheplyaka, manzyuk
array-forth280.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
ast-monad70.0A library for constructing AST by using do-notation (bsd3, language, library)2017-04-27MasatoMouri
ast-monad-json80.0A library for writing JSON (bsd3, language, library)2017-04-29MasatoMouri
astview (deprecated)260.0A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-19SebastianMenge
astview-utils (deprecated)110.0Interfacing between hint and astview (bsd4, deprecated, language, library)2009-11-18SebastianMenge
aterm-utils80.0Utility functions for working with aterms as generated by Minitermite (bsd3, language, library, program)2013-06-18JasonDagit
atom720.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atomo530.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
ats-format2970.0A source-code formatter for ATS (ats, bsd3, development, language, parser, program)2018-09-04vmchale
axel460.0The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2018-09-18jgrosso256
bash190.0Bash generation library. (bsd3, language, library)2013-03-17JasonDusek
berp110.0An implementation of Python 3. (bsd3, language, library, program)2010-05-31BerniePope
bidirectionalization-combined150.0Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) (language, program, public-domain)2010-09-27JoachimBreitner
bighugethesaurus150.0API wrapper for Big Huge Thesaurus (api, language, library)2015-12-28TheKing
binary-literal-qq (deprecated)110.0Extends Haskell with binary literals. (bsd3, deprecated, language, library)2012-09-24MathieuBoespflug
blip140.0Python to bytecode compiler. (bsd3, language, program)2013-06-21BerniePope
bond600.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2018-06-01sapek, chwarr, eduardo
bond-haskell-compiler360.0Bond code generator for Haskell (bsd3, language, library, program)2016-11-26blaze
boolsimplifier250.0Simplification tools for simple propositional formulas. (bsd3, language, library, math)2014-12-15GershomBazerman
bound1592.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2017-07-29EdwardKmett, EricMertens, ryanglscott
bound-extras50.0ScopeH and ScopeT extras for bound (bsd3, compilers, interpreters, language, library)2018-08-02phadej
brain-bleep120.0primitive imperative language (bsd3, language, program)2017-01-15AlanHawkins
brainfuck-tut300.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-internal60.0... (apache, language, library)2018-02-10chris_martin
bricks-internal-test80.0... (apache, language, library)2018-02-10chris_martin
bricks-parsec60.0... (apache, language, library)2018-02-10chris_martin
bricks-rendering60.0... (apache, language, library)2018-02-10chris_martin
bricks-syntax80.0... (apache, language, library)2018-02-10chris_martin
brittany690.0Haskell source code formatter (agpl, language, library)2018-05-02lspitzner
broker-haskell60.0Haskell bindings to Broker, Bro's messaging library. (bsd3, language, library)2015-08-16DavidBanas
c-dsl140.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
c0parser160.0Simple C0 Parser (language, library)2013-01-04DanielSeidel, JanisVoigtlaender
c2ats72.0Translate C code into ATS (gpl, language, library, program)2016-09-17KiwamuOkabe
caledon432.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
camfort480.0CamFort - Cambridge Fortran infrastructure (apache, language, library, program)2018-05-18DominicOrchard, madgen
cao120.0CAO Compiler (compiler, cryptography, language, program)2014-04-07paufil, tfaoliveira, mbbarbosa
cap140.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-09-16vmchale
cg100.0Parser for categorial grammars. (gpl, language, program)2015-05-29pepijnkokke
chalmers-lava2000600.0Hardware description EDSL (bsd3, hardware, language, library)2016-05-19EmilAxelsson
cil230.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
circ280.0A Compiler IR Compiler. (bsd3, compiler, language, library)2012-08-01TomHawkins
clang-compilation-database190.0JSON Compilation Database Format encoding and decoding (language, library, mit)2018-03-09AlekseyKliger
clang-pure340.0Pure C++ code analysis with libclang (apache, language, library)2018-07-03PatrickChilton
clash (deprecated in favor of clash-ghc)460.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-bindings210.0Glue between clr-host and clr-typed (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-host180.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews, moodmosaic
clr-inline210.0Quasiquoters for inline C# and F# (.net, bsd3, clr, ffi, language, library)2017-10-08PepeIborra, TimMatthews, moodmosaic
clr-marshal160.0Marshaling for the clr (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews, moodmosaic
clr-typed70.0A strongly typed Haskell interface to the CLR type system (.net, bsd3, clr, ffi, language, library)2017-08-05PepeIborra, TimMatthews
clr-win-linker110.0A GHC linker wrapper tool to workaround a GHC >8.2 bug (.net, bsd3, clr, ffi, language, program)2017-04-25PepeIborra, TimMatthews
clua120.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-beam280.0Erlang VM byte code assembler (bsd3, codec, language, library)2018-07-06hkgumbs
codo-notation220.0A notation for comonads, analogous to the do-notation for monads. (bsd3, language, library)2012-11-22DominicOrchard
combinator-interactive160.0SKI Combinator interpreter (bsd3, language, library, program)2013-09-07FumiakiKinoshita
compilation170.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
compstrat160.0Strategy combinators for compositional data types (bsd3, generics, language, library)2015-03-24JamesKoppel
config-schema292.0Schema definitions for the config-value package (language, library)2018-03-08EricMertens
config-value622.25Simple, layout-based value language similar to YAML or JSON (language, library, mit)2018-03-08EricMertens
context-free-grammar130.0Basic algorithms on context-free grammars (bsd3, language, library)2015-04-02nedervold
copilot910.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-c99380.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-cbmc460.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-core310.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-language520.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-libraries250.0Libraries for the Copilot language. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-sbv350.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-theorem140.0k-induction for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
core120.0External core parser and pretty printer. (bsd3, language, library)2009-04-08DavidHimmelstrup
core-compiler100.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
core-haskell160.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
cryptol830.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2018-08-01AaronTomb, AdamFoltzer, IavorDiatchki, TrevorElliott
cspretty80.0AST and pretty printer for CSPm (bsd3, language, library)2016-11-30ccasin
css (deprecated)130.0Minimal monadic CSS DSL. (bsd3, deprecated, language, library)2014-12-08
cube140.0Cubic DSL for 3D printing (bsd3, language, library)2015-04-15junjihashimoto
curry-base480.0Functions for manipulating Curry programs (bsd3, language, library)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
curry-frontend680.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2018-01-12BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
data-reify520.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2015-05-19AndyGill, ryanglscott
data-reify-cse150.0Common Sub-Expression Elimination for graphs generated by Data.Reify. (bsd3, data, language, library)2013-05-08SebastiaanVisser
data-treify220.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2014-03-18ConalElliott
derive-gadt90.0Instance deriving for (a subset of) GADTs. (bsd3, development, language, library, program)2009-07-25MattMorrow
descript-lang80.0Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-20jakobeha
desert210.0a simple build tool for OCaml projects (bsd3, language, library, program)2016-08-24zjhsdtc
dhall-lex160.0Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-25
dictparser310.0Parsec parsers for the DICT format produced by dictfmt -t (bsd3, language, library, program)2014-01-10MarkWotton
djinn-ghc1260.0Generate Haskell code from a type. Bridge from Djinn to GHC API. (bsd3, language, library)2015-01-11AlejandroSerrano
djinn-lib1290.0Generate Haskell code from a type. Library extracted from djinn package. (bsd3, language, library, source-tools)2018-05-15AlejandroSerrano
djinn-th40.0Generate executable Haskell code from a type (bsd3, language, library)2010-08-03ClaudeHeilandAllen
do-notation660.0Generalize do-notation to work on monads and indexed monads simultaneously. (bsd3, language, library)2018-09-09isovector
dove90.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
drmaa110.0A minimal Haskell bindings to DRMAA C library. (bsd3, language, library)2017-03-18kaizhang
ds-kanren130.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
each142.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-aspects100.0A monadic embedding of aspect oriented programming (aop, aspect-oriented-programming, language, library, monads)2014-01-15IsmaelFigueroa
effective-aspects-mzv130.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-quote140.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
ehs150.0Embedded haskell template using quasiquotes. (language, library, mit, template, text)2015-03-15minpou
elm-bridge662.0Derive Elm types and Json code from Haskell types, using aeson's options (bsd3, compiler, language, library, web)2018-09-18AlexanderThiemann, SimonMarechal
elm-build-lib (deprecated)120.0Compile Elm code to JS within Haskell (bsd3, compiler, deprecated, language, library)2014-12-13jeremondi
elm-compiler (deprecated)240.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-core-sources310.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
elm-get (deprecated in favor of elm-package)320.0Tool for sharing and using Elm libraries (bsd3, deprecated, language, library, program)2014-09-22EvanCzaplicki
elm-package (deprecated)260.0Package manager for Elm libraries (bsd3, deprecated, language, library, program)2015-04-20EvanCzaplicki
elm-reactor (deprecated)310.0Interactive development tool for Elm programs (bsd3, compiler, deprecated, language, program)2015-04-20EvanCzaplicki
elm-server (deprecated in favor of elm-reactor)490.0Server for developing Elm projects (bsd3, compiler, deprecated, language, program)2014-05-20EvanCzaplicki
elsa190.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2017-04-11ranjitjhala
enchant70.0Binding to the Enchant library (bsd3, language, library)2016-06-22kseo
ewe400.0A language for teaching simple programming languages (bsd3, language, program)2015-08-11JuanFranciscoCardonaMcCormick
exception-hierarchy250.0Exception type hierarchy with TemplateHaskell (bsd3, language, library)2018-05-09YoshikuniJujo
exference140.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
extcore522.0Libraries for processing GHC Core (bsd3, language, library)2013-04-21TimChevalier
fault-tree60.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
feldspar-language550.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
feldspar-signal140.0Signal Processing extension for Feldspar (bsd3, language, library)2015-06-11EmilAxelsson, mararon
foma70.0Simple Haskell bindings for Foma. (language, library, mit)2015-06-23joom
formura70.0Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-04TakayukiMuranushi
forsyde-shallow120.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2018-01-18ugeorge
forth-hll (deprecated)90.0A simple eDSL for generating arrayForth code. (deprecated, gpl, language, library)2013-01-06TikhonJelvis
fortran-src490.0Parser and anlyses for Fortran standards 66, 77, 90 and 95. (apache, language, library, program)2018-05-18DominicOrchard, madgen
free-theorems350.0Automatic generation of free theorems. (language, library, public-domain)2013-02-08DanielSeidel, JanisVoigtlaender, JoachimBreitner
free-theorems-counterexamples200.0Automatically Generating Counterexamples to Naive Free Theorems (language, library, program, public-domain)2013-02-14DanielSeidel, JanisVoigtlaender
free-theorems-seq100.0Taming Selective Strictness (language, library, public-domain)2011-03-11DanielSeidel, JanisVoigtlaender
free-theorems-seq-webui140.0Taming Selective Strictness (language, program, public-domain)2011-03-30DanielSeidel, JanisVoigtlaender
free-theorems-webui280.0CGI-based web interface for the free-theorems package. (language, program, public-domain)2013-02-18DanielSeidel, JanisVoigtlaender, MatthiasBartsch
freesect210.0A Haskell syntax extension for generalised sections (bsd3, language, program)2012-03-21AndrewSeniuk
fresh190.0Introduce fresh variables into Haskell source code (language, library, mit)2012-01-03DavidLazar
frp-arduino290.0Arduino programming without the hassle of C. (gpl, language, library)2018-03-26RickardLindberg, JeremyWright
ftshell120.0Shell interface to the FreeTheorems library. (language, program, public-domain, source-tools)2010-10-12JanisVoigtlaender, JoachimBreitner, MatthiasBartsch
funcons-lambda-cbv-mp130.0call-by-value lambda-calculus with meta-programming (bsd3, language, program)2018-07-08ltvanbinsbergen
funpat110.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-smallstep80.0A small-step semantics for Core (language, library, mit)2018-04-10JoachimBreitner
ghc-justdoit90.0A magic typeclass that just does it (language, library, mit)2018-02-02JoachimBreitner
ghc-options100.0Utilities for extracting GHC options needed to compile a given Haskell target. (language, library, mit, program)2015-12-16ranjitjhala
ghc-parser580.0Haskell source parser from GHC. (language, library, mit)2018-03-17gibiansky, VaibhavSagar
ghc-session160.0Simplified GHC API (language, library, mit, program)2016-02-18danilo2, PiotrMlodawski
ghc-srcspan-plugin160.0Generic GHC Plugin for annotating Haskell code with source location data. (bsd3, language, library)2017-12-21EricSeidel
ghci-lib100.0A library for interactively evaluating Haskell code. (language, library, mit)2014-02-16gibiansky
gimlh210.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-search120.0EDSL for Google and GMail search expressions (bsd3, language, library, text, web)2016-03-31LiyangHu
hakaru320.0A probabilistic programming language (bsd3, language, library, program)2018-04-16pravnar, z
happstack-facebook (deprecated in favor of fb)330.0A package for building Facebook applications using Happstack (bsd3, deprecated, language, library, web)2011-02-06JeremyShaw
haquil170.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-05BrianBush
hardware-edsl220.0Deep embedding of hardware descriptions with code generation. (bsd3, language, library)2017-11-20mararon
harp330.0HaRP allows pattern-matching with regular expressions (bsd3, language, library)2018-03-28DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg
haskarrow120.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
haskell-brainfuck70.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
haskell-coffee90.0Simple CoffeeScript API (gpl, language, library)2015-07-19KevinVanRooijen
haskell-exp-parser160.0Simple parser parser from Haskell to TemplateHaskell expressions (bsd3, language, library)2015-11-02EmilAxelsson
haskell-generate270.0Typesafe generation of haskell source code (bsd3, code-generation, language, library)2016-01-02BennoFuenfstueck
haskell-holes-th70.0Infer haskell code by given type. (language, library, mit)2017-12-10klntsky
haskell-lexer1360.0A fully compliant Haskell 98 lexer. (bsd3, language, library)2016-08-22IavorDiatchki
haskell-lsp-client182.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
haskell-names1932.25Name resolution library for Haskell (bsd3, language, library)2018-08-08AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster, shersh
haskell-rules100.0A DSL for expressing natural deduction rules in Haskell. (gpl, language, library)2015-01-16spacekitteh
haskell-src1160.0Support for manipulating Haskell source code (bsd3, language, library)2018-03-13ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson
haskell-src-exts9302.5Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (bsd3, language, library)2018-09-19AdamBergmark, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering
haskell-src-exts-observe80.0Observable orphan instances for haskell-src-exts (bsd3, language, library)2017-08-17PepeIborra
haskell-src-exts-prisms60.0Prisms with newtype wrappers for haskell-src-exts (bsd3, language, library)2016-08-07DanielWaterworth
haskell-src-exts-qq490.0A quasiquoter for haskell-src-exts. (bsd3, language, library)2015-10-14MathieuBoespflug
haskell-src-exts-sc240.0Pretty print haskell code with comments (bsd3, language, library)2018-04-10achirkin
haskell-src-exts-util3010.0Helper functions for working with haskell-src-exts trees (bsd3, language, library)2018-04-30NeilMitchell, PepeIborra
haskell-src-meta3590.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)80.0Parse source to template-haskell abstract syntax. (bsd3, deprecated, language, library)2010-07-18MarkWotton
haskell-tools-ast1320.0Haskell AST for efficient tooling (bsd3, language, library)2018-07-11lazac
haskell-tools-ast-fromghc230.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-gen180.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
haskell-tools-ast-trf160.0Conversions on Haskell-Tools AST to prepare for refactorings (bsd3, language, library)2016-10-05lazac
haskell-tools-backend-ghc1300.0Creating the Haskell-Tools AST from GHC's representations (bsd3, language, library)2018-07-11lazac
haskell-tools-builtin-refactorings550.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-cli1200.0Command-line frontend for Haskell-tools Refact (bsd3, language, library, program)2018-07-11lazac
haskell-tools-daemon810.0Background process for Haskell-tools that editors can connect to. (bsd3, language, library, program)2018-07-11lazac
haskell-tools-debug800.0Debugging Tools for Haskell-tools (bsd3, language, library, program)2018-07-11lazac
haskell-tools-demo960.0A web-based demo for Haskell-tools Refactor. (bsd3, language, library, program)2018-07-11lazac
haskell-tools-experimental-refactorings280.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-prettyprint920.0Pretty printing of Haskell-Tools AST (bsd3, language, library)2018-07-11lazac
haskell-tools-refactor1010.0Refactoring Tool for Haskell (bsd3, language, library)2018-07-11lazac
haskell-tools-rewrite1080.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2018-07-11lazac
haskell-type-exts50.0A type checker for Haskell/haskell-src-exts (bsd3, language, library)2012-04-02NiklasBroberg
haskell-typescript100.0Simple TypeScript API (gpl, language, library)2013-10-16DavidJohnson
haskelm340.0Elm to Haskell translation (bsd3, compiler, language, library, program)2014-03-25jeremondi
haspell150.0Haskell bindings to aspell (language, library, mit)2013-08-26JoelTaylor
hbf200.0An optimizing Brainfuck compiler and evaluator (gpl, language, library, program)2018-07-04paraseba
hdis86150.0Interface to the udis86 disassembler for x86 and x86-64 / AMD64 (bsd3, disassembler, foreign, language, library, reverse-engineering)2011-08-28KeeganMcAllister
her-lexer80.0A lexer for Haskell source code. (language, library, public-domain)2012-09-06TimothyHobbs
her-lexer-parsec130.0Parsec frontend to "her-lexer" for Haskell source code. (language, library, public-domain)2012-12-27TimothyHobbs
hermit710.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb40.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)2013-11-18AndrewFarmer
hexpr80.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
hfmt1062.0Haskell source code formatter (language, library, mit, program)2018-08-27danielstiner
hgrep92.0Search Haskell source code from the command line (bsd3, language, library, program)2017-10-04TimHumphries
hierarchical-exceptions100.0Template Haskell functions to easily create exception hierarchies (apache, language, library)2014-01-21BenjaminBarenblat
hindley-milner80.0Template for Hindley-Milner based languages (language, library, mit)2016-04-23mbg
hint3812.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2018-05-04mvdan
hint-server390.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter90.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2018-05-06MatthewFarkasDyck
hinterface160.0Haskell / Erlang interoperability library (bsd3, language, library)2017-04-28SvenHeyll, timo_koepke
hjugement120.0Majority Judgment. (gpl, language, library)2017-08-08julm
ho-rewriting210.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-11EmilAxelsson
homplexity281.25Haskell code quality tool (bsd3, language, program, tools)2016-07-26MichalGajda
hopencc50.0Haskell binding to libopencc (bsd3, language, library)2012-10-18PaulMeng
hruby1060.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)80.0Utility to generate haskell-names interface files (deprecated, language, mit, program)2014-11-26AdamBergmark, RomanCheplyaka, PhilippSchuster
hs-inspector450.0Haskell source code analyzer (language, library, mit)2015-05-14flbulgarelli
hs2ats1082.0Create ATS types from Haskell types (ats, bsd3, haskell, language, library, program)2018-09-14vmchale
hs2dot170.0Generate graphviz-code from Haskell-code. (language, program)2010-08-15OscarFinnsson
hscolour3420.0Colourise Haskell code. (language, library, program)2017-11-30DonaldStewart, MalcolmWallace
hse-cpp122.0Preprocess+parse haskell code (language, library, mit)2016-10-06AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster
hsnock330.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
hsp980.0Haskell Server Pages is a library for writing dynamic server-side web pages. (bsd3, language, library, web)2013-11-12GwernBranwen, JeremyShaw, NiklasBroberg
hssqlppp560.0SQL parser and type checker (bsd3, database, language, library)2017-08-05JakeWheat
hssqlppp-th80.0hssqlppp extras which need template-haskell (bsd3, database, language, library)2017-08-05JakeWheat
hswip130.0embedding prolog in haskell (foreign, language, library)2010-08-13EvgenyTarasov
hsx (deprecated in favor of hsx2hs)970.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, deprecated, language, library, program)2013-09-05NiklasBroberg
hsx2hs840.0HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. (bsd3, language, library, program)2018-03-28DavidFox, JeremyShaw, NiklasBroberg
htirage370.0Equiprobable draw from publicly verifiable random data. (gpl, language, library, politic)2018-08-30julm
htoml570.0Parser for TOML files (bsd3, configuration, data, json, language, library, parser, text)2016-11-07cies
htoml-megaparsec1870.0Parser for TOML files (bsd3, configuration, data, language, library, text, toml)2018-09-08vmchale
hubris120.0Support library for Hubris, the Ruby <=> Haskell bridge (language, library, program)2010-04-24MarkWotton
hunspell-hs312.0Hunspell thread-safe FFI bindings for spell checking. (bsd3, language, library)2018-08-27ashutoshrishi
husk-scheme1450.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2016-07-10JustinEthier
husk-scheme-libs70.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hwhile142.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2018-01-17alexj136
hydrogen-cli100.0Hydrogen Data (language, mit, program)2015-01-08JulianFleischer
hydrogen-cli-args130.0Hydrogen Command Line Arguments Parser (language, library, mit)2015-03-22JulianFleischer
hydrogen-data110.0Hydrogen Data (bsd3, language, library)2015-01-08JulianFleischer
hydrogen-multimap90.0Hydrogen Multimap (language, library, mit)2015-03-26JulianFleischer
hydrogen-parsing110.0Hydrogen Parsing Utilities (language, library, mit)2015-03-22JulianFleischer
hydrogen-prelude330.0Hydrogen Prelude (language, library, mit)2015-03-26JulianFleischer
hydrogen-prelude-parsec60.0Hydrogen Prelude /w Parsec (language, library, mit)2015-03-22JulianFleischer
hydrogen-syntax220.0Hydrogen Syntax (bsd3, language, library)2015-03-22JulianFleischer
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude)90.0Hydrogen Tools (bsd3, deprecated, language, library)2014-12-16JulianFleischer
hydrogen-version140.0Hydrogen Version Type (language, library, mit)2015-03-26JulianFleischer
ihs270.0Interpolated Haskell (language, program, public-domain)2018-02-05minad
imperative-edsl310.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)150.0Deep embedding of VHDL programs with code generation. (bsd3, deprecated, language, library)2015-12-14mararon
imprevu80.0Reactive programming language based on a DSL (bsd3, language, library)2017-03-13CorentinDupont
imprevu-happstack110.0Imprevu support for Happstack (bsd3, language, library)2017-03-13CorentinDupont
improve820.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-converter110.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
interpol150.0GHC preprocessor and library to enable variable interpolation in strings (gpl, language, library, program, source-tools)2012-06-22AlexandruScvortov
intrinsic-superclasses152.0A quasiquoter for better instance deriving and default methods (language, library, mit)2018-07-14dailectic
invertible-grammar180.0Invertible parsing combinators framework (bsd3, language, library)2018-07-07EugeneSmolanka
ion50.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
ivory192.0Safe embedded C programming. (bsd3, language, library)2018-07-13EricMertens, LeePike
ivory-artifact130.0Manage additional data files during Ivory compilation. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-backend-c140.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-examples170.0Ivory examples. (bsd3, language, program)2016-12-16EricMertens, LeePike
ivory-hw100.0Ivory hardware model (STM32F4). (bsd3, language, library)2018-07-17EricMertens, LeePike
ivory-opts190.0Ivory compiler optimizations. (bsd3, language, library)2018-07-18EricMertens, LeePike
ivory-serialize130.0Serialization library for Ivory. (bsd3, language, library)2016-12-16EricMertens, LeePike
ivory-stdlib130.0Ivory standard library. (bsd3, language, library)2016-12-16EricMertens, LeePike
ixdopp120.0A preprocessor for expanding "ixdo" notation for indexed monads (bsd3, language, program, source-tools)2013-01-23JesseTov
jarfind300.0Tool for searching java classes, members and fields in classfiles and JAR archives (development, language, library, program, utils)2012-10-30EugeneKirpichov
jdi110.0Implementation of Java Debug Interface (debug, gpl, jvm, language, library, program)2012-10-28VictorDenisov
jmacro1282.0QuasiQuotation library for programmatic generation of Javascript code. (bsd3, language, library, program)2018-05-10GershomBazerman
js-good-parts190.0Javascript: The Good Parts -- AST & Pretty Printer (bsd3, javascript, language, library)2012-08-20SeanSeefried
jsmw50.0Javascript Monadic Writer base package. (bsd3, language, library)2009-04-26DmitryGolubovsky
json-python160.0Call python inline from haskell (language, library, mit)2014-11-10russell91
jvm-binary160.0A library for reading Java class-files (java, jvm, language, library, mit)2018-06-18kalhauge
jvm-parser90.0A parser for JVM bytecode files (bsd3, language, library)2014-08-07RobertDockins
kansas-lava240.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-06AndyGill, GergoErdi
kbq-gu90.0Rpoku spoken word programming language (language, program)2008-08-14AndriiZvorygin
kure810.0Combinators for Strategic Programming (bsd3, language, library)2015-09-15AndyGill, NeilSculthorpe
kure-your-boilerplate90.0Generator for Boilerplate KURE Combinators (bsd3, language, library)2009-01-27AndyGill
lambda-calculator230.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2017-04-07sgillespie
lambda-calculus-interpreter850.0Lambda Calculus interpreter (bsd3, language, library, program, unclassified)2018-09-12xeontem
lambda-placeholders82.0A library to emulate laceholders similar to Scala. (bsd3, language, library)2014-05-29MatthewMirman
lambdaBase60.0 (language, library, mit)2015-05-05faleidel
lambdaLit120.0... (language, mit, program)2014-12-18faleidel
lang60.0A Lisp (agpl, language, library)2018-03-01Zaoqi
language-asn1170.0Parsing of ASN1 definitions (bsd3, language, library)2010-08-13DmitryAstapov
language-ats2260.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2018-09-22vmchale
language-bash830.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2018-08-27KyleRaftogianis
language-boogie150.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-c3020.0Analysis and generation of C code (bsd3, language, library)2018-09-19BenediktHuber
language-c-comments100.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-c-inline410.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
language-c-quote1680.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2018-04-02GeoffreyMainland
language-cil270.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-css90.0CSS 2.1 syntax (bsd3, language, library)2012-03-23AntonKholomiov
language-dart122.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12kseo
language-dot351.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2016-05-13BenGamari, BrianLewis
language-ecmascript1390.0JavaScript parser and pretty-printer library (bsd3, language, library)2018-06-04AndreyChudnov, ArjunGuha
language-ecmascript-analysis160.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-eiffel180.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-fortran (deprecated in favor of fortran-src)280.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-gcl30.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-glsl1050.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-02VoMinhThu
language-go160.0A library for analysis and synthesis of Go code. (language, library)2011-02-06AndrewRobbins
language-guess170.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-java700.0Java source manipulation (bsd3, language, library)2018-03-08NiklasBroberg, VincentHanquez
language-java-classfile80.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
language-javascript2510.0Parser for JavaScript (bsd3, language, library)2018-03-15AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-js100.0javascript parser for es6 and es7. (bsd3, language, library)2018-01-25diasbruno
language-kort100.0Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-18akrasner
language-lua870.0Lua parser and pretty-printer (bsd3, language, library)2018-06-19EricMertens, OmerAgacan
language-lua-qq60.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
language-lua2180.0Lua parser and pretty printer (bsd3, language, library)2015-10-14mitchellwrosen
language-mixal80.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-ninja102.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-nix320.0Data types and useful functions to represent and manipulate the Nix language. (bsd3, distribution, language, library, nix)2016-05-27PeterSimons
language-oberon150.0Parser and pretty-printer for the Oberon programming language (gpl, language, library, program)2018-07-09MarioBlazevic
language-objc270.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-ocaml130.0Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-09-21Ptival
language-openscad140.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-pig150.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-python710.0Parsing and pretty printing of Python code. (bsd3, language, library)2016-07-30BerniePope
language-python-colour90.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-python-test150.0testing code for the language-python library (bsd3, language, program)2016-07-30BerniePope
language-qux170.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-rust142.25Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-22harpocrates
language-sally182.0AST and pretty printer for Sally (language, library)2017-08-01bjones
language-sh (deprecated)160.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-slice110.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sqlite150.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-thrift512.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2016-09-25abhinav
language-typescript90.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
language-vhdl342.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2017-10-03mararon
language-webidl130.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
layout-rules90.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-applicative240.0Simple lexer based on applicative regular expressions (language, library, mit)2018-06-06RomanCheplyaka
lhs2TeX-hl500.0Literate highlighter preprocessor for lhs2tex (development, language, mit, program)2011-10-15AlessandroVermeulen
lhs2tex1610.0Preprocessor for typesetting Haskell sources with LaTeX (development, language, program)2018-09-10AndresLoeh
libconfig130.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
linkcore180.0Combines multiple GHC Core modules into a single module (bsd3, language, program)2010-05-25TimChevalier
liquid-fixpoint850.0Predicate Abstraction-based Horn-Clause/Implication Constraint Solver (bsd3, language, library, program)2018-02-15EricSeidel, ranjitjhala, niki
liquidhaskell912.25Liquid Types for Haskell (bsd3, language, library, program)2018-02-18EricSeidel, ranjitjhala, niki
located90.0Source location helpers (bsd3, language, library)2016-07-19TrevorElliott
lojban80.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
lojbanParser220.0lojban parser (bsd3, language, library, program)2014-08-16YoshikuniJujo
lojbanXiragan60.0lojban to xiragan (bsd3, language, library, program)2013-03-07YoshikuniJujo
lojysamban220.0Prolog with lojban (bsd3, language, program)2014-10-24YoshikuniJujo
lol-calculus110.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
lol-typing80.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lss (deprecated)70.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
ltl40.0Using linear temporal logic (LTL) to verify embedded software and hardware. (bsd3, language, library)2010-04-19TomHawkins
lua-bc220.0Lua bytecode parser (language, library, mit)2016-12-07EricMertens
luka130.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
mathista60.0A small programming language for numerical computing (language, library, program, public-domain)2015-10-11seiya
maude190.0An interface to the Maude rewriting system. (language, library, mit)2012-07-09DavidLazar
mcm122.0Manages the contents of files and directories (gpl, language, program, system, text)2017-01-19AnthonyDoggett
mcmc-synthesis140.0MCMC applied to probabilistic program synthesis (gpl, language, library)2014-04-13TikhonJelvis
mecha210.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-misc40.0Utility library providing miscellaneous meta-programming utilities. (bsd3, data, generics, language, library, utility)2014-12-02ByronJohnson
mi70.0Multiple Instance for Haskell (language, library, mit)2014-02-28matt
mida (deprecated)170.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
mikrokosmos210.0Lambda calculus interpreter (gpl, language, program)2018-08-01mroman42
miniforth150.0Miniature FORTH-like interpreter (language, library, mit, program)2015-03-08L8D
ministg120.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
ml-w120.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
modelicaparser100.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
modulespection260.0Template Haskell for introspecting a module's declarations (bsd3, language, library)2015-02-02JonathanFischoff
modulo310.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
msgpack-idl140.0An IDL Compiler for MessagePack (bsd3, language, library, program)2013-01-30HideyukiTanaka
msh120.0Object-Oriented Programming in Haskell (language, library, mit)2015-10-21mbg
mueval630.0Safely evaluate pure Haskell expressions (bsd3, development, language, library, program)2016-08-16ChrisDone, GwernBranwen
mulang120.0An intermediate language designed to perform advanced code analysis (language, library, program)2018-01-04flbulgarelli
naver-translate80.0Interface to Naver Translate (gpl, language, library)2015-10-15hongminhee
netlist110.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
netlist-to-vhdl180.0Convert a Netlist AST to VHDL (bsd3, language, library)2018-04-06AndyGill, GergoErdi, PhilipWeaver
nirum1160.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-25hongminhee, nirum
nix-eval90.0Evaluate Haskell expressions using Nix to get packages (language, library)2016-11-12chriswarbo
nomyx-language50.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
nomyx-library90.0Library of rules for Nomyx (bsd3, language, library)2017-03-17CorentinDupont
ntha130.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
oberon0120.0Oberon0 Compiler (language, library)2013-10-23MarcosViera
octopus90.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
omega80.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
operational-alacarte250.0A version of Operational suitable for extensible EDSLs (bsd3, language, library)2016-12-07EmilAxelsson
optimusprime140.0A supercompiler for f-lite (bsd3, compiler, language, program, program-transformation)2009-11-17JasonReich
org2anki50.0Basic org to anki exporter (gpl, language, program)2016-10-29mroman42
pads-haskell80.0PADS data description language for Haskell (bsd3, language, library)2018-04-05KarlCronburg
paragon780.0Paragon (bsd3, language, library, program)2012-07-11NiklasBroberg
pec270.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
peggy450.0The Parser Generator for Haskell (bsd3, language, library)2013-01-30HideyukiTanaka, darkf
pisigma210.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
plural200.0Pluralize (bsd3, language, library)2018-06-07fresheyeball
polyseq (deprecated in favor of free-theorems-seq)150.0Taming Selective Strictness (deprecated, language, library, program, public-domain)2010-10-06DanielSeidel, JanisVoigtlaender
portable-template-haskell-lens50.0Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 (language, library, mit)2016-10-28aminb, SimonHudon
powerpc60.0Tools for PowerPC programs. (bsd3, language, library)2010-03-10TomHawkins
prelude-edsl380.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
preprocess-haskell90.0Preprocess Haskell Repositories. (bsd3, language, library)2015-03-12bsummer4
preprocessor-tools620.0A framework for extending Haskell's syntax via quick-and-dirty preprocessors (bsd3, code-generation, language, library, source-tools)2018-05-05JesseTov
processor-creative-kit80.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
prolog90.0A Prolog interpreter written in Haskell. (language, library, public-domain)2012-06-22DanielSeidel, JanisVoigtlaender, MatthiasBartsch
prolog-graph120.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
purescript4992.5PureScript Programming Language Compiler (bsd3, language, library, program)2018-05-21PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre
purescript-tsd-gen170.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
pyfi80.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-editor60.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
readpyc120.0Read and pretty print Python bytecode (.pyc) files. (bsd3, language, program)2013-06-21BerniePope
really-simple-xml-parser150.0A really simple XML parser (language, library, public-domain)2012-07-30KashyapChatamballi
recursors50.0Auto-generate final encodings and their isomorphisms using Template Haskell (bsd3, language, library)2017-01-10JohnWiegley
reflex-jsx122.0Use jsx-like syntax in Reflex (bsd3, frp, gui, jsx, language, library, web)2016-05-24dackerman
register-machine-typelevel60.0A computationally universal register machine implementation at the type-level (bsd3, language, library)2016-04-04kcsongor
resin300.0High performance variable binders (bsd2, language, library)2017-07-24CarterSchonwald
rope200.0Tools for manipulating fingertrees of bytestrings with optional annotations (bsd3, language, library)2014-03-21EdwardKmett
rope-utf16-splay150.0Ropes optimised for updating using UTF-16 code units and row/column pairs. (bsd3, data, language, library, text)2018-02-11OlleFredriksson
runtime-arbitrary30.0Runtime generation of Arbitrary values (language, library, public-domain)2016-11-12chriswarbo
seal-module140.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-grammar590.0Invertible grammar combinators for S-expressions (bsd3, language, library)2018-06-13EugeneSmolanka, SergeyVinokurov
shady-gen70.0Functional GPU programming - DSEL & compiler (gpu, language, library)2011-06-30ConalElliott
she130.0A Haskell preprocessor adding miscellaneous features (language, library, program, public-domain)2011-08-02ConorMcBride
shentong132.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
shivers-cfg70.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
shortcut70.0 (bsd3, language, library)2017-03-17CorentinDupont
show620.0'Show' instances for Lambdabot (language, library)2013-05-19CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven
shplit60.0A Haskell pattern splitter with emacs attachments (language, program, public-domain)2012-02-01ConorMcBride
sifflet660.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
sifflet-lib (deprecated in favor of sifflet)560.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
signals140.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-eval80.0Evaluate a Text to an Integer: "1 + 1" -> 2 (gpl, language, library, program)2014-10-24m
simple-sql-parser520.0A parser for SQL queries (bsd3, database, language, library)2017-08-05JakeWheat
sized-types150.0Sized types in Haskell using the GHC Nat kind. (bsd3, language, library)2015-05-19AndyGill, GergoErdi, ryanglscott
slot-lambda160.0Write lambdas without naming the parameters. (language, library, mit)2014-04-08ducis
smt-lib170.0Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-19TomHawkins
snaplet-lss (deprecated)80.0Lexical Style Sheets - Snap Web Framework adaptor. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
specialize-th50.0Create specialized types from polymorphic ones using TH (bsd3, language, library)2012-03-08JonathanFischoff
spir-v80.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-cabal350.0Format Cabal files (bsd3, language, library, program)2018-04-02JudeTaylor
stylish-haskell3402.0Haskell code prettifier (bsd3, language, library, program)2018-05-01JasperVanDerJeugt
subleq-toolchain100.0Toolchain of subleq computer. (gpl, language, library, program)2015-12-24na4zagin3
sugarhaskell80.0Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-05SebastianErdweg
sunroof-compiler70.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples90.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server80.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
surjective80.0An output coverage checker (language, library, public-domain)2018-02-21gelisam
swearjure50.0Clojure without alphanumerics. (language, lgpl, program)2015-04-01hyPiRion
symantic510.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2018-08-31julm
symantic-grammar410.0Library for symantic grammars. (gpl, language, library)2018-08-31julm
symantic-lib420.0Symantics for common types. (gpl, language, library)2018-08-31julm
synt220.0Similar code analysis. (language, library, program)2014-11-23brentlintner
syntactic2030.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2018-09-22AndersPersson, EmilAxelsson
syntax-trees80.0Convert between different Haskell syntax trees. (bsd3, language, library)2010-10-01DominicOrchard, GeorgeGiorgidze
syntax-trees-fork-bairyn60.0Convert between different Haskell syntax trees. Bairyn's fork. (bsd3, language, library)2014-11-30ByronJohnson
tal70.0An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-23sweirich
tempus80.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
termination-combinators110.0Termination combinators for forcing non-terminating algorithms to terminate (bsd3, language, library)2011-09-19MaxBolingbroke
tersmu140.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
text-register-machine220.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
th-alpha250.0Alpha equivalence for TH Exp (bsd3, language, library)2016-07-01jkarni
th-constraint-compat50.0Compatibility for type constraint template (bsd3, language, library)2017-10-07KeiHibino
th-data-compat712.0Compatibility for data definition template of TH (bsd3, language, library)2018-08-26KeiHibino
th-dict-discovery42.0Automatically discover available dictionaries at compile time. (bsd3, language, library)2017-12-27isovector
th-instances110.0A place to collect orphan instances for Template Haskell (bsd3, language, library)2012-03-02JonathanFischoff
th-lift4160.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2018-08-27IanLynagh, KiYungAhn, MathieuBoespflug
th-reify-compat760.0Compatibility for the result type of TH reify (bsd3, language, library)2018-08-26KeiHibino
th-strict-compat170.0Compatibility shim for Bang and Strict in Template Haskell. (apache, language, library)2017-09-24igrep
thih120.0Typing Haskell In Haskell (bsd3, language, library, program)2008-04-04GwernBranwen
to-haskell80.0A type class and some utilities for generating Haskell code. (bsd3, language, library)2012-10-11ConalElliott
toml-parser52.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
transformations160.0Generic representation of tree transformations (gpl, language, library, program)2015-02-15JeroenBransen, JosePedroMagalhaes
trhsx (deprecated in favor of hsx)110.0Deprecated (bsd3, deprecated, language, library)2008-05-17GwernBranwen, NiklasBroberg
turkish-deasciifier90.0Haskell port of Deniz Yuret's Turkish deasciifier. (language, library, mit, program)2015-07-22cattheory
type-of-html1170.0High performance type driven html generation. (bsd3, html, language, library, text, web)2018-05-26knupfer
type-of-html-static230.0Optimize static parts of type-of-html. (bsd3, html, language, library, text, web)2018-05-02knupfer
type-settheory150.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-tree170.0Tree representations of datatypes (language, library, mit)2018-04-07JudeTaylor
typescript-docs120.0A documentation generator for TypeScript Definition files (language, mit, program)2014-01-07PhilFreeman
unbound660.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2016-08-24BrentYorgey, sweirich
unbound-generics1512.0Support for programming with names and binders using GHC Generics (bsd3, language, library)2018-09-18AlekseyKliger
unification-fd462.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton
universe-th150.0Construct a Dec's ancestor list. (bsd3, language, library)2012-03-08JonathanFischoff
unlit352.0Tool to convert literate code between styles or to code. (bsd3, language, library, program)2016-12-18wenkokke
unpacked-containers40.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-names100.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
verilog440.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
vhdl130.0VHDL AST and pretty printer (bsd3, language, library)2010-06-22ChristiaanBaaij
web-routes1020.0portable, type-safe URL routing (bsd3, language, library, web)2018-03-24JeremyShaw
web-routes-boomerang310.0Use boomerang for type-safe URL parsers/printers (bsd3, language, library, web)2016-06-09JeremyShaw
web-routes-happstack460.0Adds support for using web-routes with Happstack (bsd3, language, library, web)2017-07-21JeremyShaw
web-routes-hsp500.0Adds XMLGenerator instance for RouteT monad (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-mtl (deprecated in favor of web-routes)80.0Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances (bsd3, deprecated, language, library, web)2011-03-15JeremyShaw
web-routes-regular130.0portable, type-safe URL routing (bsd3, language, library, web)2015-12-18JeremyShaw
web-routes-th420.0Support for deriving PathInfo using Template Haskell (bsd3, language, library, web)2018-03-28JeremyShaw
web-routes-transformers (deprecated in favor of web-routes)100.0Extends web-routes with some transformers instances for RouteT (bsd3, deprecated, language, library, web)2010-11-04JeremyShaw
web-routes-wai460.0Library for maintaining correctness of URLs within an application. (bsd3, language, library, web)2018-01-30JeremyShaw
webidl120.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
while-lang-parser100.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
words160.0Cross-platform access to a list of words (bsd3, language, library)2011-10-10ChrisSmith
yabi-muno130.0Yet Another Brainfuck Interpreter (language, library, mit, program)2015-03-08L8D
z3-encoding80.0High-level assertion encoding to Z3 solver (language, library, mit)2016-07-05izgzhen
zabt150.0Simple-minded abstract binding trees (bsd3, language, library)2016-08-11JosephAbrahamson
zasni-gerna162.0lojban parser (zasni gerna) (bsd3, language, library)2014-01-10YoshikuniJujo
zeroth110.0ZeroTH - remove unnecessary TH dependencies (bsd3, language, library, program)2009-06-23DavidHimmelstrup, RobinGreen