Packages tagged language
790 packages have this tag.
[Merge tag] (trustees only)Related tags: library (716), bsd3 (468), program (238), mit (171), deprecated (57), gpl (56), math (42), phonetic-languages (31), game (29), Ukrainian (26), embedded (26), public-domain (24), web (23), compiler (21), compilers-interpreters (19), apache (18), data (18), development (16), text (15), formal-methods (10), sound (10), hardware (9), music (9), .net (7), ffi (7), phonetics (7), agpl (6), clr (6), concurrency (6), parser (6), sox (6), PhLADiPreLiO (5), code-generation (5), control (5), database (5), generics (5), lgpl (5), mpl (5), parsing (5), pretty-printer (5), source-tools (5), uniqueness (5), bsd2 (4), effect (4), javascript (4), speech-approximation (4), syllable-segmentation (4), uniqueness-periods (4), writing-systems (4), algorithmic-composition (3), aspect-oriented-programming (3), ats (3), elm (3), foreign (3), pugs (3), speech-transformation (3), system (3), algorithms (2), aop (2), bsd4 (2), compilers (2), configuration (2), dependent-types (2), dhall (2), dsl (2), formal-languages (2), frp (2), general (2), graphics (2), haskell (2), html (2), interpreter (2), interpreters (2), io (2), json (2), jvm (2), lenses (2), logic (2), monads (2), mutable-state (2), optimization (2), phladiprelio (2), poetry (2), polymorphism (2), prosodic-languages (2), prosody (2), reflection (2), template-haskell (2), unification (2), visual-programming (2), voice (2), #AncientEgypt (1), aftovolio (1), ai (1), algebra (1), analysis (1), api (1), array (1), binary-search (1), bitcoin (1), build (1), c (1), codec (1), coherency (1), compression (1), cryptography (1), debug (1), debuggers (1), disassembler (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| ASN1 | 8 | 0.0 | 1 | ASN.1 support for Haskell | (bsd3, language, library) | 2008-06-22 | 0.0.1.1 | HerbertValerioRiedel |
| AspectAG | 66 | 0.0 | 5 | First-class Attribute Grammars implemented using type-level programming. | (aspect-oriented-programming, gpl, language, library) | 2024-11-08 | 0.8.0.0 | MarcosViera, jpgarcia |
| BASIC | 39 | 1.75 | 1 | Embedded BASIC | (bsd3, language, library) | 2009-02-09 | 0.1.5.0 | LennartAugustsson |
| BNFC-meta | 92 | 0.0 | 1 | Deriving Parsers and Quasi-Quoters from BNF Grammars | (development, gpl, language, library, parsing, text) | 2020-02-09 | 0.6.1 | JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn |
| BiGUL | 12 | 2.25 | 1 | The Bidirectional Generic Update Language | (generics, language, lenses, library, public-domain) | 2016-08-30 | 1.0.1 | joshko, Zirun |
| CSPM-CoreLanguage | 24 | 0.0 | 4 | Definition of a CSP core-language. | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.3.1.0 | MarcFontaine |
| CSPM-FiringRules | 22 | 0.0 | 2 | Firing rules semantic of CSPM | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.4.4.0 | MarcFontaine |
| CSPM-Frontend | 27 | 0.0 | 4 | A CSP-M parser compatible with FDR-2.91 | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.12.1.0 | MarcFontaine |
| CSPM-Interpreter | 31 | 0.0 | 2 | An interpreter for CSPM | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.7.1.0 | MarcFontaine |
| CSPM-cspm | 44 | 0.0 | 1 | cspm command line tool for analyzing CSPM specifications. | (bsd3, concurrency, formal-methods, language, library, program) | 2017-10-26 | 0.8.1.0 | MarcFontaine |
| CoreErlang | 12 | 0.0 | 1 | Manipulating Core Erlang source code | (bsd3, language, library) | 2018-03-20 | 0.0.4 | AlexKropivny, HenriqueFerreiro |
| DTC | 10 | 0.0 | 1 | Data To Class transformation. | (bsd3, language, library) | 2013-04-21 | 1.1.0.1 | DanielDiaz |
| DrHylo | 8 | 0.0 | 1 | A tool for deriving hylomorphisms | (bsd3, language, library, program) | 2008-12-09 | 0.0.2 | HugoPacheco |
| Ebnf2ps | 41 | 0.0 | 1 | Peter's Syntax Diagram Drawing Tool | (bsd3, language, program) | 2015-08-26 | 1.0.15 | PeterThiemann, FranklinChen |
| Elm (deprecated in favor of elm-compiler) | 188 | 0.0 | 6 | The Elm language module. | (bsd3, compiler, deprecated, language, library, program) | 2014-09-22 | 0.13 | EvanCzaplicki |
| Eq (deprecated) | 25 | 0.0 | 1 | Render math formula in ASCII, and perform some simplifications | (bsd3, deprecated, language, math, program) | 2013-05-28 | 1.1.3 | VincentBerthoux |
| Feval | 6 | 2.0 | 1 | Evaluation using F-Algebras | (language, mit, program) | 2015-09-07 | 1.0.0.1 | burz |
| ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep) | 13 | 0.0 | 1 | ForSyDe's Haskell-embedded Domain Specific Language. | (bsd3, deprecated, hardware, language, library) | 2010-06-25 | 3.1.1 | AlfonsoAcosta, HoseinAttarzadeh, ugeorge, ingo |
| GLM | 10 | 0.0 | 0 | Simple Gridlab-D GLM parser and utilities. | (language, library, mit, program) | 2015-10-09 | 0.7.0.0 | LyndonMaydwell |
| GTALib | 22 | 0.0 | 1 | A library for GTA programming | (bsd3, language, library) | 2012-06-08 | 0.0.6 | KentoEmoto |
| Ganymede | 15 | 0.0 | 1 | An Io interpreter in Haskell. | (bsd3, language, program) | 2011-04-18 | 0.0.0.5 | WaltBaety |
| GoogleTranslate | 18 | 0.0 | 2 | Interface to Google Translate API | (gpl, language, library) | 2010-10-01 | 0.0.5 | AndyStewart |
| GroteTrap | 24 | 0.0 | 1 | Parser and selection library for expression languages. | (bsd3, language, library) | 2016-10-08 | 0.5.2 | MartijnVanSteenbergen |
| HJScript | 36 | 0.0 | 2 | HJScript is a Haskell EDSL for writing JavaScript programs. | (bsd3, language, library, web) | 2013-07-18 | 0.7.0 | JeremyShaw, NiklasBroberg |
| HJVM | 5 | 0.0 | 1 | A library to create a Java Virtual Machine and manipulate Java objects | (bsd3, language, library) | 2012-03-15 | 0.1 | JeanPhilippeMoresmau |
| HJavaScript | 20 | 0.0 | 2 | HJavaScript is an abstract syntax for a typed subset of JavaScript. | (bsd3, language, library) | 2010-03-05 | 0.4.7 | NiklasBroberg |
| HsParrot | 17 | 0.0 | 1 | Haskell integration with Parrot virtual machine | (bsd3, language, library, pugs) | 2015-08-15 | 0.0.2.20150805 | AudreyTang |
| HsPerl5 | 23 | 0.0 | 1 | Haskell interface to embedded Perl 5 interpreter | (bsd3, language, library, pugs) | 2015-08-15 | 0.0.6.20150815 | AudreyTang |
| ImperativeHaskell | 30 | 2.0 | 1 | A library for writing Imperative style haskell. | (control, development, embedded, gpl, language, library) | 2012-06-07 | 2.0.0.1 | MatthewMirman |
| Javasf (deprecated in favor of javasf) | 5 | 0.0 | 1 | A utility to print the SourceFile attribute of one or more Java class files. | (bsd3, deprecated, language, program) | 2010-12-12 | 0.0.1 | TonyMorris |
| Javav (deprecated in favor of javav) | 14 | 0.0 | 1 | A utility to print the target version of Java class files. | (bsd3, deprecated, language, program) | 2012-03-06 | 0.0.4 | TonyMorris |
| JsContracts | 13 | 0.0 | 1 | Design-by-contract for JavaScript | (bsd3, language, library, program) | 2009-12-15 | 0.5.3 | ArjunGuha |
| JsonGrammar | 27 | 0.0 | 1 | Combinators for bidirectional JSON parsing | (bsd3, json, language, library) | 2016-10-07 | 1.0.5 | MartijnVanSteenbergen |
| LC3 | 14 | 0.0 | 0 | LC-3 virtual machine | (bsd3, language, program) | 2019-01-01 | 0.1.0.2 | DavidJohnson |
| LambdaCalculator | 19 | 0.0 | 1 | A basic lambda calculator with beta reduction and a REPL | (bsd3, language, program) | 2016-06-29 | 0.2 | ThomasDuBuisson |
| LambdaPrettyQuote | 17 | 0.0 | 1 | Quasiquoter, and Arbitrary helpers for the lambda calculus. | (bsd3, language, library) | 2012-02-24 | 0.0.0.8 | JonathanFischoff |
| LibClang | 33 | 0.0 | 1 | Haskell bindings for libclang (a C++ parsing library) | (bsd3, language, library) | 2017-01-15 | 3.8.0 | ChetanTaralekar, deech |
| LslPlus | 48 | 0.0 | 1 | An execution and testing framework for the Linden Scripting Language (LSL) | (bsd3, language, program) | 2009-08-25 | 0.4.3 | RobertGreayer |
| MagicHaskeller | 82 | 0.0 | 2 | Automatic inductive functional programmer by systematic search | (bsd3, language, library, program) | 2022-06-02 | 0.9.7.1 | SusumuKatayama |
| MicroCabal | 54 | 0.0 | 0 | A partial Cabal replacement | (apache, language, program) | 2024-11-10 | 0.3.1.2 | LennartAugustsson |
| MicroHs | 123 | 2.5 | 0 | A small compiler for Haskell | (apache, language, program) | 2024-11-10 | 0.10.5.0 | LennartAugustsson |
| MicrosoftTranslator | 10 | 0.0 | 1 | Interface for Microsoft Translator | (bsd3, language, library) | 2015-08-23 | 0.1.0.1 | netogallo |
| NXTDSL | 13 | 0.0 | 1 | Generate NXC Code from DSL | (bsd3, compilers-interpreters, language, library, program) | 2013-08-31 | 0.4 | AlexanderThiemann |
| NanoProlog | 40 | 0.0 | 1 | Very small interpreter for a Prolog-like language | (bsd3, language, library, program) | 2011-12-22 | 0.3 | DoaitseSwierstra, JurrienStutterheim, joaopizani |
| Nomyx-Language (deprecated in favor of nomyx-language) | 81 | 0.0 | 3 | Language to express rules for Nomic | (bsd3, deprecated, language, library) | 2015-03-26 | 0.7.6 | CorentinDupont |
| Nomyx-Rules (deprecated in favor of Nomyx-Language) | 12 | 0.0 | 1 | Language to express rules for Nomic | (bsd3, deprecated, language, library) | 2013-02-25 | 0.1.0 | CorentinDupont |
| Obsidian | 12 | 0.0 | 1 | Embedded language for GPU Programming | (bsd3, language, library) | 2016-05-14 | 0.4.0.0 | JoelSvensson |
| Ordinary | 12 | 0.0 | 0 | A Programming Language in Construction | (bsd3, language, library, program) | 2018-01-08 | 0.2018.1.8 | MarisaVeryMoe |
| Paraiso | 43 | 0.0 | 1 | a code generator for partial differential equations solvers. | (bsd3, language, library) | 2015-12-03 | 0.3.1.5 | TakayukiMuranushi |
| Plural | 15 | 0.0 | 1 | Pluralize English words | (gpl, language, library) | 2009-08-05 | 0.0.2 | AndyStewart |
| Pugs | 66 | 0.0 | 1 | A Perl 6 Implementation | (bsd3, language, program, pugs) | 2015-08-15 | 6.2.13.20150815 | AudreyTang, JeffShaw |
| SCRIPTWriter | 8 | 0.0 | 0 | ESCRIPT: a human friendly language for programming Bitcoin scripts | (bitcoin, bsd3, language, library, program, script) | 2018-10-15 | 1.0.1 | RickKlomp |
| SNet | 8 | 0.0 | 1 | Declarative coördination language for streaming networks. | (language, lgpl, library) | 2012-09-24 | 0.1.0 | MerijnVerstraaten |
| Strafunski-Sdf2Haskell | 7 | 0.0 | 1 | Converts SDF to Haskell | (bsd3, language, program) | 2013-05-03 | 1.0.0.2 | JamesKoppel |
| URLT (deprecated in favor of web-routes) | 7 | 0.0 | 2 | Library for maintaining correctness of URLs within an application. | (bsd3, deprecated, language, library, web) | 2010-03-16 | 0.14 | JeremyShaw |
| WebBits (deprecated in favor of language-ecmascript) | 25 | 0.0 | 6 | JavaScript analysis tools | (bsd3, deprecated, language, library) | 2012-05-10 | 2.2 | AndreyChudnov, ArjunGuha |
| WebBits-Html | 9 | 0.0 | 2 | JavaScript analysis tools | (language, library) | 2010-02-01 | 1.0.2 | ArjunGuha |
| WebBits-multiplate | 5 | 0.0 | 1 | A Multiplate instance for JavaScript. | (language, library, mit) | 2011-03-24 | 0.0.0.1 | BalazsEndresz |
| Wired | 21 | 0.0 | 1 | Wire-aware hardware description | (bsd3, hardware, language, library) | 2014-05-06 | 0.3 | EmilAxelsson |
| XmlHtmlWriter | 9 | 2.0 | 1 | A library for writing XML and HTML | (bsd3, language, library) | 2012-05-25 | 0.0.0.1 | MatthewMirman |
| abacate | 6 | 0.0 | 2 | Parser for a language similar to Cucumber's Gherkin | (language, library) | 2012-08-11 | 0.0.0.0 | MarcoSilva |
| abt | 28 | 1.25 | 1 | Abstract binding trees for Haskell | (language, library, mit) | 2015-01-11 | 0.1.1.0 | JonSterling |
| acl2 | 14 | 0.0 | 2 | Writing and calling ACL2 from Haskell. | (bsd3, formal-methods, language, library) | 2014-10-01 | 0.0.1 | TomHawkins |
| adtrees | 6 | 0.0 | 0 | Modelling, rendering and quantitative analysis on attack defense trees | (gpl, language, library) | 2019-02-23 | 0.1.0.0 | umazalakain |
| aftovolio | 66 | 0.0 | 0 | An AFTOVolio implementation for creating texts with special phonetic / prosodic properties. | (aftovolio, language, library, math, mit, music, poetry, program, rhythmicity) | 2024-11-18 | 0.5.1.1 | OleksandrZhabenko |
| agda2hs | 21 | 2.0 | 0 | Compiling Agda code to readable Haskell. | (bsd3, compiler, language, program) | 2024-10-04 | 1.3 | jcockx |
| alga (deprecated) | 18 | 0.0 | 0 | Algorithmic automation for various DAWs | (deprecated, gpl, language, library, program) | 2016-09-10 | 0.2.2 | mrkkrp |
| algorithmic-composition-additional | 15 | 0.0 | 0 | Helps to create experimental music from a file (or its part) and a Ukrainian text. | (Ukrainian, algorithmic-composition, language, library, mit, music, program, sound, sox) | 2022-08-17 | 0.2.0.0 | OleksandrZhabenko |
| algorithmic-composition-basic | 28 | 0.0 | 4 | Helps to create experimental music from a file (or its part) and a Ukrainian text. | (Ukrainian, algorithmic-composition, language, library, mit, music, sound, sox) | 2022-08-17 | 0.6.0.0 | OleksandrZhabenko |
| antimirov | 7 | 0.0 | 1 | Define the language containment (=subtyping) relation on regulare expressions. | (language, library, math, program) | 2009-01-30 | 0.1.0 | RickKaudewitz |
| aop-prelude | 41 | 0.0 | 0 | prelude for Algebra of Programming | (bsd3, language, library) | 2024-11-10 | 0.5.0.0 | KatsutoshiItoh |
| apple | 10 | 2.0 | 0 | Apple array language compiler | (agpl, array, language, library, program) | 2024-09-10 | 0.3.0.0 | vmchale |
| applicative-parsec | 5 | 0.0 | 1 | An applicative parser combinator library | (gpl, language, library) | 2015-04-09 | 0.1.0.0 | KarlVoelker |
| applicative-quoters | 34 | 0.0 | 1 | Quasiquoters for idiom brackets and an applicative do-notation | (bsd3, language, library) | 2012-09-22 | 0.1.0.8 | BenMillwood |
| arduino-copilot | 63 | 2.0 | 0 | Arduino programming in haskell using the Copilot stream DSL | (bsd3, embedded, language, library) | 2024-02-22 | 1.7.8 | JoeyHess |
| arghwxhaskell | 7 | 0.0 | 1 | An interpreter for the Argh! programming language in wxHaskell. | (gpl, language, program) | 2015-12-03 | 0.8.2.0 | HenkJanVanTuyl, fgaz, GeorgeThomas |
| ariadne | 12 | 0.0 | 1 | Go-to-definition for Haskell | (language, mit, program) | 2014-11-01 | 0.1.2.3 | RomanCheplyaka, manzyuk |
| array-forth | 17 | 0.0 | 2 | A simple interpreter for arrayForth, the language used on GreenArrays chips. | (gpl, language, library, program) | 2015-01-17 | 0.2.1.4 | TikhonJelvis |
| ast-monad | 7 | 0.0 | 1 | A library for constructing AST by using do-notation | (bsd3, language, library) | 2017-04-27 | 0.1.0.0 | MasatoMouri |
| ast-monad-json | 11 | 0.0 | 1 | A library for writing JSON | (bsd3, language, library) | 2017-04-29 | 0.1.0.1 | MasatoMouri |
| astview (deprecated) | 14 | 0.0 | 1 | A GTK-based abstract syntax tree viewer for custom languages and parsers | (bsd4, deprecated, language, program) | 2009-11-19 | 0.1.4 | SebastianMenge |
| astview-utils (deprecated) | 8 | 0.0 | 1 | Interfacing between hint and astview | (bsd4, deprecated, language, library) | 2009-11-18 | 0.1 | SebastianMenge |
| aterm-utils | 17 | 0.0 | 1 | Utility functions for working with aterms as generated by Minitermite | (bsd3, language, library, program) | 2013-06-18 | 0.2.0.2 | JasonDagit |
| atom | 99 | 0.0 | 4 | An EDSL for embedded hard realtime applications. | (bsd3, embedded, language, library) | 2015-06-03 | 1.0.13 | LeePike, TomHawkins |
| atomo | 23 | 0.0 | 2 | A highly dynamic, extremely simple, very fun programming language. | (bsd3, language, program) | 2012-04-11 | 0.4.0.2 | AlexSuraci |
| ats-format | 123 | 0.0 | 2 | A source-code formatter for ATS | (ats, bsd3, development, language, parser, program) | 2019-11-30 | 0.2.0.36 | vmchale |
| axel | 23 | 0.0 | 0 | The Axel programming language. | (bsd3, language, library, lisp, macros, program, transpiler) | 2019-10-03 | 0.0.12 | jgrosso256 |
| bash | 33 | 0.0 | 1 | Bash generation library. | (bsd3, language, library) | 2013-03-17 | 0.1.8 | JasonDusek |
| berp | 7 | 0.0 | 1 | An implementation of Python 3. | (bsd3, language, library, program) | 2010-05-31 | 0.0.2 | BerniePope |
| bidirectional-instances | 6 | 0.0 | 0 | Make instance constraints bidirectional | (language, library, mit) | 2022-09-04 | 0.1.0.0 | lev_135 |
| bidirectionalization-combined | 9 | 0.0 | 1 | Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10) | (language, program, public-domain) | 2010-09-27 | 0.1.0.1 | JoachimBreitner |
| bighugethesaurus | 11 | 0.0 | 1 | API wrapper for Big Huge Thesaurus | (api, language, library) | 2015-12-28 | 0.1.0.0 | TheKing |
| binary-literal-qq (deprecated) | 7 | 0.0 | 1 | Extends Haskell with binary literals. | (bsd3, deprecated, language, library) | 2012-09-24 | 1.0 | MathieuBoespflug |
| birds-of-paradise | 14 | 0.0 | 0 | Birds of Paradise | (bsd3, language, library) | 2023-04-19 | 0.2.1.2 | KatsutoshiItoh |
| bitcoin-scripting | 13 | 2.0 | 0 | Resources for working with miniscript, and script descriptors | (bsd3, language, library) | 2022-08-04 | 0.3.0 | IanShipman |
| blanks | 29 | 0.0 | 0 | Fill-in-the-blanks - A library factoring out substitution from ASTs | (bsd3, language, library) | 2020-11-04 | 0.5.0 | ejconlon |
| bond | 51 | 0.0 | 1 | Bond schema compiler and code generator | (code-generation, compiler, language, library, mit, program) | 2024-07-15 | 0.13.0.0 | chwarr, jdupej9000 |
| bond-haskell-compiler | 22 | 0.0 | 1 | Bond code generator for Haskell | (bsd3, language, library, program) | 2016-11-26 | 0.1.5.0 | blaze |
| boolsimplifier | 29 | 0.0 | 1 | Simplification tools for simple propositional formulas. | (bsd3, language, library, math) | 2014-12-15 | 0.1.8 | GershomBazerman |
| bound | 200 | 2.5 | 9 | Making de Bruijn Succ Less | (bsd3, compilers-interpreters, language, library) | 2023-08-06 | 2.0.7 | EdwardKmett, EricMertens, ryanglscott |
| bound-extras | 13 | 0.0 | 0 | ScopeH and ScopeT extras for bound | (bsd3, compilers, interpreters, language, library) | 2024-08-03 | 0.0.3 | phadej |
| bound-simple | 6 | 2.0 | 0 | A lightweight implementation of 'bound' | (bsd3, language, library) | 2021-10-18 | 0.2.0.0 | ocramz |
| brain-bleep | 9 | 0.0 | 1 | primitive imperative language | (bsd3, language, program) | 2019-05-22 | 0.1.0.2 | AlanHawkins |
| brainfuck-tut | 33 | 0.0 | 1 | A simple BF interpreter. | (bsd3, language, library, program) | 2016-12-30 | 0.7.0.2 | alleledev |
| bricks (deprecated) | 10 | 0.0 | 1 | Bricks is a lazy functional language based on Nix. | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| bricks-internal (deprecated) | 5 | 0.0 | 5 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| bricks-internal-test (deprecated) | 4 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| bricks-parsec (deprecated) | 3 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| bricks-rendering (deprecated) | 3 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| bricks-syntax (deprecated) | 3 | 0.0 | 3 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
| brittany | 82 | 0.0 | 1 | Haskell source code formatter | (agpl, language, library, program) | 2022-01-13 | 0.14.0.2 | lspitzner, fozworth, dukerutledge |
| broker-haskell | 5 | 0.0 | 1 | Haskell bindings to Broker, Bro's messaging library. | (bsd3, language, library) | 2015-08-16 | 0.1.0.0 | DavidBanas |
| c-dsl | 11 | 0.0 | 2 | A higher level DSL on top of language-c | (language, library, mit) | 2014-05-07 | 0.3.1 | jozefg |
| c0check | 9 | 0.0 | 1 | Simple C0 Syntax Check | (language, program) | 2013-01-04 | 0.2 | DanielSeidel, JanisVoigtlaender |
| c0parser | 8 | 0.0 | 1 | Simple C0 Parser | (language, library) | 2013-01-04 | 0.2 | DanielSeidel, JanisVoigtlaender |
| c2ats | 6 | 2.0 | 0 | Translate C code into ATS | (gpl, language, library, program) | 2016-09-17 | 0.1.0.1 | KiwamuOkabe |
| caledon | 20 | 2.25 | 1 | a logic programming language based on the calculus of constructions | (gpl, interpreter, language, program) | 2016-07-06 | 3.2.2.0 | MatthewMirman |
| call-alloy | 153 | 0.0 | 0 | A simple library to call Alloy given a specification | (language, library, mit) | 2024-04-24 | 0.5.0.1 | marcellus |
| call-plantuml | 39 | 0.0 | 0 | A simple library to call PlantUML given a diagram specification | (graphics, language, library, mit) | 2023-12-06 | 0.0.1.3 | marcellus |
| calligraphy | 32 | 0.0 | 0 | HIE-based Haskell call graph and source code visualizer | (bsd3, development, haskell, language, library, program) | 2023-06-26 | 0.1.6 | jonascarpay |
| camfort | 65 | 0.0 | 1 | CamFort - Cambridge Fortran infrastructure | (analysis, apache, fortran, language, library, program) | 2022-10-12 | 1.2.0 | DominicOrchard, mdanish, madgen, raehik |
| cao | 7 | 0.0 | 1 | CAO Compiler | (compiler, cryptography, language, program) | 2014-04-07 | 0.1.1 | paufil, tfaoliveira, mbbarbosa |
| cap | 9 | 0.0 | 1 | Interprets and debug the cap language. | (bsd3, language, program) | 2008-09-28 | 1.0.1 | ThomasDavie |
| cdeps | 57 | 0.0 | 3 | Extract dependencies from C code. | (bsd3, c, development, language, library, program) | 2020-06-24 | 0.1.3.1 | vmchale |
| cg | 6 | 0.0 | 1 | Parser for categorial grammars. | (gpl, language, program) | 2015-05-29 | 0.0.9.0 | pepijnkokke |
| chalmers-lava2000 | 35 | 0.0 | 2 | Hardware description EDSL | (bsd3, hardware, language, library) | 2016-05-19 | 1.6.1 | EmilAxelsson |
| cil | 14 | 0.0 | 1 | An interface to CIL. | (bsd3, language, library) | 2010-11-10 | 0.1.1 | TomHawkins |
| circ | 18 | 0.0 | 1 | A Compiler IR Compiler. | (bsd3, compiler, language, library) | 2012-08-01 | 0.0.4 | TomHawkins |
| clang-compilation-database | 10 | 0.0 | 1 | JSON Compilation Database Format encoding and decoding | (language, library, mit) | 2018-03-09 | 0.1.0.1 | AlekseyKliger |
| clang-pure | 48 | 0.0 | 1 | Pure C++ code analysis with libclang | (apache, language, library) | 2020-01-31 | 0.2.0.6 | PatrickChilton |
| clash (deprecated in favor of clash-ghc) | 46 | 0.0 | 1 | CAES Language for Synchronous Hardware (CLaSH) | (bsd3, deprecated, hardware, language, library) | 2011-12-02 | 0.1.3.11 | ChristiaanBaaij |
| cleff | 42 | 1.75 | 1 | Fast and concise extensible effects | (bsd3, control, effect, language, library) | 2022-05-21 | 0.3.3.0 | daylily |
| cleff-plugin | 6 | 2.0 | 0 | Automatic disambiguation for extensible effects | (bsd3, control, effect, language, library) | 2022-03-13 | 0.1.0.0 | daylily |
| clogparse | 11 | 0.0 | 1 | Parse IRC logs such as the #haskell logs on tunes.org | (bsd3, irc, language, library, text) | 2010-10-02 | 0.2 | KeeganMcAllister |
| clr-bindings | 12 | 0.0 | 1 | Glue between clr-host and clr-typed | (.net, bsd3, clr, ffi, language, library) | 2017-08-05 | 0.2.0 | PepeIborra, TimMatthews |
| clr-host | 11 | 0.0 | 3 | Hosting the Common Language Runtime | (.net, bsd3, clr, ffi, language, library) | 2018-10-01 | 0.2.1.0 | PepeIborra, TimMatthews, moodmosaic |
| clr-inline | 8 | 0.0 | 1 | Quasiquoters for inline C# and F# | (.net, bsd3, clr, ffi, language, library) | 2017-10-08 | 0.2.0.1 | PepeIborra, TimMatthews, moodmosaic |
| clr-marshal | 10 | 0.0 | 4 | Marshaling for the clr | (.net, bsd3, clr, ffi, language, library) | 2017-08-05 | 0.2.0.0 | PepeIborra, TimMatthews, moodmosaic |
| clr-typed | 11 | 0.0 | 1 | A strongly typed Haskell interface to the CLR type system | (.net, bsd3, clr, ffi, language, library) | 2017-08-05 | 0.2.0 | PepeIborra, TimMatthews |
| clr-win-linker | 10 | 0.0 | 1 | A GHC linker wrapper tool to workaround a GHC >8.2 bug | (.net, bsd3, clr, ffi, language, program) | 2017-04-25 | 0.1.0.0 | PepeIborra, TimMatthews |
| clua | 9 | 0.0 | 1 | C to Lua data wrapper generator | (bsd3, language, program) | 2012-04-04 | 0.3 | TomSchouten |
| cmake-syntax | 8 | 0.0 | 0 | Parser for the CMake syntax (CMakeLists.txt and .cmake files) | (bsd3, language, library) | 2019-08-03 | 0.1.0.0 | 0xd34df00d |
| cmonad | 19 | 0.0 | 1 | A library for C-like programming | (bsd3, language, library) | 2009-03-29 | 0.1.1.1 | LennartAugustsson |
| co-feldspar | 7 | 0.0 | 0 | Hardware software co-design Feldspar | (bsd3, language, library) | 2021-06-15 | 0.1.0.1 | mararon |
| codec-beam | 14 | 0.0 | 1 | Erlang VM byte code assembler | (bsd3, codec, language, library) | 2018-07-06 | 0.2.0 | hkgumbs |
| codo-notation | 7 | 0.0 | 1 | A notation for comonads, analogous to the do-notation for monads. | (bsd3, language, library) | 2012-11-22 | 0.5.2 | DominicOrchard |
| coformat | 11 | 0.0 | 0 | Generate clang-format config based on some existing code base | (bsd3, language, library, program) | 2019-12-30 | 0.3.0.0 | 0xd34df00d |
| combinator-interactive | 9 | 0.0 | 1 | SKI Combinator interpreter | (bsd3, language, library, program) | 2013-09-07 | 0.1.2 | FumiakiKinoshita |
| compilation | 10 | 0.0 | 2 | Haskell functionality for quickly assembling simple compilers. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
| compstrat | 11 | 0.0 | 1 | Strategy combinators for compositional data types | (bsd3, generics, language, library) | 2015-03-24 | 0.1.0.2 | JamesKoppel |
| config-schema | 97 | 2.0 | 3 | Schema definitions for the config-value package | (language, library) | 2022-08-10 | 1.3.0.0 | EricMertens |
| config-value | 143 | 2.5 | 6 | Simple, layout-based value language similar to YAML or JSON | (language, library, mit) | 2022-08-10 | 0.8.3 | EricMertens |
| context-free-grammar | 18 | 0.0 | 1 | Basic algorithms on context-free grammars | (bsd3, language, library) | 2021-05-29 | 0.1.1 | nedervold |
| control-dsl | 37 | 1.75 | 1 | An alternative to monads in do-notation | (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism) | 2018-10-18 | 0.2.1.3 | yangbo |
| copilot | 198 | 2.0 | 6 | A stream DSL for writing embedded C programs. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-bluespec | 25 | 0.0 | 0 | A compiler for Copilot targeting FPGAs. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, ryanglscott, galoisinc |
| copilot-c99 | 213 | 0.0 | 8 | A compiler for Copilot targeting C99. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-cbmc | 25 | 0.0 | 2 | Copilot interface to a C model-checker. | (bsd3, embedded, language, library) | 2017-07-12 | 2.2.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-core | 161 | 0.0 | 11 | An intermediate representation for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, agoodloe, frankdedden |
| copilot-frp-sketch | 4 | 0.0 | 0 | FRP sketch programming with Copilot | (bsd3, embedded, language, library) | 2022-02-14 | 1.0.0 | JoeyHess |
| copilot-interpreter | 75 | 0.0 | 1 | Interpreter for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez |
| copilot-language | 188 | 0.0 | 8 | A Haskell-embedded DSL for monitoring hard real-time distributed systems. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-libraries | 172 | 0.0 | 3 | Libraries for the Copilot language. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-prettyprinter | 69 | 0.0 | 4 | A prettyprinter of Copilot Specifications. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez |
| copilot-sbv | 25 | 0.0 | 3 | A compiler for CoPilot targeting SBV. | (bsd3, embedded, language, library) | 2017-07-12 | 2.2.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-theorem | 133 | 0.0 | 3 | k-induction for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-verifier | 25 | 0.0 | 0 | System for verifying the correctness of generated Copilot programs | (bsd3, language, library, program) | 2024-11-08 | 4.1 | IvanPerez, ryanglscott, galoisinc |
| core | 13 | 0.0 | 1 | External core parser and pretty printer. | (bsd3, language, library) | 2009-04-08 | 0.5 | DavidHimmelstrup |
| core-compiler | 18 | 0.0 | 0 | compile your own mini functional language with Core | (compiler, language, library, mit, program) | 2017-08-06 | 0.1.0.2 | aneksteind |
| core-haskell | 15 | 0.0 | 1 | A subset of Haskell using in UCC for teaching purpose | (bsd3, compilers-interpreters, language, program) | 2014-03-13 | 0.6.4 | happlebao |
| corenlp-types | 4 | 0.0 | 0 | Types for interaction with CoreNLP | (agpl, language, library) | 2023-12-04 | 0.1.0.0 | cgenie |
| cparsing | 8 | 0.0 | 1 | A simple C++ parser with preprocessor features. C++ refactorings included. | (bsd3, language, library) | 2017-11-16 | 0.1.0.0 | lazac |
| crucible | 14 | 0.0 | 5 | Crucible is a library for language-agnostic symbolic simulation | (bsd3, language, library) | 2024-08-30 | 0.7.1 | ryanglscott, galoisinc, mccleeary |
| crucible-llvm | 16 | 0.0 | 2 | Support for translating and executing LLVM code in Crucible | (bsd3, language, library) | 2024-08-30 | 0.7 | ryanglscott, galoisinc, mccleeary |
| crucible-symio | 14 | 0.0 | 2 | An implementation of symbolic I/O primitives for Crucible | (bsd3, language, library) | 2024-08-30 | 0.1.1 | ryanglscott, galoisinc, mccleeary |
| crux | 16 | 0.0 | 2 | Simple top-level library for Crucible Simulation | (bsd3, language, library) | 2024-08-30 | 0.7.1 | ryanglscott, galoisinc, mccleeary |
| crux-llvm | 13 | 0.0 | 1 | A verification tool for C programs. | (bsd3, language, library, program) | 2024-08-30 | 0.9 | ryanglscott, galoisinc, mccleeary |
| cryptol | 79 | 0.0 | 1 | Cryptol: The Language of Cryptography | (bsd3, language, library, program) | 2024-08-20 | 3.2.0 | IavorDiatchki, ryanglscott, galoisinc, mccleeary |
| cspretty | 4 | 0.0 | 1 | AST and pretty printer for CSPm | (bsd3, language, library) | 2016-11-30 | 1.0 | ccasin |
| css (deprecated) | 11 | 0.0 | 1 | Minimal monadic CSS DSL. | (bsd3, deprecated, language, library) | 2014-12-08 | 0.2 | |
| cube | 6 | 0.0 | 1 | Cubic DSL for 3D printing | (bsd3, language, library) | 2015-04-15 | 0.2.0 | junjihashimoto |
| curry-base | 43 | 0.0 | 2 | Functions for manipulating Curry programs | (bsd3, language, library) | 2019-11-22 | 1.1.1 | BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage |
| curry-frontend | 60 | 2.0 | 2 | Compile the functional logic language Curry to several intermediate formats | (bsd3, language, library, program) | 2021-02-11 | 2.0.0 | BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage |
| dap | 5 | 0.0 | 0 | A debug adaptor protocol library | (bsd3, debuggers, language, library) | 2023-09-15 | 0.1.0.0 | CsabaHruska, DavidJohnson |
| data-reify | 338 | 0.0 | 13 | Reify a recursive data structure into an explicit graph. | (bsd3, data, language, library, parsing, reflection) | 2024-10-27 | 0.6.4 | AndyGill, ryanglscott |
| data-reify-cse | 10 | 0.0 | 1 | Common Sub-Expression Elimination for graphs generated by Data.Reify. | (bsd3, data, language, library) | 2013-05-08 | 0.0.3 | SebastiaanVisser |
| data-treify | 15 | 0.0 | 3 | Reify a recursive data structure into an explicit graph. | (bsd3, data, language, library, parsing, reflection-) | 2014-03-18 | 0.3.4 | ConalElliott |
| deepl | 13 | 0.0 | 0 | Call DeepL to translate you files | (bsd3, language, library, program, web) | 2021-04-16 | 0.1.0.1 | PaoloVeronelli |
| derive-gadt | 7 | 0.0 | 1 | Instance deriving for (a subset of) GADTs. | (bsd3, development, language, library, program) | 2009-07-25 | 0.1.1 | MattMorrow |
| descript-lang | 6 | 0.0 | 0 | Library, interpreter, and CLI for Descript programming language. | (gpl, language, library, program) | 2018-05-20 | 0.2.0.0 | jakobeha |
| desert | 17 | 0.0 | 0 | a simple build tool for OCaml projects | (bsd3, language, library, program) | 2016-08-24 | 0.1.0.6 | zjhsdtc |
| dhall-lex | 15 | 0.0 | 1 | Lexer for the Dhall language | (bsd3, dhall, language, lexers, library) | 2018-03-25 | 0.2.0.0 | |
| dictparser | 25 | 0.0 | 1 | Parsec parsers for the DICT format produced by dictfmt -t | (bsd3, language, library, program) | 2014-01-10 | 0.3.0.0 | MarkWotton |
| dino | 15 | 0.0 | 0 | A convenient tagless EDSL | (bsd3, language, library) | 2022-05-27 | 0.1.3 | EmilAxelsson |
| disco | 19 | 0.0 | 0 | Functional programming language for teaching discrete math. | (bsd3, language, library, program) | 2023-12-16 | 0.1.6 | BrentYorgey |
| discokitty | 11 | 0.0 | 0 | DisCoCat implementation. | (gpl, language, library) | 2019-05-13 | 0.1.0 | mroman42 |
| djinn-ghc | 20 | 0.0 | 2 | Generate Haskell code from a type. Bridge from Djinn to GHC API. | (bsd3, language, library) | 2015-01-11 | 0.0.2.3 | AlejandroSerrano |
| djinn-lib | 28 | 0.0 | 2 | Generate Haskell code from a type. Library extracted from djinn package. | (bsd3, language, library) | 2022-05-21 | 0.0.1.4 | AlejandroSerrano |
| djinn-th | 9 | 0.0 | 1 | Generate executable Haskell code from a type | (bsd3, language, library) | 2010-08-03 | 0.0.1 | ClaudeHeilandAllen |
| do-notation | 18 | 0.0 | 1 | Generalize do-notation to work on monads and indexed monads simultaneously. | (bsd3, language, library) | 2018-09-09 | 0.1.0.2 | isovector |
| do-notation-dsl (deprecated in favor of control-dsl) | 21 | 0.0 | 1 | An alternative to monads | (bsd3, control, deprecated, dsl, effect, general, io, language, library, mutable-state, polymorphism) | 2018-10-02 | 0.1.0.3 | yangbo |
| dobutokO-poetry | 81 | 0.0 | 0 | Helps to order the 7 or less Ukrainian words to obtain somewhat suitable for poetry or music text | (Ukrainian, game, language, library, mit, phonetic-languages, poetry, program, uniqueness) | 2020-09-07 | 0.17.0.0 | OleksandrZhabenko |
| dobutokO-poetry-general | 7 | 0.0 | 2 | Helps to order the 7 or less words (first of all the Ukrainian ones) to obtain somewhat suitable for poetry or music text | (game, language, library, mit) | 2020-08-16 | 0.1.0.0 | OleksandrZhabenko |
| dobutokO-poetry-general-languages | 10 | 0.0 | 0 | Helps to order the 7 or less words to obtain somewhat suitable for poetry or music text | (game, language, library, mit, uniqueness, uniquenessPeriods) | 2020-08-18 | 0.2.0.0 | OleksandrZhabenko |
| dobutokO2 | 152 | 0.0 | 2 | Helps to create experimental music from a file (or its part) and a Ukrainian text. | (Ukrainian, algorithmic-composition, language, library, mit, music, program, rhythm, sound, sox, timbre, tonality) | 2020-08-16 | 0.43.0.0 | OleksandrZhabenko |
| dove | 12 | 0.0 | 1 | The Dove verification language. | (bsd3, formal-methods, language, library) | 2015-04-28 | 0.0.0 | TomHawkins |
| dovetail | 5 | 0.0 | 1 | A PureScript interpreter with a Haskell FFI. | (bsd3, language, library) | 2021-11-18 | 0.1.1.0 | PhilFreeman |
| dovetail-aeson | 4 | 0.0 | 0 | Use Aeson from your Dovetail programs | (bsd3, language, library) | 2021-11-13 | 0.1.0.0 | PhilFreeman |
| drmaa | 15 | 0.0 | 3 | A Haskell bindings to the DRMAA C library. | (bsd3, language, library) | 2018-12-05 | 0.3.0 | kaizhang |
| ds-kanren | 8 | 0.0 | 1 | A subset of the miniKanren language | (language, library, mit) | 2014-10-09 | 0.2.0.1 | jozefg |
| each | 11 | 2.25 | 1 | Template Haskell library for writing monadic expressions more easily | (bsd3, language, library) | 2018-11-30 | 1.1.1.0 | dramforever, ice1000 |
| ecma262 | 8 | 0.0 | 3 | A ECMA-262 interpreter library | (bsd2, language, library, program) | 2014-12-12 | 0.0.0 | FabianBergmark |
| effective-aspects | 5 | 0.0 | 1 | A monadic embedding of aspect oriented programming | (aop, aspect-oriented-programming, language, library, monads) | 2014-01-15 | 0.1.0.0 | IsmaelFigueroa |
| effective-aspects-mzv | 8 | 0.0 | 1 | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl. | (aop, aspect-oriented-programming, language, library, monads) | 2014-04-16 | 0.1.0.1 | IsmaelFigueroa |
| eflint | 17 | 0.0 | 0 | Simulation interpreter for FLINT policy descriptions | (bsd3, language, library, program) | 2024-02-10 | 3.1.0.2 | ltvanbinsbergen |
| egison-pattern-src | 29 | 0.0 | 4 | Manipulating Egison patterns: abstract syntax, parser, and pretty-printer | (bsd3, language, library, parser, pretty-printer) | 2020-11-03 | 0.2.1.2 | SatoshiEgi, coord_e, momohatt |
| egison-pattern-src-haskell-mode | 17 | 0.0 | 1 | Parser and pretty printer for Egison pattern expressions in Haskell source code | (bsd3, language, library, parser, pretty-printer) | 2020-11-03 | 0.2.1.2 | SatoshiEgi, coord_e, momohatt |
| egison-pattern-src-th-mode | 17 | 0.0 | 2 | Parser and pretty printer for Egison pattern expressions to use with TH | (bsd3, language, library, parser, pretty-printer, template-haskell) | 2020-11-03 | 0.2.1.2 | SatoshiEgi, coord_e, momohatt |
| egison-quote | 10 | 0.0 | 1 | A quasi quotes for using Egison expression in Haskell code | (language, library, mit) | 2012-09-07 | 0.2 | TakuyaKuwahara |
| ehs | 9 | 0.0 | 1 | Embedded haskell template using quasiquotes. | (language, library, mit, template, text) | 2015-03-15 | 0.7.0 | minpou |
| elm-bridge | 101 | 2.0 | 2 | Derive Elm types and Json code from Haskell types, using aeson's options | (bsd3, compiler, language, library, web) | 2024-09-26 | 0.8.4 | AlexanderThiemann, SimonMarechal |
| elm-build-lib (deprecated) | 10 | 0.0 | 1 | Compile Elm code to JS within Haskell | (bsd3, compiler, deprecated, language, library) | 2014-12-13 | 0.14.0.0 | jeremondi |
| elm-compiler (deprecated) | 15 | 2.0 | 3 | Values to help with elm-package, elm-make, and elm-lang.org. | (bsd3, compiler, deprecated, language, library, program) | 2015-04-20 | 0.15 | EvanCzaplicki |
| elm-core-sources | 9 | 0.0 | 2 | Source files for the Elm runtime and standard libraries | (bsd3, compiler, language, library) | 2014-12-11 | 1.0.0 | jeremondi |
| elm-get (deprecated in favor of elm-package) | 16 | 0.0 | 1 | Tool for sharing and using Elm libraries | (bsd3, deprecated, language, library, program) | 2014-09-22 | 0.1.3 | EvanCzaplicki |
| elm-package (deprecated) | 11 | 0.0 | 1 | Package manager for Elm libraries | (bsd3, deprecated, language, library, program) | 2015-04-20 | 0.5 | EvanCzaplicki |
| elm-reactor (deprecated) | 20 | 0.0 | 1 | Interactive development tool for Elm programs | (bsd3, compiler, deprecated, language, program) | 2015-04-20 | 0.3.1 | EvanCzaplicki |
| elm-server (deprecated in favor of elm-reactor) | 42 | 0.0 | 1 | Server for developing Elm projects | (bsd3, compiler, deprecated, language, program) | 2014-05-20 | 0.11.0.1 | EvanCzaplicki |
| elm-street | 41 | 0.0 | 0 | Crossing the road between Haskell and Elm | (compiler, elm, language, library, mpl, program) | 2024-05-16 | 0.2.2.1 | vrom911, HolmuskTechTeam |
| elm-syntax | 28 | 0.0 | 4 | Elm syntax and pretty-printing | (bsd3, compiler, elm, language, library) | 2023-12-02 | 0.3.3.0 | OliverCharles, OlleFredriksson, GeorgeThomas, rickowens |
| elsa | 27 | 0.0 | 0 | A tiny language for understanding the lambda-calculus | (language, library, mit, program) | 2022-09-28 | 0.2.2.0 | ranjitjhala |
| enchant | 5 | 0.0 | 1 | Binding to the Enchant library | (bsd3, language, library) | 2016-06-22 | 0.1.0.0 | kseo |
| ewe | 25 | 0.0 | 1 | An interpreter for EWE programming language | (bsd3, language, program) | 2019-02-04 | 0.3.1.1 | JuanFranciscoCardonaMcCormick |
| exception-hierarchy | 69 | 0.0 | 4 | Exception type hierarchy with TemplateHaskell | (bsd3, language, library) | 2023-12-27 | 0.1.0.11 | YoshikuniJujo |
| exference | 3 | 0.0 | 0 | Tool to search/generate (haskell) expressions with a given type | (bsd3, language, library) | 2017-02-13 | 1.6.0.0 | lspitzner |
| explain | 6 | 0.0 | 1 | Show how expressions are parsed | (language, mit, program) | 2014-01-13 | 0.1.0.1 | JoelTaylor |
| extcore | 32 | 2.0 | 1 | Libraries for processing GHC Core | (bsd3, language, library) | 2013-04-21 | 1.0.2 | TimChevalier |
| fault-tree | 5 | 0.0 | 1 | A fault tree analysis library. | (bsd3, embedded, language, library) | 2011-01-04 | 0.0.0 | TomHawkins |
| feldspar-language | 38 | 0.0 | 3 | A functional embedded language for DSP and parallelism | (bsd3, language, library) | 2014-06-01 | 0.7 | AndersPersson, EmilAxelsson |
| feldspar-signal | 6 | 0.0 | 1 | Signal Processing extension for Feldspar | (bsd3, language, library) | 2015-06-11 | 0.0.1.0 | EmilAxelsson, mararon |
| first-class-instances | 3 | 0.0 | 0 | First class typeclass instances | (bsd3, language, library) | 2020-02-02 | 0.1.0.0 | lyxia, TheMatten |
| foma | 18 | 0.0 | 1 | Simple Haskell bindings for Foma. | (language, library, mit) | 2021-01-28 | 0.1.2.0 | joom |
| formura | 5 | 0.0 | 0 | Formura is a simple language to describe stencil computation. | (language, library, mit, program) | 2015-12-04 | 1.0 | TakayukiMuranushi |
| forsyde-deep | 4 | 0.0 | 0 | ForSyDe's Haskell-embedded Domain Specific Language. | (bsd3, hardware, language, library) | 2018-12-26 | 0.2.0 | ugeorge, ingo, JorRodolfo |
| forsyde-shallow | 17 | 0.0 | 1 | ForSyDe's Haskell-embedded Domain Specific Language. | (bsd3, language, library) | 2021-03-19 | 3.5.0.0 | ugeorge, ingo, JorRodolfo |
| forth-hll (deprecated) | 6 | 0.0 | 1 | A simple eDSL for generating arrayForth code. | (deprecated, gpl, language, library) | 2013-01-06 | 0.1.0.0 | TikhonJelvis |
| fortran-src | 93 | 0.0 | 3 | Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). | (apache, language, library, program) | 2024-09-30 | 0.16.3 | DominicOrchard, mdanish, madgen, raehik |
| fortran-src-extras | 24 | 0.0 | 1 | Common functions and utils for fortran-src. | (apache, language, library, program) | 2023-05-04 | 0.5.0 | raehik |
| fortran-vars | 15 | 0.0 | 0 | Fortran memory model and other static analysis tools. | (apache, language, library, program) | 2023-06-22 | 0.4.0 | raehik |
| fractionizer | 49 | 0.0 | 0 | Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types. | (#AncientEgypt, language, library, math, mit, music, sound) | 2023-10-19 | 0.17.0.0 | OleksandrZhabenko |
| free-theorems | 27 | 0.0 | 3 | Automatic generation of free theorems. | (language, library, public-domain) | 2022-12-21 | 0.3.2.1 | DanielSeidel, JanisVoigtlaender, JoachimBreitner |
| free-theorems-counterexamples | 14 | 0.0 | 1 | Automatically Generating Counterexamples to Naive Free Theorems | (language, library, program, public-domain) | 2013-02-14 | 0.3.1.0 | DanielSeidel, JanisVoigtlaender |
| free-theorems-seq | 5 | 0.0 | 1 | Taming Selective Strictness | (language, library, public-domain) | 2011-03-11 | 1.0 | DanielSeidel, JanisVoigtlaender |
| free-theorems-seq-webui | 7 | 0.0 | 1 | Taming Selective Strictness | (language, program, public-domain) | 2011-03-30 | 1.0.0.2 | DanielSeidel, JanisVoigtlaender |
| free-theorems-webui | 14 | 0.0 | 1 | CGI-based web interface for the free-theorems package. | (language, program, public-domain) | 2013-02-18 | 0.2.1.1 | DanielSeidel, JanisVoigtlaender, MatthiasBartsch |
| freesect | 12 | 0.0 | 1 | A Haskell syntax extension for generalised sections | (bsd3, language, program) | 2012-03-21 | 0.8 | AndrewSeniuk |
| fregel | 6 | 0.0 | 0 | A functional DSL for vertex-centric large-scale graph processing | (language, mit, program) | 2023-07-20 | 1.2.0 | KentoEmoto |
| fresh | 9 | 0.0 | 1 | Introduce fresh variables into Haskell source code | (language, library, mit) | 2012-01-03 | 0.1.1 | DavidLazar |
| frp-arduino | 17 | 0.0 | 1 | Arduino programming without the hassle of C. | (gpl, language, library) | 2018-03-26 | 0.1.1.0 | RickardLindberg, JeremyWright |
| ft-generator | 10 | 0.0 | 0 | implementation accompanying a WFLP'19 paper | (language, program) | 2019-08-29 | 1.0.1 | JanisVoigtlaender |
| ftshell | 13 | 0.0 | 1 | Shell interface to the FreeTheorems library. | (language, program, public-domain, source-tools) | 2010-10-12 | 0.3.0.1 | JanisVoigtlaender, JoachimBreitner, MatthiasBartsch |
| funcons-lambda-cbv-mp | 6 | 0.0 | 1 | call-by-value lambda-calculus with meta-programming | (bsd3, language, program) | 2018-07-08 | 0.1.0.2 | ltvanbinsbergen |
| funpat | 5 | 0.0 | 1 | A generalization of pattern matching | (bsd3, language, library) | 2011-07-01 | 0.1 | GergelyDevai |
| gender | 12 | 0.0 | 1 | Identify a persons gender by their first name | (language, lgpl, library, program) | 2013-02-16 | 0.1.1.0 | KraniumGikos |
| ghc-core-smallstep | 3 | 0.0 | 1 | A small-step semantics for Core | (language, library, mit) | 2018-04-10 | 0.1.0.1 | JoachimBreitner |
| ghc-justdoit | 9 | 0.0 | 1 | A magic typeclass that just does it | (language, library, mit) | 2022-08-01 | 0.1.0.2 | JoachimBreitner |
| ghc-options | 10 | 0.0 | 1 | Utilities for extracting GHC options needed to compile a given Haskell target. | (language, library, mit, program) | 2015-12-16 | 0.2.0.0 | ranjitjhala |
| ghc-parser | 119 | 0.0 | 2 | Haskell source parser from GHC. | (language, library, mit) | 2024-11-03 | 0.2.7.0 | gibiansky, VaibhavSagar |
| ghc-session | 11 | 0.0 | 0 | Simplified GHC API | (language, library, mit, program) | 2016-02-18 | 0.1.2.1 | danilo2, PiotrMlodawski, iamrecursion |
| ghc-srcspan-plugin | 25 | 0.0 | 1 | Generic GHC Plugin for annotating Haskell code with source location data. | (bsd3, language, library) | 2017-12-21 | 0.2.2.1 | EricSeidel |
| ghci-lib | 5 | 0.0 | 2 | A library for interactively evaluating Haskell code. | (language, library, mit) | 2014-02-16 | 0.1.0.0 | gibiansky |
| ghci-websockets | 13 | 0.0 | 0 | A websocket server that survives GHCi reloads | (bsd3, language, library) | 2019-07-16 | 0.0.2 | jfmueller |
| gimlh | 16 | 0.0 | 2 | Haskell parser for GIML | (language, library, mit) | 2015-04-16 | 0.1.3.0 | gazay |
| global | 14 | 0.0 | 1 | Library enabling unique top-level declarations | (bsd3, data, language, library, system) | 2014-12-02 | 0.2.1.0 | ByronJohnson |
| glualint | 14 | 0.0 | 0 | Attempts to fix your syntax erroring Lua files. | (language, lgpl, library) | 2024-07-01 | 1.29.0 | FPtje |
| goldplate | 39 | 0.0 | 0 | A lightweight golden test runner | (apache, language, library, program) | 2024-09-30 | 0.2.2.1 | AndreasAbel, JasperVanDerJeugt |
| google-search | 14 | 0.0 | 2 | EDSL for Google and GMail search expressions | (bsd3, language, library, text, web) | 2016-03-31 | 0.2.0.0 | LiyangHu |
| graphql | 110 | 2.25 | 5 | Haskell GraphQL implementation | (language, library) | 2024-10-26 | 1.4.0.0 | jdnavarro, belka |
| graphql-spice | 31 | 0.0 | 1 | GraphQL with batteries | (language, library, mpl) | 2024-10-24 | 1.0.4.0 | belka |
| graphql-w-persistent | 90 | 2.0 | 1 | GraphQL interface middleware for SQL databases. | (data, database, development, graphs, language, library) | 2020-09-18 | 0.9.1.0 | jasonsychau |
| hakaru | 28 | 0.0 | 2 | A probabilistic programming language | (bsd3, language, library, program) | 2020-11-02 | 0.7.0 | pravnar, z |
| halfsplit | 21 | 0.0 | 2 | A library to provide special kind of two-column output for Phladiprelio. | (PhLADiPreLiO, data, language, library, mit) | 2024-04-08 | 0.4.3.0 | OleksandrZhabenko |
| halide-JuicyPixels | 5 | 0.0 | 0 | Integration between Halide and JuicyPixels | (bsd3, language, library) | 2023-05-22 | 0.0.2.1 | tom_westerhout |
| halide-arrayfire | 3 | 0.0 | 0 | Integration between Halide and ArrayFire | (bsd3, language, library) | 2023-05-22 | 0.0.2.0 | tom_westerhout |
| halide-haskell | 8 | 0.0 | 2 | Haskell bindings to Halide | (bsd3, language, library, program) | 2023-05-22 | 0.0.2.0 | tom_westerhout |
| hanspell | 18 | 2.0 | 0 | Korean spell checker | (korean, language, library, mit, program, spellchecker) | 2021-09-19 | 0.2.6.1 | 9beach |
| happstack-facebook (deprecated in favor of fb) | 25 | 0.0 | 1 | A package for building Facebook applications using Happstack | (bsd3, deprecated, language, library, web) | 2011-02-06 | 0.30 | JeremyShaw |
| happy-dot | 11 | 0.0 | 1 | Parser for dot made with happy. | (gpl, language, library) | 2019-12-21 | 1.0.0.0 | mgmillani |
| haquil | 13 | 0.0 | 1 | A Haskell implementation of the Quil instruction set for quantum computing. | (language, library, mit) | 2018-03-05 | 0.2.1.14 | BrianBush |
| hardware-edsl | 17 | 0.0 | 2 | Deep embedding of hardware descriptions with code generation. | (bsd3, language, library) | 2021-06-15 | 0.1.6 | mararon |
| harp | 47 | 0.0 | 6 | HaRP allows pattern-matching with regular expressions | (bsd3, language, library) | 2023-01-23 | 0.4.3.6 | DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg |
| hascalam | 10 | 0.0 | 0 | Haskell to and from Scalameta | (language, library, mit) | 2024-07-07 | 0.1.1.2 | sjbiaga |
| haskarrow | 6 | 0.0 | 1 | A dialect of haskell with order of execution based on dependency resolution | (gpl, language, program) | 2012-08-04 | 0.0 | TimothyHobbs |
| haskell-brainfuck | 7 | 0.0 | 1 | BrainFuck interpreter | (language, library, mit, program) | 2014-08-08 | 0.1.0.1 | paraseba |
| haskell-coffee | 6 | 0.0 | 2 | Simple CoffeeScript API | (gpl, language, library) | 2015-07-19 | 0.1.0.2 | KevinVanRooijen |
| haskell-exp-parser | 15 | 0.0 | 2 | Simple parser parser from Haskell to TemplateHaskell expressions | (bsd3, language, library) | 2020-10-17 | 0.1.4 | EmilAxelsson |
| haskell-generate | 20 | 0.0 | 2 | Typesafe generation of haskell source code | (bsd3, code-generation, language, library) | 2016-01-02 | 0.2.4 | BennoFuenfstueck |
| haskell-holes-th | 14 | 2.0 | 1 | Infer haskell code by given type. | (language, library, mit) | 2019-08-24 | 2.0.0.0 | klntsky |
| haskell-lexer | 457 | 0.0 | 8 | A fully compliant Haskell 98 lexer | (language, library, mit) | 2024-10-29 | 1.1.2 | IavorDiatchki |
| haskell-lsp-client (deprecated) | 6 | 2.0 | 0 | A haskell package to build your own Language Server client. | (deprecated, development, gpl, language, library, program, protocol) | 2017-12-29 | 1.0.0.1 | |
| haskell-names | 169 | 2.25 | 5 | Name resolution library for Haskell | (bsd3, language, library) | 2020-05-26 | 0.9.9 | AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster |
| haskell-rules | 8 | 0.0 | 1 | A DSL for expressing natural deduction rules in Haskell. | (gpl, language, library) | 2015-01-16 | 0.1.0.1 | spacekitteh |
| haskell-src | 143 | 0.0 | 40 | Support for manipulating Haskell source code | (bsd3, language, library) | 2024-09-22 | 1.0.4.1 | AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson |
| haskell-src-exts | 766 | 2.5 | 158 | Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer | (bsd3, language, library) | 2020-06-02 | 1.23.1 | AdamBergmark, DanBurton, GwernBranwen, NiklasBroberg, PeterJonsson, RomanCheplyaka, mpickering |
| haskell-src-exts-observe | 5 | 0.0 | 2 | Observable orphan instances for haskell-src-exts | (bsd3, language, library) | 2017-08-17 | 0.1.0 | PepeIborra |
| haskell-src-exts-prisms | 7 | 0.0 | 1 | Prisms with newtype wrappers for haskell-src-exts | (bsd3, language, library) | 2016-08-07 | 1.18.2.0 | DanielWaterworth |
| haskell-src-exts-qq | 54 | 0.0 | 3 | A quasiquoter for haskell-src-exts. | (bsd3, language, library) | 2015-10-14 | 0.7 | MathieuBoespflug |
| haskell-src-exts-sc | 29 | 0.0 | 1 | Pretty print haskell code with comments | (bsd3, language, library) | 2018-04-10 | 0.1.0.6 | achirkin |
| haskell-src-exts-util | 69 | 0.0 | 2 | Helper functions for working with haskell-src-exts trees | (bsd3, language, library) | 2019-04-11 | 0.2.5 | NeilMitchell, PepeIborra |
| haskell-src-meta | 512 | 0.0 | 116 | Parse source to template-haskell abstract syntax. | (bsd3, language, library, template-haskell) | 2024-05-16 | 0.8.14 | AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen |
| haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta) | 9 | 0.0 | 4 | Parse source to template-haskell abstract syntax. | (bsd3, deprecated, language, library) | 2010-07-18 | 0.1.0 | MarkWotton |
| haskell-to-elm | 20 | 0.0 | 1 | Generate Elm types and JSON encoders and decoders from Haskell types | (bsd3, compiler, elm, language, library) | 2021-03-09 | 0.3.2.0 | OlleFredriksson, rickowens |
| haskell-tools-ast | 78 | 0.0 | 13 | Haskell AST for efficient tooling | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-ast-fromghc | 12 | 0.0 | 2 | Creating the Haskell-Tools AST from GHC's representations | (bsd3, language, library) | 2016-10-05 | 0.2.0.0 | lazac |
| haskell-tools-ast-gen | 13 | 0.0 | 2 | Facilities for generating new parts of the Haskell-Tools AST | (bsd3, language, library) | 2016-10-05 | 0.2.0.0 | lazac |
| haskell-tools-ast-trf | 10 | 0.0 | 3 | Conversions on Haskell-Tools AST to prepare for refactorings | (bsd3, language, library) | 2016-10-05 | 0.2.0.0 | lazac |
| haskell-tools-backend-ghc | 52 | 0.0 | 5 | Creating the Haskell-Tools AST from GHC's representations | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-builtin-refactorings | 32 | 0.0 | 4 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-cli | 59 | 0.0 | 0 | Command-line frontend for Haskell-tools Refact | (bsd3, language, library, program) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-daemon | 46 | 0.0 | 1 | Background process for Haskell-tools that editors can connect to. | (bsd3, language, library, program) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-debug | 48 | 0.0 | 0 | Debugging Tools for Haskell-tools | (bsd3, language, library, program) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-demo | 73 | 0.0 | 0 | A web-based demo for Haskell-tools Refactor. | (bsd3, language, library, program) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-experimental-refactorings | 29 | 0.0 | 1 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-prettyprint | 62 | 0.0 | 8 | Pretty printing of Haskell-Tools AST | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-refactor | 84 | 0.0 | 6 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-tools-rewrite | 67 | 0.0 | 3 | Facilities for generating new parts of the Haskell-Tools AST | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
| haskell-type-exts | 5 | 0.0 | 1 | A type checker for Haskell/haskell-src-exts | (bsd3, language, library) | 2012-04-02 | 0.1.0 | NiklasBroberg |
| haskell-typescript | 5 | 0.0 | 1 | Simple TypeScript API | (gpl, language, library) | 2013-10-16 | 0.1.0.0 | DavidJohnson |
| haskellish | 60 | 2.0 | 0 | For parsing Haskell-ish languages | (bsd3, language, library) | 2024-04-18 | 0.3.2.3 | dktr0 |
| haskelm | 16 | 0.0 | 1 | Elm to Haskell translation | (bsd3, compiler, language, library, program) | 2014-03-25 | 0.1.12.0 | jeremondi |
| haskeme | 11 | 0.0 | 0 | Compiler from I- to S-Expressions for the Scheme Programming Language | (bsd3, language, library, program) | 2019-07-18 | 0.1.0.4 | jumper149 |
| haspell | 11 | 0.0 | 1 | Haskell bindings to aspell | (language, library, mit) | 2013-08-26 | 1.1.0 | JoelTaylor |
| hbf | 18 | 0.0 | 0 | An optimizing Brainfuck compiler and evaluator | (gpl, language, library, program) | 2018-07-04 | 0.2.0.0 | paraseba |
| hdis86 | 7 | 0.0 | 2 | Interface to the udis86 disassembler for x86 and x86-64 / AMD64 | (bsd3, disassembler, foreign, language, library, reverse-engineering) | 2011-08-28 | 0.2 | KeeganMcAllister |
| heap-console | 10 | 0.0 | 0 | interactively inspect Haskell values at runtime | (bsd3, language, library) | 2020-11-21 | 0.1.0.1 | TheMatten |
| her-lexer | 14 | 0.0 | 2 | A lexer for Haskell source code. | (language, library, public-domain) | 2012-09-06 | 0.1.1 | TimothyHobbs |
| her-lexer-parsec | 5 | 0.0 | 1 | Parsec frontend to "her-lexer" for Haskell source code. | (language, library, public-domain) | 2012-12-27 | 0.0.0 | TimothyHobbs |
| hermit | 60 | 0.0 | 2 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | 2016-02-23 | 1.0.1 | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
| hermit-syb | 5 | 0.0 | 1 | HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. | (bsd3, language, library, optimization, transformation-) | 2013-11-18 | 0.1.0.0 | AndrewFarmer |
| hexpr | 6 | 0.0 | 2 | A framework for symbolic, homoiconic languages. | (bsd3, language, library) | 2014-04-03 | 0.0.0.0 | ZankokuOkuno |
| hfmt | 54 | 2.25 | 0 | Haskell source code formatter | (language, library, mit, program) | 2021-09-07 | 0.3.0.0 | danielstiner |
| hgrep | 11 | 2.0 | 0 | Search Haskell source code from the command line | (bsd3, language, library, program) | 2017-10-04 | 0.1 | TimHumphries |
| hierarchical-exceptions | 8 | 0.0 | 1 | Template Haskell functions to easily create exception hierarchies | (apache, language, library) | 2014-01-21 | 1.0.1 | BenjaminBarenblat |
| hindley-milner | 6 | 0.0 | 1 | Template for Hindley-Milner based languages | (language, library, mit) | 2016-04-23 | 0.1.0.0 | mbg |
| hindley-milner-type-check | 11 | 0.0 | 0 | Type inference for Hindley-Milner based languages | (language, library, mit) | 2021-06-08 | 0.1.1.0 | AntonKholomiov |
| hint | 295 | 2.5 | 39 | A Haskell interpreter built on top of the GHC API | (bsd3, compilers-interpreters, language, library) | 2023-10-14 | 0.9.0.8 | gelisam, mvdan |
| hint-server | 35 | 0.0 | 5 | A server process that runs hint. | (bsd3, compilers-interpreters, concurrency, language, library) | 2016-11-27 | 1.4.3 | CorentinDupont, FernandoBenavides |
| hinter (deprecated) | 8 | 0.0 | 1 | Runtime Haskell interpreter (GHC API wrapper) | (bsd3, compilers-interpreters, deprecated, language, library) | 2018-05-06 | 0.1.0.0 | |
| hinterface | 41 | 0.0 | 1 | Haskell / Erlang interoperability library | (bsd3, language, library) | 2020-11-30 | 2.0.1 | SvenHeyll, timo_koepke |
| hnock | 14 | 0.0 | 0 | A Nock interpreter. | (language, library, mit, program) | 2019-10-01 | 0.4.0 | JaredTobin |
| ho-rewriting | 8 | 0.0 | 1 | Generic rewrite rules with safe treatment of variables and binders | (bsd3, language, library) | 2018-08-11 | 0.2.1 | EmilAxelsson |
| homplexity | 42 | 1.25 | 1 | Haskell code quality tool | (bsd3, language, library, program, tools) | 2022-10-09 | 0.4.8.1 | MichalGajda |
| hoop | 4 | 0.0 | 0 | Object-Oriented Programming in Haskell | (language, library, mit) | 2020-07-04 | 0.3.0.0 | mbg |
| hopencc | 8 | 0.0 | 1 | Haskell binding to libopencc | (bsd3, language, library) | 2019-10-06 | 0.2.0.0 | PaulMeng |
| hpython | 13 | 2.0 | 0 | Python language tools | (bsd3, language, library, program) | 2019-05-02 | 0.3 | qfpl |
| hruby | 145 | 0.0 | 2 | Embed a Ruby intepreter in your Haskell program ! | (bsd3, language, library) | 2023-11-07 | 0.5.1.0 | SimonMarechal |
| hs-gen-iface (deprecated) | 7 | 0.0 | 1 | Utility to generate haskell-names interface files | (deprecated, language, mit, program) | 2014-11-26 | 0.5.0 | AdamBergmark, RomanCheplyaka, PhilippSchuster |
| hs-inspector | 31 | 0.0 | 1 | Haskell source code analyzer | (language, library, mit) | 2015-05-14 | 0.5.2.0 | flbulgarelli |
| hs-pattrans | 11 | 0.0 | 0 | DSL for musical patterns and transformation, based on contravariant functors. | (bsd3, language, library, program) | 2020-02-12 | 0.1.0.2 | omelkonian |
| hs2ats | 53 | 2.0 | 1 | Create ATS types from Haskell types | (ats, bsd3, haskell, language, library, program) | 2019-10-17 | 0.5.0.1 | vmchale |
| hs2dot | 13 | 0.0 | 1 | Generate graphviz-code from Haskell-code. | (language, program) | 2010-08-15 | 0.1.4 | OscarFinnsson |
| hscolour | 370 | 0.0 | 38 | Colourise Haskell code. | (language, library, program) | 2023-08-30 | 1.25 | DonaldStewart, MalcolmWallace, phadej |
| hse-cpp | 23 | 2.0 | 4 | Preprocess+parse haskell code | (language, library, mit) | 2016-10-06 | 0.2 | AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster |
| hsnock | 18 | 0.0 | 1 | Nock 5K interpreter. | (language, library, program, public-domain) | 2013-11-05 | 0.5.1 | mrdomino |
| hsp | 61 | 0.0 | 30 | Haskell Server Pages is a library for writing dynamic server-side web pages. | (bsd3, language, library, web) | 2013-11-12 | 0.10.0 | GwernBranwen, JeremyShaw, NiklasBroberg |
| hssqlppp | 52 | 0.0 | 4 | SQL parser and type checker | (bsd3, database, language, library) | 2019-07-08 | 0.6.2 | JakeWheat |
| hssqlppp-th | 8 | 0.0 | 1 | hssqlppp extras which need template-haskell | (bsd3, database, language, library) | 2019-07-08 | 0.6.2 | JakeWheat |
| hswip | 5 | 2.0 | 1 | embedding prolog in haskell | (foreign, language, library) | 2010-08-13 | 0.3 | EvgenyTarasov |
| hsx (deprecated in favor of hsx2hs) | 68 | 0.0 | 16 | HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. | (bsd3, deprecated, language, library, program) | 2013-09-05 | 0.10.5 | NiklasBroberg |
| hsx2hs | 82 | 0.0 | 11 | HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code. | (bsd3, language, library, program) | 2023-01-23 | 0.14.1.11 | DavidFox, JeremyShaw, NiklasBroberg |
| htoml | 43 | 0.0 | 7 | Parser for TOML files | (bsd3, configuration, data, json, language, library, parser, text) | 2016-11-07 | 1.0.0.3 | cies |
| htoml-megaparsec | 74 | 0.0 | 4 | Parser for TOML files | (bsd3, configuration, data, language, library, text, toml) | 2023-10-24 | 2.1.0.5 | vmchale |
| hubris | 13 | 0.0 | 1 | Support library for Hubris, the Ruby <=> Haskell bridge | (language, library, program) | 2010-04-24 | 0.0.3 | MarkWotton |
| hunspell-hs | 7 | 2.0 | 1 | Hunspell thread-safe FFI bindings for spell checking. | (bsd3, language, library) | 2018-08-27 | 0.2.0.0 | ashutoshrishi |
| husk-scheme | 161 | 2.0 | 3 | R5RS Scheme interpreter, compiler, and library. | (compilers-interpreters, language, library, mit, program) | 2021-02-04 | 3.20 | JustinEthier |
| husk-scheme-libs | 7 | 0.0 | 1 | Extra libraries for the husk Scheme platform. | (compilers-interpreters, language, library, mit) | 2012-06-13 | 0.0.1 | JustinEthier |
| hwhile | 16 | 2.0 | 0 | An implementation of Neil D. Jones' While language | (gpl, language, library, program) | 2019-03-07 | 0.1.1.6 | alexj136 |
| hydrogen-cli | 12 | 0.0 | 1 | Hydrogen Data | (language, mit, program) | 2015-01-08 | 0.14 | JulianFleischer |
| hydrogen-cli-args | 27 | 0.0 | 1 | Hydrogen Command Line Arguments Parser | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
| hydrogen-data | 19 | 0.0 | 1 | Hydrogen Data | (bsd3, language, library) | 2015-01-08 | 0.14 | JulianFleischer |
| hydrogen-multimap | 9 | 0.0 | 3 | Hydrogen Multimap | (language, library, mit) | 2015-03-26 | 0.3 | JulianFleischer |
| hydrogen-parsing | 15 | 0.0 | 3 | Hydrogen Parsing Utilities | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
| hydrogen-prelude | 80 | 0.0 | 7 | Hydrogen Prelude | (language, library, mit) | 2015-03-26 | 0.20 | JulianFleischer |
| hydrogen-prelude-parsec | 7 | 0.0 | 1 | Hydrogen Prelude /w Parsec | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
| hydrogen-syntax | 44 | 0.0 | 2 | Hydrogen Syntax | (bsd3, language, library) | 2015-03-22 | 0.17 | JulianFleischer |
| hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude) | 17 | 0.0 | 3 | Hydrogen Tools | (bsd3, deprecated, language, library) | 2014-12-16 | 0.8 | JulianFleischer |
| hydrogen-version | 25 | 0.0 | 2 | Hydrogen Version Type | (language, library, mit) | 2015-03-26 | 1.4 | JulianFleischer |
| hypertypes | 15 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2023-07-25 | 0.2.2 | YairChuchem |
| ihs | 20 | 0.0 | 1 | Interpolated Haskell | (language, program, public-domain) | 2018-12-12 | 0.1.0.3 | minad |
| imperative-edsl | 34 | 0.0 | 3 | Deep embedding of imperative programs with code generation | (bsd3, language, library) | 2021-08-28 | 0.9 | AndersPersson, EmilAxelsson, mararon |
| imperative-edsl-vhdl (deprecated in favor of hardware-edsl) | 8 | 0.0 | 1 | Deep embedding of VHDL programs with code generation. | (bsd3, deprecated, language, library) | 2015-12-14 | 0.3.2 | mararon |
| imprevu | 5 | 0.0 | 4 | Reactive programming language based on a DSL | (bsd3, language, library) | 2017-03-13 | 0.1.0 | CorentinDupont |
| imprevu-happstack | 5 | 0.0 | 1 | Imprevu support for Happstack | (bsd3, language, library) | 2017-03-13 | 0.1.0 | CorentinDupont |
| improve | 68 | 0.0 | 2 | An imperative, verifiable programming language for high assurance applications. | (bsd3, embedded, formal-methods, language, library) | 2011-07-29 | 0.4.0 | TomHawkins |
| inch | 8 | 0.0 | 1 | A type-checker for Haskell with integer constraints | (bsd3, language, program) | 2014-06-07 | 0.2.0 | AdamGundry |
| indexed-do-notation | 12 | 0.0 | 1 | Do notation for indexed monads | (bsd3, language, library) | 2013-05-01 | 0.1 | FumiakiKinoshita |
| indian-language-font-converter | 15 | 0.0 | 1 | Indian Language Font Converter | (bsd3, language, library) | 2013-12-02 | 0.2 | AkashJagdhane |
| indigo | 21 | 0.0 | 0 | Convenient imperative eDSL over Lorentz. | (language, library, mit, program) | 2023-03-31 | 0.6.0 | gromak, pasqu4le, serokell, rinn7e |
| intensional-datatys | 6 | 0.0 | 0 | A GHC Core plugin for intensional datatype refinement checking | (bsd3, language, library) | 2020-07-24 | 0.2.0.0 | eddiejones |
| interpol | 23 | 0.0 | 1 | GHC preprocessor and library to enable variable interpolation in strings | (gpl, language, library, program, source-tools) | 2012-06-22 | 0.2.3 | AlexandruScvortov |
| intrinsic-superclasses | 25 | 2.0 | 1 | A quasiquoter for better instance deriving and default methods | (language, library, mit) | 2018-07-14 | 0.4.0.0 | dailectic |
| invertible-grammar | 48 | 0.0 | 1 | Invertible parsing combinators framework | (bsd3, language, library) | 2023-11-12 | 0.1.3.5 | EugeneSmolanka |
| ion | 6 | 0.0 | 1 | EDSL for concurrent, realtime, embedded programming on top of Ivory | (bsd3, embedded, language, library, program) | 2016-09-23 | 1.0.0.0 | hodapp |
| ipa | 22 | 2.0 | 0 | Internal Phonetic Alphabet (IPA) | (bsd3, language, library) | 2021-06-14 | 0.3.1.1 | RoryTylerHayford |
| ivory | 24 | 2.25 | 11 | Safe embedded C programming. | (bsd3, language, library) | 2019-04-05 | 0.1.0.9 | EricMertens, LeePike |
| ivory-artifact | 16 | 0.0 | 4 | Manage additional data files during Ivory compilation. | (bsd3, language, library) | 2016-12-16 | 0.1.0.5 | EricMertens, LeePike |
| ivory-avr-atmega328p-registers | 6 | 0.0 | 0 | Ivory register bindings for the Atmega328p | (bsd3, language, library) | 2020-11-19 | 0.1.0.0 | erdeszt |
| ivory-backend-c | 22 | 0.0 | 5 | Ivory C backend. | (bsd3, language, library) | 2018-07-17 | 0.1.0.8 | EricMertens, LeePike |
| ivory-bitdata (deprecated in favor of ivory) | 7 | 0.0 | 2 | Ivory bit-data support. | (bsd3, deprecated, language, library, program) | 2014-03-26 | 0.2.0.0 | EricMertens, LeePike |
| ivory-examples | 20 | 0.0 | 1 | Ivory examples. | (bsd3, language, program) | 2016-12-16 | 0.1.0.5 | EricMertens, LeePike |
| ivory-hw | 18 | 0.0 | 2 | Ivory hardware model (STM32F4). | (bsd3, language, library) | 2018-07-17 | 0.1.0.6 | EricMertens, LeePike |
| ivory-opts | 20 | 0.0 | 2 | Ivory compiler optimizations. | (bsd3, language, library) | 2018-07-18 | 0.1.0.6 | EricMertens, LeePike |
| ivory-serialize | 13 | 0.0 | 1 | Serialization library for Ivory. | (bsd3, language, library) | 2019-04-05 | 0.1.0.6 | EricMertens, LeePike |
| ivory-stdlib | 17 | 0.0 | 1 | Ivory standard library. | (bsd3, language, library) | 2016-12-16 | 0.1.0.5 | EricMertens, LeePike |
| ixdopp | 11 | 0.0 | 1 | A preprocessor for expanding "ixdo" notation for indexed monads | (bsd3, language, program, source-tools) | 2013-01-23 | 0.1.3 | JesseTov |
| jacinda | 82 | 2.25 | 0 | Functional, expression-oriented data processing language | (agpl, data, interpreters, language, library, program, text) | 2024-10-29 | 3.2.0.1 | vmchale |
| jarfind | 15 | 0.0 | 1 | Tool for searching java classes, members and fields in classfiles and JAR archives | (development, language, library, program, utils) | 2012-10-30 | 0.1.0.3 | EugeneKirpichov |
| jaskell | 6 | 0.0 | 0 | Stack-based concatenative language embedded in Haskell | (language, library, mit) | 2023-06-27 | 0.1.0.0 | OwenBechtel |
| jdi | 4 | 0.0 | 1 | Implementation of Java Debug Interface | (debug, gpl, jvm, language, library, program) | 2012-10-28 | 0.0.3 | VictorDenisov |
| jmacro | 158 | 2.0 | 17 | QuasiQuotation library for programmatic generation of Javascript code. | (bsd3, language, library, program) | 2023-03-22 | 0.6.18 | GershomBazerman, JeremyShaw |
| joy-rewrite | 8 | 0.0 | 0 | Transform Joy code using conditional rewrite rules | (bsd2, language, library) | 2022-06-29 | 0.2.0 | rieckenj |
| js-good-parts | 16 | 0.0 | 1 | Javascript: The Good Parts -- AST & Pretty Printer | (bsd3, javascript, language, library) | 2012-08-20 | 0.0.7 | SeanSeefried |
| jsmw | 3 | 0.0 | 1 | Javascript Monadic Writer base package. | (bsd3, language, library) | 2009-04-26 | 0.1 | DmitryGolubovsky |
| json-python | 7 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-10 | 0.4.0.1 | russell91 |
| jvm-binary | 29 | 0.0 | 1 | A library for reading Java class-files | (java, jvm, language, library, mit) | 2021-05-12 | 0.10.0 | kalhauge |
| jvm-parser | 5 | 0.0 | 1 | A parser for JVM bytecode files | (bsd3, language, library) | 2014-08-07 | 0.2.1 | KevinQuick, RobertDockins, galoisinc |
| kansas-lava | 17 | 0.0 | 4 | Kansas Lava is a hardware simulator and VHDL generator. | (bsd3, hardware, language, library) | 2018-04-06 | 0.2.4.5 | AndyGill, GergoErdi |
| kbq-gu | 12 | 0.0 | 1 | Rpoku spoken word programming language | (language, program) | 2008-08-14 | 0.2 | AndriiZvorygin |
| kempe | 47 | 2.0 | 0 | Kempe compiler | (bsd3, compilers, language, library, program) | 2024-05-29 | 0.2.0.14 | vmchale |
| kuifje | 12 | 0.0 | 0 | A Quantitative Information Flow aware programming language. | (bsd3, language, library) | 2019-09-10 | 0.1.2.0 | martonbognar |
| kure | 75 | 0.0 | 5 | Combinators for Strategic Programming | (bsd3, language, library) | 2021-04-04 | 2.18.6 | AndyGill, NeilSculthorpe |
| kure-your-boilerplate | 7 | 0.0 | 1 | Generator for Boilerplate KURE Combinators | (bsd3, language, library) | 2009-01-27 | 0.1.3 | AndyGill |
| lambda-calculator | 22 | 0.0 | 0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2023-03-01 | 3.1.1.0 | sgillespie |
| lambda-calculus-interpreter | 14 | 0.0 | 0 | Lambda Calculus interpreter | (bsd3, language, library, program) | 2018-09-12 | 0.1.0.3 | xeontem |
| lambda-placeholders | 11 | 2.0 | 1 | A library to emulate laceholders similar to Scala. | (bsd3, language, library) | 2014-05-29 | 0.0.0.0 | MatthewMirman |
| lambdaBase | 10 | 0.0 | 1 | (language, library, mit) | 2015-05-05 | 0.0.2.0 | faleidel | |
| lambdaLit | 9 | 0.0 | 1 | ... | (language, mit, program) | 2014-12-18 | 0.1.1.0 | faleidel |
| lang | 8 | 0.0 | 1 | A Lisp | (agpl, language, library) | 2018-03-01 | 0.2.2 | Zaoqi |
| language-Modula2 | 21 | 0.0 | 0 | Parser, pretty-printer, and more for the Modula-2 programming language | (gpl, language, library, program) | 2024-04-28 | 0.1.4.1 | MarioBlazevic |
| language-asn | 7 | 0.0 | 1 | ASN.1 encoding and decoding | (bsd3, language, library) | 2019-04-09 | 0.1.1.0 | andrewthad, chessai |
| language-asn1 | 17 | 0.0 | 1 | Parsing of ASN1 definitions | (bsd3, language, library, program) | 2020-06-14 | 0.6 | DmitryAstapov |
| language-ats | 184 | 2.0 | 4 | Parser and pretty-printer for ATS. | (ats, bsd3, language, lexer, library, parser, pretty-printer) | 2021-01-18 | 1.7.10.3 | vmchale |
| language-bash | 54 | 0.0 | 2 | Parsing and pretty-printing Bash shell scripts | (bsd3, language, library) | 2024-07-25 | 0.10.0 | KyleRaftogianis |
| language-bluespec | 9 | 0.0 | 1 | An implementation of the Bluespec Haskell AST | (bsd3, language, library) | 2024-02-08 | 0.1 | ryanglscott, galoisinc |
| language-boogie | 8 | 0.0 | 1 | Interpreter and language infrastructure for Boogie. | (bsd3, language, library) | 2013-02-05 | 0.2 | NadiaPolikarpova |
| language-c | 388 | 2.0 | 11 | Analysis and generation of C code | (bsd3, language, library) | 2024-11-17 | 0.10.0 | BenediktHuber, Bodigrim, jophish, expipiplus1 |
| language-c-comments | 8 | 0.0 | 1 | Extracting comments from C code | (bsd3, language, library) | 2014-03-08 | 0.3 | GeoffHulette, MatthewSottile |
| language-c-inline | 35 | 0.0 | 1 | Inline C & Objective-C code in Haskell for language interoperability | (bsd3, foreign, language, library) | 2017-07-30 | 0.7.11.0 | ManuelChakravarty |
| language-c-quote | 237 | 0.0 | 10 | C/CUDA/OpenCL/Objective-C quasiquoting library. | (bsd3, language, library) | 2024-07-02 | 0.13.0.2 | GeoffreyMainland, TroelsHenriksen |
| language-c99 | 44 | 0.0 | 4 | An implementation of the C99 AST that strictly follows the standard. | (language, library, mit) | 2022-05-21 | 0.2.0 | frankdedden |
| language-c99-simple | 58 | 0.0 | 2 | C-like AST to simplify writing C99 programs. | (language, library, mit) | 2024-01-03 | 0.3.0 | frankdedden |
| language-c99-util | 48 | 0.0 | 2 | Utilities for language-c99. | (language, library, mit) | 2022-05-21 | 0.2.0 | frankdedden |
| language-cil | 18 | 0.0 | 1 | Manipulating Common Intermediate Language AST | (.net, bsd3, language, library) | 2016-09-19 | 0.4.0 | TomLokhorst |
| language-csharp | 6 | 0.0 | 0 | C# source code manipulation | (bsd3, language, library) | 2019-05-10 | 0.0.1 | icysnowman55 |
| language-css | 19 | 0.0 | 4 | CSS 2.1 syntax | (bsd3, language, library) | 2020-05-14 | 0.0.3.1 | AntonKholomiov, tomjaguarpaw |
| language-dart | 10 | 2.25 | 1 | Manipulating Dart source: abstract syntax and pretty-printer | (bsd3, language, library) | 2016-07-12 | 0.2.0.0 | sigrlami, kseo |
| language-dickinson | 86 | 2.0 | 0 | A language for generative literature | (bsd3, compilers-interpreters, language, library, program, text) | 2024-05-29 | 1.4.3.1 | vmchale |
| language-dot | 70 | 1.75 | 5 | A library for the analysis and creation of Graphviz DOT files | (bsd3, language, library) | 2023-10-24 | 0.1.2 | BenGamari, BrianLewis |
| language-ecmascript | 106 | 2.0 | 7 | JavaScript parser and pretty-printer library | (bsd3, language, library) | 2020-03-26 | 0.19.1.0 | AndreyChudnov, ArjunGuha, DavidJohnson |
| language-ecmascript-analysis | 14 | 0.0 | 1 | JavaScript static analysis library. | (bsd3, language, library) | 2016-01-31 | 0.9.2 | AndreyChudnov |
| language-eiffel | 12 | 0.0 | 1 | Parser and pretty printer for the Eiffel language. | (bsd3, language, library) | 2013-03-06 | 0.1.2 | ScottWest |
| language-fortran (deprecated in favor of fortran-src) | 17 | 0.0 | 2 | Fortran lexer and parser, language support, and extensions. | (bsd3, deprecated, language, library) | 2016-03-17 | 0.5.1 | DominicOrchard |
| language-gcl | 5 | 2.0 | 1 | Something similar to Dijkstra's guarded command language | (language, library, mit) | 2014-06-15 | 0.2 | StijnVanDrongelen |
| language-glsl | 64 | 0.0 | 6 | GLSL abstract syntax tree, parser, and pretty-printer | (bsd3, graphics, language, library, program) | 2018-09-02 | 0.3.0 | VoMinhThu |
| language-go | 9 | 0.0 | 1 | A library for analysis and synthesis of Go code. | (language, library) | 2011-02-06 | 0.8 | AndrewRobbins |
| language-guess | 11 | 0.0 | 1 | Guess at which language a text is written in using trigrams. | (bsd3, language, library) | 2014-04-09 | 0.1.2 | ChristianRoedliAmble |
| language-java | 88 | 0.0 | 5 | Java source manipulation | (bsd3, language, library) | 2018-03-08 | 0.2.9 | NiklasBroberg, VincentHanquez |
| language-java-classfile | 6 | 0.0 | 1 | Parser for Java .class files | (bsd3, language, library) | 2010-12-09 | 0.2.0 | GergoErdi |
| language-javascript | 313 | 0.0 | 13 | Parser for JavaScript | (bsd3, language, library) | 2020-03-22 | 0.7.1.0 | AlanZimmerman, ErikDeCastroLopo, TonyMorris |
| language-js | 16 | 0.0 | 1 | javascript parser for es6 and es7. | (language, library, mit) | 2021-03-27 | 0.3.0 | diasbruno |
| language-kort | 4 | 0.0 | 1 | Parser and serializer for the Kort information language. | (language, library, public-domain) | 2015-06-18 | 0.1.0.0 | akrasner |
| language-lua | 118 | 0.0 | 3 | Lua parser and pretty-printer | (bsd3, language, library) | 2024-05-13 | 0.11.0.2 | EricMertens, OmerAgacan |
| language-lua-qq | 4 | 0.0 | 1 | Initial project template from stack | (bsd3, language, library) | 2015-09-11 | 0.1.0.0 | HiromiIshii |
| language-lua2 (deprecated) | 21 | 0.0 | 1 | Lua parser and pretty printer | (bsd3, deprecated, language, library) | 2015-10-14 | 0.1.0.5 | mitchellwrosen |
| language-mixal | 4 | 0.0 | 1 | Parser, pretty-printer, and AST types for the MIXAL assembly language | (bsd3, language, library, program) | 2013-08-25 | 0.1 | JonathanDaugherty |
| language-ninja | 9 | 2.0 | 0 | A library for dealing with the Ninja build language. | (apache, build, language, library, program) | 2017-08-02 | 0.2.0 | taktoa |
| language-nix | 44 | 0.0 | 5 | Data types and functions to represent the Nix language | (bsd3, distribution, language, library, nix) | 2019-09-21 | 2.2.0 | PeterSimons, sternenseemann, jophish, cdepillabout, maralorn, expipiplus1 |
| language-oberon | 23 | 0.0 | 1 | Parser, pretty-printer, and more for the Oberon programming language | (gpl, language, library, program) | 2024-04-28 | 0.3.3.1 | MarioBlazevic |
| language-objc | 27 | 0.0 | 1 | Analysis and generation of Objective C code | (bsd3, language, library) | 2013-12-11 | 0.4.2.8 | JohnLato |
| language-ocaml | 10 | 0.0 | 1 | Language tools for manipulating OCaml programs in Haskell | (language, library, mit, ocaml) | 2018-12-12 | 0.2.0 | Ptival |
| language-openscad | 20 | 0.0 | 1 | A simple parser for OpenSCAD | (bsd3, language, library, program) | 2016-04-13 | 0.1.7 | BenGamari, BrechtSerckx |
| language-pig | 19 | 0.0 | 1 | Pig parser in haskell. | (language, library, mit) | 2013-12-16 | 0.3.0.1 | elisehuard |
| language-python | 64 | 2.0 | 3 | Parsing and pretty printing of Python code. | (bsd3, language, library) | 2020-07-12 | 0.5.8 | BerniePope |
| language-python-colour | 5 | 0.0 | 1 | Generate coloured XHTML for Python code. | (bsd3, language, program) | 2009-11-04 | 0.1 | BerniePope |
| language-python-test | 19 | 0.0 | 1 | testing code for the language-python library | (bsd3, language, program) | 2020-07-12 | 0.5.8 | BerniePope |
| language-qux | 18 | 0.0 | 0 | Utilities for working with the Qux language | (bsd3, language, library, qux) | 2015-10-10 | 0.2.0.0 | hjwylde |
| language-rust | 16 | 2.25 | 1 | Parsing and pretty printing of Rust code | (bsd3, language, library) | 2018-04-22 | 0.2.0.27 | harpocrates |
| language-sally | 13 | 2.0 | 1 | AST and pretty printer for Sally | (language, library) | 2017-08-01 | 0.1.2.0 | bjones |
| language-sh (deprecated) | 8 | 0.0 | 1 | A package for parsing shell scripts | (bsd3, deprecated, language, library) | 2009-01-17 | 0.0.3.1 | |
| language-slice | 23 | 0.0 | 1 | AST and parser for the ZeroC Slice language (Specification language for ICE) | (bsd3, language, library) | 2013-06-14 | 0.3.0.0 | PaulKoerbitz |
| language-spir-v | 31 | 0.0 | 1 | Data type for SPIR-V | (bsd3, language, library) | 2024-11-06 | 0.1.0.1 | YoshikuniJujo |
| language-sqlite | 8 | 0.0 | 1 | Full parser and generator for SQL as implemented by SQLite3 | (bsd3, database, language, library) | 2011-02-14 | 1.1 | IreneKnapp |
| language-sygus | 23 | 0.0 | 1 | A parser and printer for the SyGuS 2.0 language. | (bsd3, language, library) | 2022-10-31 | 0.1.1.3 | WilliamHallahan |
| language-thrift | 58 | 2.0 | 1 | Parser and pretty printer for the Thrift IDL format. | (bsd3, language, library) | 2024-04-06 | 0.13.0.0 | PhilippHausmann, abhinav |
| language-tl | 6 | 0.0 | 2 | A Parser for the Type Language | (bsd3, language, library) | 2020-06-04 | 0.1.1 | Poscat |
| language-typescript | 16 | 0.0 | 2 | A library for working with TypeScript Definition files | (language, library, mit) | 2014-02-02 | 0.0.4 | PhilFreeman |
| language-vhdl | 39 | 2.0 | 4 | VHDL AST and pretty printer in Haskell. | (bsd3, language, library) | 2021-06-15 | 0.1.4 | mararon |
| language-webidl | 14 | 0.0 | 1 | Parser and Pretty Printer for WebIDL | (language, library, mit) | 2017-10-24 | 0.2.0.0 | izgzhen |
| layout-rules | 14 | 0.0 | 1 | A collection of different layout implementations | (bsd3, language, library) | 2020-01-01 | 0.1.0.2 | TrevorElliott |
| lens-toml-parser | 29 | 0.0 | 1 | Lenses for toml-parser | (language, lenses, library) | 2024-03-01 | 0.3.0.0 | henrytill |
| lexer-applicative | 39 | 2.0 | 2 | Simple lexer based on applicative regular expressions | (language, library, mit) | 2018-06-06 | 2.1.0.2 | RomanCheplyaka |
| lhs2TeX-hl | 48 | 0.0 | 1 | Literate highlighter preprocessor for lhs2tex | (development, language, mit, program) | 2011-10-15 | 0.1.4.5 | AlessandroVermeulen |
| lhs2tex | 79 | 2.0 | 1 | Preprocessor for typesetting Haskell sources with LaTeX | (development, language, program) | 2023-11-14 | 1.25 | AndresLoeh |
| libconfig | 13 | 0.0 | 1 | Haskell bindings to libconfig | (bsd3, language, library) | 2015-04-29 | 0.3.0.0 | peddie |
| lift-generics | 51 | 0.0 | 1 | GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation | (bsd3, language, library) | 2024-10-22 | 0.3 | ryanglscott |
| linkcore | 15 | 0.0 | 1 | Combines multiple GHC Core modules into a single module | (bsd3, language, program) | 2010-05-25 | 0.4.1 | TimChevalier |
| liquid-base (deprecated in favor of liquidhaskell) | 15 | 2.0 | 9 | base specs for LiquidHaskell | (bsd3, deprecated, language, library) | 2023-03-10 | 4.15.1.0 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-bytestring (deprecated in favor of liquidhaskell) | 7 | 0.0 | 0 | Old specs for the bytestring package | (bsd3, deprecated, language, library) | 2023-03-10 | 0.10.12.1 | AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-containers (deprecated in favor of liquidhaskell) | 8 | 0.0 | 1 | Old specs for containers | (bsd3, deprecated, language, library) | 2023-03-10 | 0.6.4.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-fixpoint | 135 | 0.0 | 5 | Predicate Abstraction-based Horn-Clause/Implication Constraint Solver | (bsd3, language, library, program) | 2021-11-03 | AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat | |
| liquid-ghc-prim (deprecated in favor of liquidhaskell) | 13 | 0.0 | 1 | Drop-in ghc-prim replacement for LH | (bsd3, deprecated, language, library) | 2023-03-10 | 0.7.0.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-parallel | 13 | 0.0 | 0 | LiquidHaskell specs for the parallel package | (bsd3, language, library) | 2024-03-07 | 3.2.2.0.3 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-platform | 12 | 0.0 | 0 | A battery-included platform for LiquidHaskell | (bsd3, language) | 2024-01-29 | 0.9.2.8 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-prelude | 45 | 0.0 | 1 | General utility modules for LiquidHaskell | (bsd3, language, library) | 2024-08-21 | 0.9.2.8.2 | AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou |
| liquid-vector | 32 | 0.0 | 1 | LiquidHaskell specs for the vector package | (bsd3, language, library) | 2024-03-07 | 0.13.1.0.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
| liquidhaskell | 170 | 2.5 | 15 | Liquid Types for Haskell | (bsd3, language, library) | 2024-08-21 | 0.9.10.1 | AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki, clayrat |
| liquidhaskell-boot | 71 | 0.0 | 1 | Liquid Types for Haskell | (bsd3, language, library) | 2024-08-21 | 0.9.10.1 | FacundoDominguez |
| located | 7 | 0.0 | 1 | Source location helpers | (bsd3, language, library) | 2016-07-19 | 0.1.1.0 | TrevorElliott |
| lojban | 11 | 0.0 | 1 | Useful utilities for the Lojban language | (bsd3, language, library, program) | 2008-12-18 | 0.3 | |
| lojbanParser | 35 | 0.0 | 1 | lojban parser | (bsd3, language, library, program) | 2014-08-16 | 0.1.9.2 | YoshikuniJujo |
| lojbanXiragan | 5 | 0.0 | 1 | lojban to xiragan | (bsd3, language, library, program) | 2013-03-07 | 0.3 | YoshikuniJujo |
| lojysamban | 31 | 0.0 | 1 | Prolog with lojban | (bsd3, language, program) | 2014-10-24 | 0.0.8.1 | YoshikuniJujo |
| lol-calculus | 5 | 0.0 | 1 | Calculus for LOL (λω language). | (gpl, language) | 2016-08-23 | 1.20160822 | julm |
| lol-typing | 6 | 0.0 | 1 | Type inferencer for LOL (λω language) | (gpl, language, library) | 2016-08-23 | 1.20160822 | julm |
| lorentz | 89 | 0.0 | 4 | EDSL for the Michelson Language | (language, library, mit) | 2023-07-31 | 0.16.0 | gromak, pasqu4le, serokell |
| lss (deprecated) | 4 | 0.0 | 2 | Lexical 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-04 | 0.1.0.0 | DanielPatterson |
| ltl | 10 | 0.0 | 1 | Using linear temporal logic (LTL) to verify embedded software and hardware. | (bsd3, language, library) | 2010-04-19 | 0.0.0 | TomHawkins |
| lua-bc | 11 | 0.0 | 1 | Lua bytecode parser | (language, library, mit) | 2016-12-07 | 0.1.1 | EricMertens, galoisinc |
| luka | 9 | 0.0 | 1 | Simple ObjectiveC runtime binding | (bsd3, language, library) | 2012-08-29 | 2012.8.29 | JinjingWang |
| luthor | 8 | 0.0 | 1 | Tools for lexing and utilizing lexemes that integrate with Parsec. | (bsd3, language, library, text) | 2015-11-25 | 0.0.2 | ZankokuOkuno |
| mathista (deprecated) | 11 | 0.0 | 1 | A small programming language for numerical computing | (deprecated, language, library, program, public-domain) | 2015-10-11 | 0.0.1 | seiya |
| maude | 22 | 0.0 | 1 | An interface to the Maude rewriting system. | (language, library, mit) | 2012-07-09 | 0.6.1 | DavidLazar |
| mcm | 9 | 2.0 | 1 | Machine Configuration Manager | (gpl, language, program, system, text) | 2018-11-03 | 0.6.8.1 | AnthonyDoggett |
| mcmc-synthesis | 23 | 0.0 | 2 | MCMC applied to probabilistic program synthesis | (gpl, language, library) | 2014-04-13 | 0.1.2.2 | TikhonJelvis |
| mecha | 26 | 0.0 | 1 | A constructive solid geometry (CSG) modeling language. | (bsd3, language, library, program) | 2011-06-11 | 0.1.1 | TomHawkins |
| melody | 6 | 0.0 | 1 | A functional scripting language | (language, library, mit, program) | 2014-01-10 | 0.2 | jozefg |
| meta-misc | 12 | 0.0 | 1 | Utility library providing miscellaneous meta-programming utilities. | (bsd3, data, generics, language, library, utility) | 2014-12-02 | 0.1.0.3 | ByronJohnson |
| mi | 5 | 0.0 | 1 | Multiple Instance for Haskell | (language, library, mit) | 2014-02-28 | 0.0.1 | matt |
| mida (deprecated) | 31 | 0.0 | 0 | Language for algorithmic generation of MIDI files | (deprecated, gpl, language, library, program) | 2016-09-10 | 1.0.2 | mrkkrp |
| mikrokosmos | 16 | 0.0 | 1 | Lambda calculus interpreter | (gpl, language, program) | 2018-08-01 | 0.8.0 | mroman42 |
| miniforth | 8 | 0.0 | 1 | Miniature FORTH-like interpreter | (language, library, mit, program) | 2015-03-08 | 0.1.0.1 | L8D |
| ministg | 12 | 0.0 | 1 | an interpreter for an operational semantics for the STG machine. | (bsd3, language, program) | 2012-04-10 | 0.3 | BerniePope |
| ml-w | 9 | 0.0 | 1 | Minimal ML language to to demonstrate the W type infererence algorithm. | (language, library, program, public-domain, type-inference) | 2012-04-09 | 0.1.1 | FrancescoMazzoli |
| mmsyn2-array | 42 | 0.0 | 23 | A library that can be used for multiple Ord a => a -> b transformations. | (binary-search, data, development, language, library, mit) | 2023-01-28 | 0.3.1.1 | OleksandrZhabenko |
| mmsyn2-array-ukrainian-data | 6 | 0.0 | 1 | Data that is taken from the ukrainian-phonetics-basic-array for optimization. | (data, language, library, math, mit) | 2023-01-31 | 0.2.0.0 | OleksandrZhabenko |
| mmsyn2-hashable | 3 | 0.0 | 0 | A library that can be used for multiple Hashable a => a -> b transformations. | (data, development, language, library, mit) | 2021-10-31 | 0.1.0.0 | OleksandrZhabenko |
| mmsyn6ukr | 123 | 0.0 | 10 | A musical instrument synthesizer or a tool for Ukrainian language listening | (Ukrainian, language, library, mit, program, speech-approximation) | 2020-11-07 | 0.9.0.0 | OleksandrZhabenko |
| mmsyn6ukr-array | 28 | 0.0 | 0 | A musical instrument synthesizer or a tool for Ukrainian language listening | (Ukrainian, language, library, mit, program, tts) | 2022-08-15 | 0.3.3.0 | OleksandrZhabenko |
| mmsyn7h | 65 | 0.0 | 0 | Produces a sound recording specified by the Ukrainian text. | (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice) | 2020-12-03 | 0.8.1.0 | OleksandrZhabenko |
| mmsyn7s | 48 | 0.0 | 6 | Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs | (Ukrainian, language, library, mit, program, speech-approximation, speech-transformation, syllable-segmentation) | 2020-10-09 | 0.9.1.0 | OleksandrZhabenko |
| mmsyn7ukr | 137 | 0.0 | 4 | A simple basic interface to some SoX functionality or to produce a voice that can be used by mmsyn7h | (Ukrainian, language, library, mit, program, sound, sox, speech-approximation, speech-transformation, voice) | 2020-08-16 | 0.17.0.0 | OleksandrZhabenko |
| mmsyn7ukr-array | 13 | 0.0 | 0 | A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by mmsyn7h-array, dobutokO2-array and other similar packages | (language, library, mit, sound) | 2022-08-16 | 0.2.0.0 | OleksandrZhabenko |
| mmsyn7ukr-common | 17 | 0.0 | 5 | Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX. | (Ukrainian, language, library, mit, sound, sox) | 2022-08-15 | 0.2.0.0 | OleksandrZhabenko |
| modelicaparser | 7 | 0.0 | 1 | A parser for the modelica language | (bsd3, language, library) | 2014-04-03 | 0.1.0.0 | fphh |
| modulespection | 27 | 0.0 | 2 | Template Haskell for introspecting a module's declarations | (bsd3, language, library) | 2015-02-02 | 0.1.2.2 | JonathanFischoff |
| modulo | 41 | 0.0 | 1 | Modular C code generator | (ffi, gpl, language, library, program) | 2014-07-28 | 1.9.1 | HansHoglund |
| morley | 137 | 0.0 | 5 | Developer tools for the Michelson Language | (language, library, mit, program) | 2023-07-31 | 1.20.0 | gromak, pasqu4le, serokell |
| morley-upgradeable | 6 | 0.0 | 0 | Upgradeability infrastructure based on Morley. | (language, library, mit, program) | 2021-04-02 | 0.3 | pasqu4le, serokell |
| morloc | 7 | 0.0 | 0 | A multi-lingual, typed, workflow language | (code-generation, compiler, gpl, language, library, program) | 2020-11-06 | 0.33.0 | arendsee |
| msgpack-idl | 8 | 0.0 | 1 | An IDL Compiler for MessagePack | (bsd3, language, library, program) | 2013-01-30 | 0.2.1 | HerbertValerioRiedel, HideyukiTanaka |
| msh (deprecated in favor of hoop) | 7 | 0.0 | 1 | Object-Oriented Programming in Haskell | (deprecated, language, library, mit) | 2015-10-21 | 0.1.0.2 | mbg |
| mueval | 99 | 0.0 | 5 | Safely evaluate pure Haskell expressions | (bsd3, development, language, library, program) | 2023-12-04 | 0.9.4 | ChrisDone, GwernBranwen, ncfavier, TerenceNg03 |
| mulang | 22 | 0.0 | 1 | An intermediate language designed to perform advanced code analysis | (language, library, program) | 2019-01-11 | 4.4.0 | flbulgarelli |
| nanopass | 8 | 0.0 | 0 | Create compilers using small passes and many intermediate representations. | (bsd3, language, library, program) | 2024-01-08 | 0.0.3.0 | edemko |
| naver-translate | 8 | 0.0 | 1 | Interface to Naver Translate | (gpl, language, library) | 2015-10-15 | 0.1.0.2 | hongminhee |
| netlist | 18 | 0.0 | 4 | Netlist AST | (bsd3, language, library) | 2011-10-28 | 0.3.1 | AndyGill, GergoErdi, PhilipWeaver |
| netlist-to-vhdl | 21 | 0.0 | 2 | Convert a Netlist AST to VHDL | (bsd3, language, library) | 2018-04-06 | 0.3.3 | AndyGill, GergoErdi, PhilipWeaver |
| nirum | 29 | 0.0 | 0 | IDL compiler and RPC/distributed object framework for microservices | (gpl, language, library, program) | 2018-08-25 | 0.5.0 | hongminhee, nirum |
| nix-eval | 14 | 0.0 | 1 | Evaluate Haskell expressions using Nix to get packages | (language, library) | 2019-06-28 | 0.4.1.0 | chriswarbo |
| nom | 10 | 0.0 | 0 | Name-binding & alpha-equivalence | (bsd3, compilers-interpreters, language, library) | 2020-08-10 | 0.1.0.2 | gabbay |
| nominal | 16 | 0.0 | 1 | Binders and alpha-equivalence made easy | (compilers-interpreters, generics, gpl, language, library) | 2022-11-16 | 0.3.0.0 | PeterSelinger |
| nomyx-language | 4 | 0.0 | 4 | Language to express rules for Nomic | (bsd3, language, library) | 2017-03-13 | 1.0.0 | CorentinDupont |
| nomyx-library | 6 | 0.0 | 1 | Library of rules for Nomyx | (bsd3, language, library) | 2017-03-17 | 1.0.0 | CorentinDupont |
| ntha | 14 | 0.0 | 0 | A tiny statically typed functional programming language. | (bsd3, compiler, language, library, program) | 2016-08-27 | 0.1.3 | zjhsdtc |
| oberon0 | 8 | 0.0 | 1 | Oberon0 Compiler | (language, library) | 2013-10-23 | 0.0.2 | MarcosViera |
| octopus | 10 | 0.0 | 1 | Lisp with more dynamism, more power, more simplicity. | (gpl, language, library, program) | 2014-04-07 | 0.0.2.1 | ZankokuOkuno |
| omega | 9 | 0.0 | 1 | A purely functional programming language and a proof system | (bsd3, compilers-interpreters, language, program) | 2013-08-21 | 1.5.2 | GaborGreif |
| operational-alacarte | 19 | 0.0 | 6 | A version of Operational suitable for extensible EDSLs | (bsd3, language, library) | 2016-12-07 | 0.3.1 | EmilAxelsson |
| oplang | 22 | 0.0 | 0 | Stack-based esoteric programming language | (compilers-interpreters, gpl, language, program) | 2024-04-28 | 0.5.0.0 | aionescu |
| optimusprime | 13 | 0.0 | 1 | A supercompiler for f-lite | (bsd3, compiler, language, program, program-transformation) | 2009-11-17 | 0.0.1.20091117 | JasonReich |
| org2anki | 9 | 0.0 | 1 | Basic org to anki exporter | (gpl, language, program) | 2016-10-29 | 0.1.0 | mroman42 |
| pads-haskell | 6 | 0.0 | 1 | PADS data description language for Haskell. | (language, library, mit) | 2019-06-10 | 0.1.0.0 | KarlCronburg |
| paragon | 63 | 0.0 | 1 | Paragon | (bsd3, language, library, program) | 2012-07-11 | 0.1.28 | NiklasBroberg |
| pattern-matcher | 11 | 0.0 | 0 | A library for compiling pattern-matching to decision trees | (bsd3, language, library) | 2019-06-19 | 0.1.0.1 | GuerricChupin |
| pec | 22 | 0.0 | 1 | pec embedded compiler | (bsd3, language, library, program) | 2012-03-31 | 0.2.3 | BrettLetner |
| peggy | 35 | 0.0 | 4 | The Parser Generator for Haskell | (bsd3, language, library) | 2013-01-30 | 0.3.2 | HideyukiTanaka, darkf |
| pgf2 | 14 | 0.0 | 0 | Bindings to the C version of the PGF runtime | (language, lgpl, library) | 2021-05-03 | 1.3.0 | JohnCamilleri |
| phladiprelio-general-datatype | 51 | 0.0 | 3 | Extended functionality of PhLADiPreLiO | (language, library, math, mit, music, sound) | 2024-04-08 | 0.10.1.0 | OleksandrZhabenko |
| phladiprelio-general-shared | 11 | 0.0 | 1 | A shared by different general implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2024-01-30 | 0.1.2.0 | OleksandrZhabenko |
| phladiprelio-general-simple | 61 | 0.0 | 0 | A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. | (PhLADiPreLiO, language, library, math, mit, music) | 2024-04-10 | 0.20.0.2 | OleksandrZhabenko |
| phladiprelio-rhythmicity-shared | 4 | 0.0 | 3 | Allows to estimate some kind of the rhythmicity properties for the text | (language, library, math, mit, music) | 2023-03-13 | 0.1.0.0 | OleksandrZhabenko |
| phladiprelio-tests | 4 | 0.0 | 2 | Common for Ukrainian and general data for test mode. | (language, library, mit) | 2023-08-14 | 0.1.0.0 | OleksandrZhabenko |
| phladiprelio-ukrainian-shared | 13 | 0.0 | 1 | A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2024-04-08 | 0.5.0.2 | OleksandrZhabenko |
| phladiprelio-ukrainian-simple | 110 | 0.0 | 0 | A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. | (PhLADiPreLiO, language, library, math, mit, music, program) | 2024-04-10 | 0.20.2.2 | OleksandrZhabenko |
| phonetic-languages-basis | 12 | 0.0 | 11 | A basics of the phonetic-languages (PhLADiPreLiO-related) functionality. | (game, language, library, math, mit) | 2023-01-30 | 0.3.0.0 | OleksandrZhabenko |
| phonetic-languages-common | 14 | 0.0 | 3 | A generalization of the uniqueness-periods-vector-common package. | (language, library, mit) | 2020-11-26 | 0.1.2.0 | OleksandrZhabenko |
| phonetic-languages-constaints (deprecated in favor of phonetic-languages-constraints) | 16 | 0.0 | 0 | Constraints to filter the needed permutations | (deprecated, language, library, math, mit, phonetic-languages) | 2020-11-12 | 0.3.0.0 | OleksandrZhabenko |
| phonetic-languages-constraints | 27 | 0.0 | 2 | Constraints to filter the needed permutations | (language, library, math, mit) | 2020-11-26 | 0.4.0.0 | OleksandrZhabenko |
| phonetic-languages-constraints-array | 70 | 0.0 | 5 | Constraints to filter the needed permutations | (language, library, math, mit, phonetic-languages) | 2024-01-27 | 0.8.0.0 | OleksandrZhabenko |
| phonetic-languages-examples | 77 | 0.0 | 0 | A generalization of the uniqueness-periods-vector-examples functionality. | (Ukrainian, game, language, library, math, mit, phonetic-languages, program) | 2021-02-02 | 0.7.0.0 | OleksandrZhabenko |
| phonetic-languages-general | 13 | 0.0 | 0 | A generalization of the uniqueness-periods-vector-general functionality. | (language, library, mit, phonetic-languages) | 2020-11-26 | 0.3.0.1 | OleksandrZhabenko |
| phonetic-languages-permutations | 11 | 0.0 | 1 | Commonly used versions of the phonetic-languages-common package | (game, language, library, math, mit, phonetic-languages) | 2020-11-20 | 0.2.0.0 | OleksandrZhabenko |
| phonetic-languages-permutations-array | 32 | 0.0 | 6 | Permutations and universal set related functions for the phonetic-languages series | (game, language, library, math, mit, phonetic-languages) | 2024-01-23 | 0.5.0.0 | OleksandrZhabenko |
| phonetic-languages-phonetics-basics | 90 | 0.0 | 5 | A library for working with generalized phonetic languages usage. | (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems) | 2024-01-30 | 0.11.0.0 | OleksandrZhabenko |
| phonetic-languages-plus | 46 | 0.0 | 3 | Some common shared between different packages functions. | (game, language, library, math, mit, phonetic-languages, program) | 2023-02-02 | 0.7.1.0 | OleksandrZhabenko |
| phonetic-languages-properties | 23 | 0.0 | 1 | A generalization of the uniqueness-periods-vector-properties package. | (Ukrainian, language, library, mit, phonetic-languages) | 2021-02-02 | 0.4.0.0 | OleksandrZhabenko |
| phonetic-languages-rhythmicity | 80 | 0.0 | 9 | Allows to estimate the rhythmicity properties for the text | (coherency, data, game, language, library, math, mit, phonetic-languages, polyrhythmicity, rap) | 2023-03-15 | 0.11.0.2 | OleksandrZhabenko |
| phonetic-languages-simplified-base | 71 | 0.0 | 10 | A basics of the phonetic-languages functionality that can be groupped. | (game, language, library, math, mit, phonetic-languages) | 2024-03-08 | 0.9.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-common | 24 | 0.0 | 4 | A simplified version of the phonetic-languages-functionality | (game, language, library, math, mit, phonetic-languages) | 2020-12-05 | 0.4.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-examples-array | 113 | 0.0 | 0 | Helps to create Ukrainian texts with the given phonetic properties. | (PhLADiPreLiO, Ukrainian, game, language, library, math, mit, phladiprelio, phonetic-languages, program, prosodic-languages, prosody, rumba, syllables) | 2022-09-13 | 0.21.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-examples-common | 58 | 0.0 | 1 | Some commonly used by phonetic-languages-simplified* series functions. | (Ukrainian, game, language, library, math, mit, phonetic-languages) | 2023-03-15 | 0.6.2.0 | OleksandrZhabenko |
| phonetic-languages-simplified-generalized-examples-array | 82 | 0.0 | 0 | Helps to create texts with the given phonetic properties (e. g. poetic). | (PhLADiPreLiO, espeak, game, ipa, language, library, math, mit, phladiprelio, phonetic-languages, phonetics, prosodic-languages, prosody, writing-systems) | 2022-09-14 | 0.19.0.1 | OleksandrZhabenko |
| phonetic-languages-simplified-generalized-examples-common | 35 | 0.0 | 1 | Some common code for phonetic languages generalized functionality. | (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems) | 2023-03-15 | 0.6.1.0 | OleksandrZhabenko |
| phonetic-languages-simplified-generalized-properties-array | 87 | 0.0 | 2 | Some 'properties' of the phonetic languages approach text. | (game, language, library, math, mit, phonetic-languages, phonetics, writing-systems) | 2023-03-15 | 0.13.1.0 | OleksandrZhabenko |
| phonetic-languages-simplified-lists-examples | 24 | 0.0 | 0 | Simplified and somewhat optimized version of the phonetic-languages-examples. | (Ukrainian, game, language, library, math, mit, phonetic-languages, program) | 2021-02-02 | 0.7.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-properties-array | 98 | 0.0 | 2 | Some properties of the data related to rhythmicity. | (Ukrainian, game, language, library, math, mit, phonetic-languages) | 2023-03-15 | 0.17.2.0 | OleksandrZhabenko |
| phonetic-languages-simplified-properties-array-common | 19 | 0.0 | 3 | Common functionality for 'with-tuples' and old version of properties. | (game, language, library, math, mit) | 2023-03-15 | 0.4.1.0 | OleksandrZhabenko |
| phonetic-languages-simplified-properties-array-old | 4 | 0.0 | 0 | Some properties of the data related to rhythmicity. | (game, language, library, math, mit) | 2022-05-31 | 0.1.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-properties-lists (deprecated in favor of phonetic-languages-simplified-properties-lists-double) | 20 | 0.0 | 1 | A generalization of the uniqueness-periods-vector-properties package. | (Ukrainian, deprecated, language, library, mit, phonetic-languages) | 2021-02-02 | 0.4.0.0 | OleksandrZhabenko |
| phonetic-languages-simplified-properties-lists-double | 9 | 0.0 | 2 | A generalization of the uniqueness-periods-vector-properties package. | (language, library, math, mit) | 2021-02-02 | 0.2.0.0 | OleksandrZhabenko |
| phonetic-languages-ukrainian | 25 | 0.0 | 1 | Prepares Ukrainian text to be used as a phonetic language text | (Ukrainian, game, language, library, mit, phonetic-languages) | 2020-11-28 | 0.3.0.0 | OleksandrZhabenko |
| phonetic-languages-ukrainian-array | 74 | 0.0 | 3 | Prepares Ukrainian text to be used as a PhLADiPreLiO text | (Ukrainian, game, language, library, mit, phonetic-languages, program) | 2024-02-22 | 0.12.2.0 | OleksandrZhabenko |
| phonetic-languages-vector | 5 | 0.0 | 2 | A generalization of the functionality of the uniqueness-periods-vector package. | (language, library, mit, phonetic-languages) | 2020-10-30 | 0.1.0.0 | OleksandrZhabenko |
| pisigma | 13 | 0.0 | 1 | A dependently typed core language | (bsd3, dependent-types, development, language, library, program) | 2011-05-18 | 0.2.1 | AndresLoeh, DarinMorrison |
| plural | 12 | 0.0 | 1 | Pluralize | (bsd3, language, library) | 2018-06-07 | 0.1.0.0 | fresheyeball |
| polysemy | 182 | 2.75 | 78 | Higher-order, low-boilerplate free monads. | (bsd3, language, library) | 2024-06-03 | 1.9.2.0 | isovector, tek, TheMatten, KingoftheHomeless |
| polyseq (deprecated in favor of free-theorems-seq) | 10 | 0.0 | 1 | Taming Selective Strictness | (deprecated, language, library, program, public-domain) | 2010-10-06 | 0.1.2.1 | DanielSeidel, JanisVoigtlaender |
| portable-template-haskell-lens | 9 | 0.0 | 2 | Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11 | (language, library, mit) | 2016-10-28 | 0.1.0.0 | SimonHudon, bandali |
| powerpc | 11 | 0.0 | 1 | Tools for PowerPC programs. | (bsd3, language, library) | 2010-03-10 | 0.0.1 | TomHawkins |
| prelude-edsl | 27 | 0.0 | 1 | An EDSL-motivated subset of the Prelude | (bsd3, language, library) | 2016-04-20 | 0.4 | EmilAxelsson |
| preprocess-haskell | 7 | 0.0 | 1 | Preprocess Haskell Repositories. | (bsd3, language, library) | 2015-03-12 | 0.0.1.1 | bsummer4 |
| preprocessor-tools | 37 | 0.0 | 1 | A framework for extending Haskell's syntax via quick-and-dirty preprocessors | (bsd3, code-generation, language, library, source-tools) | 2018-05-05 | 2.0.2 | JesseTov |
| pro-abstract | 16 | 0.0 | 0 | Abstract syntax for writing documents | (language, library, mpl) | 2022-03-07 | 0.3.0.0 | chris_martin |
| processor-creative-kit | 8 | 0.0 | 1 | a creation kit for instruction sets and cpu simulators and development tools | (bsd3, embedded, hardware, language, library, system) | 2015-01-31 | 0.1.0.1 | takenobut |
| prolog | 22 | 0.0 | 2 | A Prolog interpreter written in Haskell. | (language, library, public-domain) | 2020-08-25 | 0.3.2 | DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch |
| prolog-graph | 9 | 0.0 | 1 | A command line tool to visualize query resolution in Prolog. | (language, program, public-domain) | 2011-09-21 | 0.1.0.2 | MatthiasBartsch |
| prolog-graph-lib | 17 | 0.0 | 1 | Generating images of resolution trees for Prolog queries. | (language, library, public-domain) | 2019-01-23 | 0.2.1.1 | DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch |
| prosidy | 11 | 2.25 | 1 | A simple language for writing documents. | (language, library, mpl) | 2020-03-30 | 1.6.0.2 | jafc |
| prosidyc | 9 | 0.0 | 0 | A DSL for processing Prosidy documents. | (language, library, mpl) | 2020-04-16 | 0.3.0.0 | jafc |
| purescript | 564 | 2.75 | 9 | PureScript Programming Language Compiler | (bsd3, language, library, program) | 2024-02-07 | 0.15.15 | PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, PureFunctor, kl0tl, jalexm |
| purescript-ast | 11 | 0.0 | 2 | PureScript Programming Language Abstract Syntax Tree | (bsd3, language, library) | 2021-04-18 | 0.1.1.0 | hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl |
| purescript-cst | 19 | 0.0 | 4 | PureScript Programming Language Concrete Syntax Tree | (bsd3, language, library) | 2022-02-26 | 0.5.0.0 | hdgarrood, kritzcreek, garyb, LiamGoodacre, kl0tl, jalexm |
| purescript-tsd-gen | 8 | 0.0 | 0 | TypeScript Declaration File (.d.ts) generator for PureScript | (bsd3, language, library, program) | 2019-06-21 | 0.3.0.0 | aratamizuki |
| pyffi | 5 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-11 | 0.4.0.2 | russell91 |
| pyfi | 8 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-17 | 0.4.0.4 | russell91 |
| qbe | 6 | 0.0 | 0 | Types and prettyprinter for the IL of the QBE compiler backend | (bsd3, language, library) | 2022-07-10 | 1.1.0.0 | fgaz |
| quenya-verb | 6 | 0.0 | 1 | Quenya verb conjugator | (agpl, language, library, program) | 2015-04-03 | 0.0.1 | kaashif |
| r-glpk-phonetic-languages-ukrainian-durations | 46 | 0.0 | 0 | Can be used to calculate the durations of the approximations of the Ukrainian phonemes. | (Ukrainian, glpk, language, library, math, mit, phonetic-languages, program) | 2023-02-03 | 0.5.0.0 | OleksandrZhabenko |
| rail-compiler-editor | 8 | 0.0 | 1 | Compiler and editor for the esolang rail. | (language, library, mit, program) | 2014-07-17 | 0.3.0.0 | bubuiic |
| raw-feldspar | 19 | 0.0 | 1 | Resource-Aware Feldspar | (bsd3, language, library) | 2022-05-27 | 0.4.1 | EmilAxelsson |
| really-simple-xml-parser | 13 | 0.0 | 1 | A really simple XML parser | (language, library, public-domain) | 2012-07-30 | 0.4.0.0 | KashyapChatamballi |
| recursors | 3 | 0.0 | 1 | Auto-generate final encodings and their isomorphisms using Template Haskell | (bsd3, language, library) | 2017-01-10 | 0.1.0.0 | JohnWiegley |
| refinery | 37 | 0.0 | 2 | Toolkit for building proof automation systems | (bsd3, language, library) | 2021-04-09 | 0.4.0.0 | ReedMullanix |
| reflex-jsx | 9 | 2.0 | 1 | Use jsx-like syntax in Reflex | (bsd3, frp, gui, jsx, language, library, web) | 2016-05-24 | 0.1.0.0 | dackerman |
| register-machine-typelevel | 4 | 0.0 | 1 | A computationally universal register machine implementation at the type-level | (bsd3, language, library) | 2016-04-04 | 0.1.0.0 | kcsongor |
| reorder-expression | 8 | 0.0 | 0 | Reorder expressions in a syntax tree according to operator fixities. | (language, library, mit) | 2023-12-26 | 0.1.0.1 | comp |
| resin | 27 | 0.0 | 1 | High performance variable binders | (bsd2, language, library) | 2019-01-01 | 0.2.0.3 | CarterSchonwald |
| rope | 38 | 0.0 | 2 | Tools for manipulating fingertrees of bytestrings with optional annotations | (bsd3, language, library) | 2014-03-21 | 0.6.4 | EdwardKmett |
| rope-utf16-splay | 56 | 0.0 | 7 | Ropes optimised for updating using UTF-16 code units and row/column pairs. | (bsd3, data, language, library, text) | 2022-01-14 | 0.4.0.0 | AlanZimmerman, OlleFredriksson |
| runtime-arbitrary | 5 | 0.0 | 1 | Runtime generation of Arbitrary values | (language, library, public-domain) | 2016-11-12 | 0.1.0.6 | chriswarbo |
| satyros | 34 | 0.0 | 0 | Step-by-step SAT solver for educational purposes | (language, library, mit) | 2021-11-14 | 0.3.1.4 | Ailrun |
| seal-module | 8 | 0.0 | 1 | Template Haskell support for global configuration data | (bsd3, language, library) | 2010-11-08 | 0.1.0.1 | JoachimBreitner |
| semantic | 6 | 2.25 | 0 | Framework and service for analyzing and diffing untrusted code. | (language, library, mit) | 2019-06-02 | 0.0.0 | patrick_thomson |
| sequitur | 6 | 0.0 | 0 | Grammar-based compression algorithms SEQUITUR | (bsd3, compression, formal-languages, language, library, natural-language-processing, nlp, text) | 2024-07-28 | 0.2.0.0 | MasahiroSakai |
| sexp | 13 | 0.0 | 1 | S-Expression parsing/printing made fun and easy | (gpl, language, library, parsing, program) | 2013-02-26 | 0.7 | AlexandruScvortov |
| sexp-grammar | 119 | 0.0 | 2 | Invertible grammar combinators for S-expressions | (bsd3, language, library) | 2023-11-12 | 2.3.4.2 | EugeneSmolanka, SergeyVinokurov |
| shady-gen | 4 | 0.0 | 2 | Functional GPU programming - DSEL & compiler | (gpu, language, library) | 2011-06-30 | 0.5.1 | ConalElliott |
| shake-dhall | 19 | 0.0 | 0 | Dhall dependencies | (bsd3, dhall, language, library) | 2020-08-26 | 0.1.1.3 | vmchale |
| she | 26 | 0.0 | 2 | A Haskell preprocessor adding miscellaneous features | (language, library, program, public-domain) | 2011-08-02 | 0.6 | ConorMcBride |
| shentong | 10 | 2.0 | 1 | A Haskell implementation of the Shen programming language | (bsd3, language, program) | 2017-04-27 | 0.3.2 | mjt128 |
| shivers-cfg | 5 | 0.0 | 1 | Implementation of Shivers' Control-Flow Analysis | (bsd3, language, library) | 2015-09-08 | 0.1.1 | JoachimBreitner |
| shortcut | 8 | 0.0 | 4 | (bsd3, language, library) | 2017-03-17 | 0.1 | CorentinDupont | |
| show | 58 | 0.0 | 4 | 'Show' instances for Lambdabot | (language, library) | 2013-05-19 | 0.6 | CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven |
| shplit | 16 | 0.0 | 1 | A Haskell pattern splitter with emacs attachments | (language, program, public-domain) | 2012-02-01 | 0.3 | ConorMcBride |
| sifflet | 38 | 0.0 | 1 | Simple, visual, functional language for learning about recursion. | (bsd3, language, library, program, visual-programming) | 2016-05-18 | 2.3.0 | GregoryWeber |
| sifflet-lib (deprecated in favor of sifflet) | 29 | 0.0 | 1 | Library of modules shared by sifflet and its tests and its exporters. | (bsd3, deprecated, language, library, visual-programming) | 2014-11-02 | 2.2.1 | GregoryWeber |
| signals | 10 | 0.0 | 2 | Synchronous signal processing for DSLs. | (bsd3, language, library) | 2015-10-31 | 0.2.0.2 | mararon |
| simple-c-value | 6 | 0.0 | 1 | A simple C value type | (bsd3, language, library) | 2012-04-04 | 0.0.0.1 | JonathanFischoff |
| simple-eval | 7 | 0.0 | 1 | Evaluate a Text to an Integer: "1 + 1" -> 2 | (gpl, language, library, program) | 2014-10-24 | 0.1.0.1 | m |
| simple-ltl | 18 | 0.0 | 0 | A simple LTL checker | (bsd3, language, library) | 2019-04-22 | 2.1.0 | JohnWiegley |
| simple-sql-parser | 47 | 0.0 | 3 | A parser for SQL. | (bsd3, database, language, library) | 2024-10-08 | 0.8.0 | JakeWheat |
| sized-types | 18 | 0.0 | 4 | Sized types in Haskell using the GHC Nat kind. | (bsd3, language, library) | 2015-05-19 | 0.5.1 | AndyGill, GergoErdi, ryanglscott |
| sketch-frp-copilot | 41 | 0.0 | 2 | Sketch programming with Copilot | (bsd3, embedded, language, library) | 2024-02-22 | 1.0.10 | JoeyHess |
| slot-lambda | 11 | 0.0 | 1 | Write lambdas without naming the parameters. | (language, library, mit) | 2014-04-08 | 0.1.0.3 | ducis |
| smt-lib | 15 | 0.0 | 1 | Parsing and printing SMT-LIB. | (bsd3, language, library) | 2010-07-19 | 0.0.2 | TomHawkins |
| smt2-parser | 37 | 0.0 | 1 | A Haskell parser for SMT-LIB version 2.6 | (bsd3, formal-languages, language, library, smt) | 2022-10-08 | 0.1.0.1 | liuyuxi, haskell_github_trust |
| snaplet-lss (deprecated) | 5 | 0.0 | 1 | Lexical Style Sheets - Snap Web Framework adaptor. | (bsd3, deprecated, language, library) | 2014-09-04 | 0.1.0.0 | DanielPatterson |
| snmp | 20 | 0.0 | 2 | SNMP protocol library | (bsd3, language, library) | 2019-04-09 | 0.3.1.0 | chemist, andrewthad, chessai |
| sound-change | 4 | 0.0 | 0 | Apply sound changes to words | (language, library, linguistics, mit) | 2023-10-14 | 0.1.0.0 | OwenBechtel |
| spade | 28 | 0.0 | 0 | A simple programming and debugging environment. | (gpl, ide, interpreter, language, library, program) | 2024-08-04 | 0.1.0.10 | sras |
| specialize-th | 9 | 0.0 | 2 | Create specialized types from polymorphic ones using TH | (bsd3, language, library) | 2012-03-08 | 0.0.0.8 | JonathanFischoff |
| spir-v | 11 | 0.0 | 1 | Some utilities for reading and writing SPIR-V files | (language, library, mit) | 2016-02-16 | 0.0.1.0 | jophish, expipiplus1 |
| staticanalysis | 13 | 0.0 | 2 | Reusable static analysis interfaces and modules. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
| string-interpreter | 55 | 0.0 | 2 | Is used in the phonetic languages approach (e. g. in the recursive mode). | (Ukrainian, language, library, mit, phonetic-languages) | 2023-01-30 | 0.8.0.0 | OleksandrZhabenko |
| stylish-cabal | 28 | 0.0 | 0 | Format Cabal files | (bsd3, language, library, program) | 2019-02-09 | 0.5.0.0 | JudeTaylor |
| stylish-haskell | 482 | 2.25 | 4 | Haskell code prettifier | (bsd3, language, library, program) | 2024-01-19 | 0.14.6.0 | JasperVanDerJeugt |
| stylist | 44 | 0.0 | 1 | Apply CSS styles to a document tree. | (gpl, language, library) | 2023-06-20 | 2.7.0.1 | alcinnz |
| subleq-toolchain | 8 | 0.0 | 1 | Toolchain of subleq computer. | (gpl, language, library, program) | 2015-12-24 | 0.1.8.5 | na4zagin3 |
| sugar-scheme | 7 | 0.0 | 0 | Sugar with Scheme | (language, library, text) | 2022-07-28 | 0.0.1 | jxv |
| sugarhaskell | 5 | 0.0 | 1 | Library-based syntactic extensibility for Haskell | (code-generation, language, program, source-tools) | 2012-10-05 | 0.1 | SebastianErdweg |
| sunroof-compiler | 7 | 0.0 | 2 | Monadic Javascript Compiler | (bsd3, compiler, embedded, javascript, language, library, web) | 2013-04-12 | 0.2 | JanBracker |
| sunroof-examples | 10 | 0.0 | 1 | Tests for Sunroof | (bsd3, compiler, embedded, javascript, language, program, web) | 2014-06-27 | 0.2.2 | JanBracker |
| sunroof-server | 8 | 0.0 | 1 | Monadic Javascript Compiler - Server Utilities | (bsd3, embedded, javascript, language, library, web) | 2014-06-27 | 0.2.1 | JanBracker |
| surjective | 7 | 0.0 | 1 | An output coverage checker | (language, library, public-domain) | 2018-02-21 | 0.1.0.0 | gelisam |
| sv2v | 26 | 0.0 | 0 | SystemVerilog to Verilog conversion | (bsd3, development, embedded, hardware, language, program) | 2024-05-07 | 0.0.12 | zachjs |
| swearjure | 4 | 0.0 | 1 | Clojure without alphanumerics. | (language, lgpl, program) | 2015-04-01 | 1.0.0 | hyPiRion |
| symantic | 20 | 0.0 | 1 | Library for Typed Tagless-Final Higher-Order Composable DSL | (gpl, language, library) | 2019-07-12 | 6.3.4.20190712 | julm |
| symantic-grammar | 16 | 0.0 | 2 | Library for symantic grammars. | (gpl, language, library) | 2019-06-17 | 0.3.3.20190614 | julm |
| symantic-lib | 16 | 0.0 | 1 | Symantics for common types. | (gpl, language, library) | 2019-06-17 | 0.0.5.20190614 | julm |
| synt | 11 | 0.0 | 1 | Similar code analysis. | (language, library, program) | 2014-11-23 | 0.1.2 | brentlintner |
| syntactic | 111 | 0.0 | 9 | Generic representation and manipulation of abstract syntax | (bsd3, language, library) | 2022-05-26 | 3.8.4 | AndersPersson, EmilAxelsson |
| syntax-trees | 8 | 0.0 | 2 | Convert between different Haskell syntax trees. | (bsd3, language, library) | 2010-10-01 | 0.1.2 | DominicOrchard, GeorgeGiorgidze |
| syntax-trees-fork-bairyn | 6 | 0.0 | 2 | Convert between different Haskell syntax trees. Bairyn's fork. | (bsd3, language, library) | 2014-11-30 | 0.1.2.5 | ByronJohnson |
| tal | 4 | 0.0 | 1 | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) | (language, library, mit) | 2016-08-23 | 0.1.0.0 | sweirich |
| tempi | 16 | 0.0 | 0 | For representing musical tempi | (bsd3, language, library) | 2021-09-29 | 1.0.2.1 | dktr0 |
| tempus | 5 | 0.0 | 1 | Interpreter for the FRP language Tempus | (bsd3, compilers-interpreters, frp, language, program) | 2011-08-31 | 0.1.0 | MatthiasReisner |
| tensor-safe | 8 | 2.0 | 0 | Create valid deep neural network architectures | (ai, bsd3, dependent-types, language, library, program) | 2019-05-03 | 0.1.0.1 | leopiney |
| termination-combinators | 5 | 0.0 | 1 | Termination combinators for forcing non-terminating algorithms to terminate | (bsd3, language, library) | 2011-09-19 | 0.1 | MaxBolingbroke |
| tersmu | 8 | 0.0 | 1 | A semantic parser for lojban | (gpl, language, library, program) | 2018-04-29 | 0.2.2 | mbays |
| text-register-machine | 9 | 0.0 | 1 | A Haskell implementation of the 1# Text Register Machine | (bsd3, language, library) | 2012-02-09 | 0.4.0 | AdamFoltzer |
| th-alpha | 18 | 0.0 | 1 | Alpha equivalence for TH Exp | (bsd3, language, library) | 2016-07-01 | 0.2.1.0 | jkarni |
| th-bang-compat | 15 | 0.0 | 1 | Compatibility for bang-type template | (bsd3, language, library) | 2019-06-09 | 0.0.1.0 | KeiHibino |
| th-constraint-compat | 16 | 0.0 | 3 | Compatibility for type constraint template | (bsd3, language, library) | 2017-10-07 | 0.0.1.0 | KeiHibino |
| th-data-compat | 81 | 2.0 | 5 | Compatibility for data definition template of TH | (bsd3, language, library) | 2023-12-29 | 0.1.3.1 | KeiHibino |
| th-dict-discovery | 4 | 2.0 | 1 | Automatically discover available dictionaries at compile time. | (bsd3, language, library) | 2017-12-27 | 0.1.0.0 | isovector |
| th-instances | 8 | 0.0 | 1 | A place to collect orphan instances for Template Haskell | (bsd3, language, library) | 2012-03-02 | 0.1.0.14 | JonathanFischoff |
| th-lift | 695 | 0.0 | 85 | Derive Template Haskell's Lift class for datatypes. | (bsd3, language, library) | 2024-10-22 | 0.8.5 | IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott |
| th-reify-compat | 42 | 0.0 | 1 | Compatibility for the result type of TH reify | (bsd3, language, library) | 2018-08-26 | 0.0.1.5 | KeiHibino |
| th-strict-compat | 12 | 0.0 | 2 | Compatibility shim for Bang and Strict in Template Haskell. | (apache, language, library) | 2017-09-24 | 0.1.0.1 | igrep |
| thih | 6 | 0.0 | 1 | Typing Haskell In Haskell | (bsd3, language, library, program) | 2008-04-04 | 1.0 | GwernBranwen, ocramz |
| to-haskell | 5 | 0.0 | 1 | A type class and some utilities for generating Haskell code. | (bsd3, language, library) | 2012-10-11 | 0.3.0 | ConalElliott |
| tptp | 22 | 0.0 | 1 | Parser and pretty printer for the TPTP language | (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers) | 2021-01-11 | 0.1.3.0 | EK |
| transformations | 9 | 0.0 | 1 | Generic representation of tree transformations | (gpl, language, library, program) | 2015-02-15 | 0.2.0.0 | JeroenBransen, JosePedroMagalhaes |
| traverse-code | 10 | 0.0 | 0 | General data structure lifting for Template Haskell | (bsd3, language, library) | 2022-01-23 | 0.1.1.1 | dfeuer |
| trhsx (deprecated in favor of hsx) | 9 | 0.0 | 1 | Deprecated | (bsd3, deprecated, language, library) | 2008-05-17 | 0.2.2 | GwernBranwen, NiklasBroberg |
| turkish-deasciifier | 7 | 0.0 | 0 | Haskell port of Deniz Yuret's Turkish deasciifier. | (language, library, mit, program) | 2015-07-22 | 0.1.0.0 | cattheory |
| type-of-html | 151 | 2.25 | 1 | High performance type driven html generation. | (bsd3, html, language, library, text, web) | 2021-02-06 | 1.6.2.0 | knupfer |
| type-of-html-static | 11 | 0.0 | 1 | Optimize static parts of type-of-html. | (bsd3, html, language, library, text, web) | 2018-05-02 | 0.1.0.2 | knupfer |
| type-settheory | 15 | 0.0 | 1 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | 2010-11-03 | 0.1.3.1 | DanielSchuessler |
| type-sub-th | 11 | 0.0 | 3 | Substitute types for other types with Template Haskell | (bsd3, language, library) | 2012-03-08 | 0.1.0.6 | JonathanFischoff |
| type-tree | 15 | 0.0 | 1 | Tree representations of datatypes | (language, library, mit) | 2018-04-07 | 0.2.0.1 | JudeTaylor |
| typescript-docs | 8 | 0.0 | 1 | A documentation generator for TypeScript Definition files | (language, mit, program) | 2014-01-07 | 0.0.3 | PhilFreeman |
| ukrainian-phonetics-basic | 84 | 0.0 | 5 | A library to work with the basic Ukrainian phonetics and syllable segmentation. | (Ukrainian, language, library, mit, phonetic-languages, syllable-segmentation) | 2020-12-05 | 0.4.1.0 | OleksandrZhabenko |
| ukrainian-phonetics-basic-array | 64 | 0.0 | 11 | A library to work with the basic Ukrainian phonetics and syllable segmentation. | (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation) | 2024-04-07 | 0.10.0.0 | OleksandrZhabenko |
| ukrainian-phonetics-basic-array-bytestring | 11 | 0.0 | 2 | A library to work with the basic Ukrainian phonetics and syllable segmentation. | (Ukrainian, language, library, mit, phonetics) | 2022-08-09 | 0.1.1.0 | OleksandrZhabenko |
| ukrainian-phonetics-common | 12 | 0.0 | 2 | A library to work with the basic Ukrainian phonetics and syllable segmentation. | (Ukrainian, language, library, mit, phonetics) | 2023-02-02 | 0.2.0.0 | OleksandrZhabenko |
| unbound | 53 | 0.0 | 3 | Generic support for programming with names and binders | (bsd3, compilers-interpreters, generics, language, library) | 2018-10-15 | 0.5.1.1 | BrentYorgey, sweirich |
| unbound-generics | 83 | 2.0 | 8 | Support for programming with names and binders using GHC Generics | (bsd3, language, library) | 2024-03-21 | 0.4.4 | AlekseyKliger |
| unbound-generics-unify | 5 | 0.0 | 0 | Unification based on unbound-generics | (bsd3, language, library) | 2024-09-25 | 0.1.1 | AlejandroSerrano |
| unbound-kind-generics | 16 | 1.75 | 0 | Support for programming with names and binders using kind-generics | (bsd3, language, library) | 2023-05-22 | 0.2.1.1 | AlejandroSerrano |
| unification-fd | 51 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2024-11-21 | 0.12.0 | WrenThornton, WrenRomano |
| unipatterns | 7 | 0.0 | 0 | Helpers which allow safe partial pattern matching in lambdas | (bsd3, language, library) | 2019-08-21 | 0.0.0.0 | ChrisPenner |
| uniqueness-periods | 9 | 0.0 | 2 | Can be used to produce the 'uniquenessPeriods' function and related functionality. | (Ukrainian, language, library, mit, uniqueness-periods) | 2020-08-18 | 0.2.0.0 | OleksandrZhabenko |
| uniqueness-periods-general | 11 | 0.0 | 1 | Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions. | (language, library, mit, uniqueness-periods) | 2020-08-18 | 0.2.0.0 | OleksandrZhabenko |
| uniqueness-periods-vector | 19 | 0.0 | 3 | Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. | (game, language, library, math, mit, uniqueness) | 2020-10-14 | 0.3.1.1 | OleksandrZhabenko |
| uniqueness-periods-vector-common | 22 | 0.0 | 3 | Generalization of the dobutokO-poetry-general package functionality | (game, language, library, math, mit, uniqueness) | 2020-10-14 | 0.5.1.1 | OleksandrZhabenko |
| uniqueness-periods-vector-examples | 125 | 0.0 | 0 | Usage examples for the uniqueness-periods-vector series of packages | (game, language, library, math, mit, phonetic-languages, program, uniqueness-periods) | 2021-02-02 | 0.15.0.0 | OleksandrZhabenko |
| uniqueness-periods-vector-filters | 21 | 0.0 | 0 | A library allows to change the structure of the 'RealFrac' function output. | (data, game, language, library, math, mit, uniqueness-periods) | 2020-10-07 | 0.3.0.0 | OleksandrZhabenko |
| uniqueness-periods-vector-general | 64 | 0.0 | 0 | Some kind of the optimization approach to data inner structure. | (extremum-estimator, game, language, library, math, mit, phonetic-languages, uniqueness) | 2020-11-12 | 0.5.3.0 | OleksandrZhabenko |
| uniqueness-periods-vector-properties | 47 | 0.0 | 1 | Metrices for the maximum element for the uniqueness-periods-vector packages family. | (game, language, library, math, mit, phonetic-languages, syllable-segmentation) | 2021-02-02 | 0.6.0.0 | OleksandrZhabenko |
| universe-th | 13 | 0.0 | 3 | Construct a Dec's ancestor list. | (bsd3, language, library) | 2012-03-08 | 0.0.0.6 | JonathanFischoff |
| unlit | 61 | 2.0 | 1 | Tool to convert literate code between styles or to code. | (bsd3, language, library, program) | 2016-12-18 | 0.4.0.0 | wenkokke |
| unpacked-containers | 8 | 2.0 | 0 | Unpacked containers via backpack | (bsd2, language, library, program) | 2018-04-06 | 0 | EdwardKmett |
| urldisp-happstack | 4 | 0.0 | 1 | Simple, declarative, expressive URL routing -- on happstack. | (bsd3, language, library) | 2009-07-25 | 0.1 | SterlingClover |
| valid-names | 9 | 0.0 | 1 | Valid operator/module characters | (language, library, mit) | 2013-12-29 | 0.1.0.1 | JoelTaylor |
| verifiable-expressions | 16 | 0.0 | 1 | An intermediate language for Hoare logic style verification. | (apache, language, library) | 2021-06-16 | 0.6.2 | DominicOrchard, mdanish, madgen, raehik |
| verilog | 34 | 0.0 | 1 | Verilog preprocessor, parser, and AST. | (bsd3, embedded, hardware, language, library) | 2015-03-26 | 0.0.11 | TomHawkins |
| vhdl | 12 | 0.0 | 2 | VHDL AST and pretty printer | (bsd3, language, library) | 2010-06-22 | 0.1.2.1 | ChristiaanBaaij |
| wasm | 16 | 2.25 | 0 | WebAssembly Language Toolkit and Interpreter | (language, library, mit) | 2021-12-12 | 1.1.1 | irezvov |
| web-routes | 134 | 0.0 | 37 | portable, type-safe URL routing | (bsd3, language, library, web) | 2024-06-05 | 0.27.16 | JeremyShaw |
| web-routes-boomerang | 58 | 0.0 | 3 | Use boomerang for type-safe URL parsers/printers | (bsd3, language, library, web) | 2024-06-06 | 0.28.4.5 | JeremyShaw |
| web-routes-generics | 11 | 0.0 | 0 | portable, type-safe URL routing | (bsd3, language, library, web) | 2024-06-06 | 0.1.0.2 | JeremyShaw |
| web-routes-happstack | 67 | 0.0 | 9 | Adds support for using web-routes with Happstack | (bsd3, language, library, web) | 2023-01-23 | 0.23.12.3 | JeremyShaw |
| web-routes-hsp | 64 | 0.0 | 4 | Adds XMLGenerator instance for RouteT monad | (bsd3, language, library, web) | 2022-04-20 | 0.24.6.2 | JeremyShaw |
| web-routes-mtl (deprecated in favor of web-routes) | 13 | 0.0 | 2 | Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances | (bsd3, deprecated, language, library, web) | 2011-03-15 | 0.20.1 | JeremyShaw |
| web-routes-regular | 15 | 0.0 | 2 | portable, type-safe URL routing | (bsd3, language, library, web) | 2015-12-18 | 0.19.0.1 | JeremyShaw |
| web-routes-th | 76 | 0.0 | 14 | Support for deriving PathInfo using Template Haskell | (bsd3, language, library, web) | 2024-06-06 | 0.22.8.2 | JeremyShaw |
| web-routes-transformers (deprecated in favor of web-routes) | 12 | 0.0 | 1 | Extends web-routes with some transformers instances for RouteT | (bsd3, deprecated, language, library, web) | 2010-11-04 | 0.19.1 | JeremyShaw |
| web-routes-wai | 49 | 0.0 | 2 | Library for maintaining correctness of URLs within an application. | (bsd3, language, library, web) | 2022-04-20 | 0.24.3.2 | JeremyShaw |
| webidl | 7 | 0.0 | 1 | Parser and Pretty Printer for the Web IDL Language | (bsd3, language, library, program) | 2009-06-08 | 0.1.1 | DmitryGolubovsky |
| while-lang-parser | 5 | 0.0 | 1 | Parser for the While language. | (bsd3, language, library) | 2013-05-25 | 0.1.0.0 | DavidNilsson |
| word-note-sox | 4 | 0.0 | 0 | SoX for algorithmic composition with groups of notes liken to words | (language, library, mit, sound) | 2024-02-06 | 0.1.0.0 | OleksandrZhabenko |
| words | 14 | 0.0 | 1 | Cross-platform access to a list of words | (bsd3, language, library) | 2011-10-10 | 0.1.2 | ChrisSmith |
| yabi-muno | 6 | 0.0 | 1 | Yet Another Brainfuck Interpreter | (language, library, mit, program) | 2015-03-08 | 0.1.0.1 | L8D |
| yosys-rtl | 10 | 0.0 | 0 | Yosys RTL Intermediate Language | (language, library, mit) | 2024-08-07 | 0.1.0.1 | dopamane |
| z3-encoding | 7 | 0.0 | 2 | High-level assertion encoding to Z3 solver | (language, library, mit) | 2016-07-05 | 0.3.0.0 | izgzhen |
| zabt | 10 | 0.0 | 1 | Simple-minded abstract binding trees | (bsd3, language, library) | 2016-08-11 | 0.4.0.0 | JosephAbrahamson |
| zasni-gerna | 25 | 2.0 | 1 | lojban parser (zasni gerna) | (bsd3, language, library) | 2019-10-24 | 0.0.7.1 | YoshikuniJujo |
| zephyr-copilot | 40 | 0.0 | 0 | Embedded programming in haskell using the Copilot stream DSL and Zephyr | (bsd3, embedded, language, library) | 2024-02-22 | 1.0.9 | JoeyHess |
| zeroth | 15 | 0.0 | 1 | ZeroTH - remove unnecessary TH dependencies | (bsd3, language, library, program) | 2009-06-23 | 2009.6.23.3 | DavidHimmelstrup, RobinGreen |