Packages tagged language
769 packages have this tag.
[Merge tag] (trustees only)Related tags: library (696), bsd3 (456), program (233), mit (166), gpl (56), deprecated (52), math (41), phonetic-languages (31), game (29), Ukrainian (26), embedded (25), public-domain (24), web (23), compiler (21), compilers-interpreters (19), data (18), apache (16), development (16), text (14), formal-methods (10), hardware (9), sound (9), .net (7), ffi (7), music (7), phonetics (7), clr (6), concurrency (6), parser (6), sox (6), code-generation (5), control (5), database (5), generics (5), lgpl (5), mpl (5), parsing (5), pretty-printer (5), source-tools (5), uniqueness (5), agpl (4), bsd2 (4), effect (4), javascript (4), speech-approximation (4), syllable-segmentation (4), uniqueness-periods (4), writing-systems (4), PhLADiPreLiO (3), 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), 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), polymorphism (2), prosodic-languages (2), prosody (2), reflection (2), template-haskell (2), unification (2), visual-programming (2), voice (2), ai (1), algebra (1), analysis (1), api (1), binary-search (1), bitcoin (1), build (1), c (1), codec (1), coherency (1), cryptography (1), debug (1), debuggers (1), disassembler (1), distribution (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
ASN1 | 1 | 0.0 | 1 | ASN.1 support for Haskell | (bsd3, language, library) | 2008-06-22 | 0.0.1.1 | HerbertValerioRiedel |
AspectAG | 10 | 0.0 | 5 | Strongly typed Attribute Grammars implemented using type-level programming. | (aspect-oriented-programming, gpl, language, library) | 2022-05-26 | 0.7.0.1 | MarcosViera, jpgarcia |
BASIC | 4 | 1.75 | 1 | Embedded BASIC | (bsd3, language, library) | 2009-02-09 | 0.1.5.0 | LennartAugustsson |
BNFC-meta | 15 | 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 | 0 | 2.25 | 1 | The Bidirectional Generic Update Language | (generics, language, lenses, library, public-domain) | 2016-08-30 | 1.0.1 | joshko, Zirun |
CSPM-CoreLanguage | 15 | 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 | 2 | 0.0 | 2 | Firing rules semantic of CSPM | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.4.4.0 | MarcFontaine |
CSPM-Frontend | 1 | 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 | 3 | 0.0 | 2 | An interpreter for CSPM | (bsd3, concurrency, formal-methods, language, library) | 2017-10-26 | 0.7.1.0 | MarcFontaine |
CSPM-cspm | 1 | 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 | 0 | 0.0 | 1 | Manipulating Core Erlang source code | (bsd3, language, library) | 2018-03-20 | 0.0.4 | AlexKropivny, HenriqueFerreiro |
DTC | 2 | 0.0 | 1 | Data To Class transformation. | (bsd3, language, library) | 2013-04-21 | 1.1.0.1 | DanielDiaz |
DrHylo | 4 | 0.0 | 1 | A tool for deriving hylomorphisms | (bsd3, language, library, program) | 2008-12-09 | 0.0.2 | HugoPacheco |
Ebnf2ps | 8 | 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) | 16 | 0.0 | 6 | The Elm language module. | (bsd3, compiler, deprecated, language, library, program) | 2014-09-22 | 0.13 | EvanCzaplicki |
Eq (deprecated) | 5 | 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 | 1 | 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) | 1 | 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 | 1 | 0.0 | 0 | Simple Gridlab-D GLM parser and utilities. | (language, library, mit, program) | 2015-10-09 | 0.7.0.0 | LyndonMaydwell |
GTALib | 0 | 0.0 | 1 | A library for GTA programming | (bsd3, language, library) | 2012-06-08 | 0.0.6 | KentoEmoto |
Ganymede | 3 | 0.0 | 1 | An Io interpreter in Haskell. | (bsd3, language, program) | 2011-04-18 | 0.0.0.5 | WaltBaety |
GoogleTranslate | 6 | 0.0 | 2 | Interface to Google Translate API | (gpl, language, library) | 2010-10-01 | 0.0.5 | AndyStewart |
GroteTrap | 3 | 0.0 | 1 | Parser and selection library for expression languages. | (bsd3, language, library) | 2016-10-08 | 0.5.2 | MartijnVanSteenbergen |
HJScript | 2 | 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 | 1 | 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 | 9 | 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 | 2 | 0.0 | 1 | Haskell integration with Parrot virtual machine | (bsd3, language, library, pugs) | 2015-08-15 | 0.0.2.20150805 | AudreyTang |
HsPerl5 | 2 | 0.0 | 1 | Haskell interface to embedded Perl 5 interpreter | (bsd3, language, library, pugs) | 2015-08-15 | 0.0.6.20150815 | AudreyTang |
ImperativeHaskell | 6 | 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) | 1 | 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) | 3 | 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 | 7 | 0.0 | 1 | Design-by-contract for JavaScript | (bsd3, language, library, program) | 2009-12-15 | 0.5.3 | ArjunGuha |
JsonGrammar | 3 | 0.0 | 1 | Combinators for bidirectional JSON parsing | (bsd3, json, language, library) | 2016-10-07 | 1.0.5 | MartijnVanSteenbergen |
LC3 | 1 | 0.0 | 0 | LC-3 virtual machine | (bsd3, language, program) | 2019-01-01 | 0.1.0.2 | DavidJohnson |
LambdaCalculator | 5 | 0.0 | 1 | A basic lambda calculator with beta reduction and a REPL | (bsd3, language, program) | 2016-06-29 | 0.2 | ThomasDuBuisson |
LambdaPrettyQuote | 1 | 0.0 | 1 | Quasiquoter, and Arbitrary helpers for the lambda calculus. | (bsd3, language, library) | 2012-02-24 | 0.0.0.8 | JonathanFischoff |
LibClang | 3 | 0.0 | 1 | Haskell bindings for libclang (a C++ parsing library) | (bsd3, language, library) | 2017-01-15 | 3.8.0 | ChetanTaralekar, deech |
LslPlus | 9 | 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 | 1 | 0.0 | 2 | Automatic inductive functional programmer by systematic search | (bsd3, language, library, program) | 2022-06-02 | 0.9.7.1 | SusumuKatayama |
MicrosoftTranslator | 2 | 0.0 | 1 | Interface for Microsoft Translator | (bsd3, language, library) | 2015-08-23 | 0.1.0.1 | netogallo |
NXTDSL | 1 | 0.0 | 1 | Generate NXC Code from DSL | (bsd3, compilers-interpreters, language, library, program) | 2013-08-31 | 0.4 | AlexanderThiemann |
NanoProlog | 12 | 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) | 32 | 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) | 6 | 0.0 | 1 | Language to express rules for Nomic | (bsd3, deprecated, language, library) | 2013-02-25 | 0.1.0 | CorentinDupont |
Obsidian | 3 | 0.0 | 1 | Embedded language for GPU Programming | (bsd3, language, library) | 2016-05-14 | 0.4.0.0 | JoelSvensson |
Ordinary | 0 | 0.0 | 0 | A Programming Language in Construction | (bsd3, language, library, program) | 2018-01-08 | 0.2018.1.8 | MarisaVeryMoe |
Paraiso | 1 | 0.0 | 1 | a code generator for partial differential equations solvers. | (bsd3, language, library) | 2015-12-03 | 0.3.1.5 | TakayukiMuranushi |
Plural | 9 | 0.0 | 1 | Pluralize English words | (gpl, language, library) | 2009-08-05 | 0.0.2 | AndyStewart |
Pugs | 13 | 0.0 | 1 | A Perl 6 Implementation | (bsd3, language, program, pugs) | 2015-08-15 | 6.2.13.20150815 | AudreyTang, JeffShaw |
SCRIPTWriter | 4 | 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 | 0 | 0.0 | 1 | Declarative coördination language for streaming networks. | (language, lgpl, library) | 2012-09-24 | 0.1.0 | MerijnVerstraaten |
Strafunski-Sdf2Haskell | 0 | 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) | 1 | 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) | 9 | 0.0 | 6 | JavaScript analysis tools | (bsd3, deprecated, language, library) | 2012-05-10 | 2.2 | AndreyChudnov, ArjunGuha |
WebBits-Html | 0 | 0.0 | 2 | JavaScript analysis tools | (language, library) | 2010-02-01 | 1.0.2 | ArjunGuha |
WebBits-multiplate | 0 | 0.0 | 1 | A Multiplate instance for JavaScript. | (language, library, mit) | 2011-03-24 | 0.0.0.1 | BalazsEndresz |
Wired | 5 | 0.0 | 1 | Wire-aware hardware description | (bsd3, hardware, language, library) | 2014-05-06 | 0.3 | EmilAxelsson |
XmlHtmlWriter | 1 | 2.0 | 1 | A library for writing XML and HTML | (bsd3, language, library) | 2012-05-25 | 0.0.0.1 | MatthewMirman |
abacate | 0 | 0.0 | 2 | Parser for a language similar to Cucumber's Gherkin | (language, library) | 2012-08-11 | 0.0.0.0 | MarcoSilva |
abt | 1 | 1.25 | 1 | Abstract binding trees for Haskell | (language, library, mit) | 2015-01-11 | 0.1.1.0 | JonSterling |
acl2 | 1 | 0.0 | 2 | Writing and calling ACL2 from Haskell. | (bsd3, formal-methods, language, library) | 2014-10-01 | 0.0.1 | TomHawkins |
adtrees | 0 | 0.0 | 0 | Modelling, rendering and quantitative analysis on attack defense trees | (gpl, language, library) | 2019-02-23 | 0.1.0.0 | umazalakain |
agda2hs | 3 | 0.0 | 0 | Compiling Agda code to readable Haskell. | (bsd3, compiler, language, program) | 2023-04-07 | 1.0 | jcockx |
alga (deprecated) | 5 | 0.0 | 0 | Algorithmic automation for various DAWs | (deprecated, gpl, language, library, program) | 2016-09-10 | 0.2.2 | mrkkrp |
algorithmic-composition-additional | 2 | 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 | 3 | 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 | 0 | 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 | 4 | 0.0 | 0 | prelude for Algebra of Programming | (bsd3, language, library) | 2023-04-19 | 0.4.1.2 | KatsutoshiItoh |
applicative-parsec | 1 | 0.0 | 1 | An applicative parser combinator library | (gpl, language, library) | 2015-04-09 | 0.1.0.0 | KarlVoelker |
applicative-quoters | 17 | 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 | 34 | 2.0 | 0 | Arduino programming in haskell using the Copilot stream DSL | (bsd3, embedded, language, library) | 2023-03-09 | 1.7.7 | JoeyHess |
arghwxhaskell | 0 | 0.0 | 1 | An interpreter for the Argh! programming language in wxHaskell. | (gpl, language, program) | 2015-12-03 | 0.8.2.0 | HenkJanVanTuyl |
ariadne | 8 | 0.0 | 1 | Go-to-definition for Haskell | (language, mit, program) | 2014-11-01 | 0.1.2.3 | RomanCheplyaka, manzyuk |
array-forth | 1 | 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 | 1 | 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 | 0 | 0.0 | 1 | A library for writing JSON | (bsd3, language, library) | 2017-04-29 | 0.1.0.1 | MasatoMouri |
astview (deprecated) | 4 | 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) | 1 | 0.0 | 1 | Interfacing between hint and astview | (bsd4, deprecated, language, library) | 2009-11-18 | 0.1 | SebastianMenge |
aterm-utils | 0 | 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 | 7 | 0.0 | 4 | An EDSL for embedded hard realtime applications. | (bsd3, embedded, language, library) | 2015-06-03 | 1.0.13 | LeePike, TomHawkins |
atomo | 5 | 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 | 7 | 0.0 | 2 | A source-code formatter for ATS | (ats, bsd3, development, language, parser, program) | 2019-11-30 | 0.2.0.36 | vmchale |
axel | 3 | 0.0 | 0 | The Axel programming language. | (bsd3, language, library, lisp, macros, program, transpiler) | 2019-10-03 | 0.0.12 | jgrosso256 |
bash | 18 | 0.0 | 1 | Bash generation library. | (bsd3, language, library) | 2013-03-17 | 0.1.8 | JasonDusek |
berp | 0 | 0.0 | 1 | An implementation of Python 3. | (bsd3, language, library, program) | 2010-05-31 | 0.0.2 | BerniePope |
bidirectional-instances | 0 | 0.0 | 0 | Make instance constraints bidirectional | (language, library, mit) | 2022-09-04 | 0.1.0.0 | lev_135 |
bidirectionalization-combined | 0 | 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 | 1 | 0.0 | 1 | API wrapper for Big Huge Thesaurus | (api, language, library) | 2015-12-28 | 0.1.0.0 | TheKing |
binary-literal-qq (deprecated) | 1 | 0.0 | 1 | Extends Haskell with binary literals. | (bsd3, deprecated, language, library) | 2012-09-24 | 1.0 | MathieuBoespflug |
birds-of-paradise | 6 | 0.0 | 0 | Birds of Paradise | (bsd3, language, library) | 2023-04-19 | 0.2.1.2 | KatsutoshiItoh |
bitcoin-scripting | 0 | 2.0 | 0 | Resources for working with miniscript, and script descriptors | (bsd3, language, library) | 2022-08-04 | 0.3.0 | IanShipman |
blanks | 10 | 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 | 15 | 0.0 | 1 | Bond schema compiler and code generator | (code-generation, compiler, language, library, mit, program) | 2020-05-27 | 0.12.1.0 | sapek, chwarr, eduardo |
bond-haskell-compiler | 2 | 0.0 | 1 | Bond code generator for Haskell | (bsd3, language, library, program) | 2016-11-26 | 0.1.5.0 | blaze |
boolsimplifier | 8 | 0.0 | 1 | Simplification tools for simple propositional formulas. | (bsd3, language, library, math) | 2014-12-15 | 0.1.8 | GershomBazerman |
bound | 69 | 2.5 | 7 | Making de Bruijn Succ Less | (bsd3, compilers-interpreters, language, library) | 2023-08-06 | 2.0.7 | EdwardKmett, EricMertens, ryanglscott |
bound-extras | 2 | 0.0 | 0 | ScopeH and ScopeT extras for bound | (bsd3, compilers, interpreters, language, library) | 2022-01-02 | 0.0.2 | phadej |
bound-simple | 0 | 2.0 | 0 | A lightweight implementation of 'bound' | (bsd3, language, library) | 2021-10-18 | 0.2.0.0 | ocramz |
brain-bleep | 0 | 0.0 | 1 | primitive imperative language | (bsd3, language, program) | 2019-05-22 | 0.1.0.2 | AlanHawkins |
brainfuck-tut | 1 | 0.0 | 1 | A simple BF interpreter. | (bsd3, language, library, program) | 2016-12-30 | 0.7.0.2 | alleledev |
bricks (deprecated) | 3 | 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) | 1 | 0.0 | 5 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
bricks-internal-test (deprecated) | 5 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
bricks-parsec (deprecated) | 1 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
bricks-rendering (deprecated) | 1 | 0.0 | 1 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
bricks-syntax (deprecated) | 2 | 0.0 | 3 | ... | (apache, deprecated, language, library) | 2018-02-10 | 0.0.0.4 | chris_martin |
brittany | 62 | 0.0 | 1 | Haskell source code formatter | (agpl, language, library, program) | 2022-01-13 | 0.14.0.2 | lspitzner, fozworth, dukerutledge |
broker-haskell | 1 | 0.0 | 1 | Haskell bindings to Broker, Bro's messaging library. | (bsd3, language, library) | 2015-08-16 | 0.1.0.0 | DavidBanas |
c-dsl | 1 | 0.0 | 2 | A higher level DSL on top of language-c | (language, library, mit) | 2014-05-07 | 0.3.1 | jozefg |
c0check | 0 | 0.0 | 1 | Simple C0 Syntax Check | (language, program) | 2013-01-04 | 0.2 | DanielSeidel, JanisVoigtlaender |
c0parser | 1 | 0.0 | 1 | Simple C0 Parser | (language, library) | 2013-01-04 | 0.2 | DanielSeidel, JanisVoigtlaender |
c2ats | 2 | 2.0 | 0 | Translate C code into ATS | (gpl, language, library, program) | 2016-09-17 | 0.1.0.1 | KiwamuOkabe |
caledon | 4 | 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 | 17 | 0.0 | 0 | A simple library to call Alloy given a specification | (language, library, mit) | 2023-03-22 | 0.4.0.3 | marcellus |
call-plantuml | 18 | 0.0 | 0 | A simple library to call PlantUML given a diagram specification | (graphics, language, library, mit) | 2023-05-09 | 0.0.1.2 | marcellus |
calligraphy | 31 | 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 | 8 | 0.0 | 1 | CamFort - Cambridge Fortran infrastructure | (analysis, apache, fortran, language, library, program) | 2022-10-12 | 1.2.0 | DominicOrchard, mdanish, madgen, raehik |
cao | 1 | 0.0 | 1 | CAO Compiler | (compiler, cryptography, language, program) | 2014-04-07 | 0.1.1 | paufil, tfaoliveira, mbbarbosa |
cap | 0 | 0.0 | 1 | Interprets and debug the cap language. | (bsd3, language, program) | 2008-09-28 | 1.0.1 | ThomasDavie |
cdeps | 7 | 0.0 | 3 | Extract dependencies from C code. | (bsd3, c, development, language, library, program) | 2020-06-24 | 0.1.3.1 | vmchale |
cg | 1 | 0.0 | 1 | Parser for categorial grammars. | (gpl, language, program) | 2015-05-29 | 0.0.9.0 | pepijnkokke |
chalmers-lava2000 | 2 | 0.0 | 2 | Hardware description EDSL | (bsd3, hardware, language, library) | 2016-05-19 | 1.6.1 | EmilAxelsson |
cil | 1 | 0.0 | 1 | An interface to CIL. | (bsd3, language, library) | 2010-11-10 | 0.1.1 | TomHawkins |
circ | 2 | 0.0 | 1 | A Compiler IR Compiler. | (bsd3, compiler, language, library) | 2012-08-01 | 0.0.4 | TomHawkins |
clang-compilation-database | 3 | 0.0 | 1 | JSON Compilation Database Format encoding and decoding | (language, library, mit) | 2018-03-09 | 0.1.0.1 | AlekseyKliger |
clang-pure | 2 | 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) | 13 | 0.0 | 1 | CAES Language for Synchronous Hardware (CLaSH) | (bsd3, deprecated, hardware, language, library) | 2011-12-02 | 0.1.3.11 | ChristiaanBaaij |
cleff | 18 | 1.75 | 1 | Fast and concise extensible effects | (bsd3, control, effect, language, library) | 2022-05-21 | 0.3.3.0 | daylily |
cleff-plugin | 3 | 2.0 | 0 | Automatic disambiguation for extensible effects | (bsd3, control, effect, language, library) | 2022-03-13 | 0.1.0.0 | daylily |
clogparse | 0 | 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 | 3 | 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 | 13 | 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 | 3 | 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 | 3 | 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 | 2 | 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 | 1 | 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 | 1 | 0.0 | 1 | C to Lua data wrapper generator | (bsd3, language, program) | 2012-04-04 | 0.3 | TomSchouten |
cmake-syntax | 0 | 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 | 3 | 0.0 | 1 | A library for C-like programming | (bsd3, language, library) | 2009-03-29 | 0.1.1.1 | LennartAugustsson |
co-feldspar | 1 | 0.0 | 0 | Hardware software co-design Feldspar | (bsd3, language, library) | 2021-06-15 | 0.1.0.1 | mararon |
codec-beam | 8 | 0.0 | 1 | Erlang VM byte code assembler | (bsd3, codec, language, library) | 2018-07-06 | 0.2.0 | hkgumbs |
codo-notation | 1 | 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 | 1 | 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 | 4 | 0.0 | 1 | SKI Combinator interpreter | (bsd3, language, library, program) | 2013-09-07 | 0.1.2 | FumiakiKinoshita |
compilation | 1 | 0.0 | 2 | Haskell functionality for quickly assembling simple compilers. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
compstrat | 0 | 0.0 | 1 | Strategy combinators for compositional data types | (bsd3, generics, language, library) | 2015-03-24 | 0.1.0.2 | JamesKoppel |
config-schema | 68 | 2.0 | 1 | Schema definitions for the config-value package | (language, library) | 2022-08-10 | 1.3.0.0 | EricMertens |
config-value | 54 | 2.5 | 5 | Simple, layout-based value language similar to YAML or JSON | (language, library, mit) | 2022-08-10 | 0.8.3 | EricMertens |
context-free-grammar | 6 | 0.0 | 1 | Basic algorithms on context-free grammars | (bsd3, language, library) | 2021-05-29 | 0.1.1 | nedervold |
control-dsl | 10 | 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 | 89 | 2.0 | 5 | A stream DSL for writing embedded C programs. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, LeePike, agoodloe, frankdedden |
copilot-c99 | 29 | 0.0 | 7 | A compiler for Copilot targeting C99. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, LeePike, agoodloe, frankdedden |
copilot-cbmc | 2 | 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 | 45 | 0.0 | 9 | An intermediate representation for Copilot. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, agoodloe, frankdedden |
copilot-frp-sketch | 2 | 0.0 | 0 | FRP sketch programming with Copilot | (bsd3, embedded, language, library) | 2022-02-14 | 1.0.0 | JoeyHess |
copilot-interpreter | 23 | 0.0 | 1 | Interpreter for Copilot. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez |
copilot-language | 65 | 0.0 | 7 | A Haskell-embedded DSL for monitoring hard real-time distributed systems. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, LeePike, agoodloe, frankdedden |
copilot-libraries | 56 | 0.0 | 2 | Libraries for the Copilot language. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, LeePike, agoodloe, frankdedden |
copilot-prettyprinter | 29 | 0.0 | 3 | A prettyprinter of Copilot Specifications. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez |
copilot-sbv | 2 | 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 | 44 | 0.0 | 2 | k-induction for Copilot. | (bsd3, embedded, language, library) | 2023-09-08 | 3.16.1 | IvanPerez, LeePike, agoodloe, frankdedden |
core | 3 | 0.0 | 1 | External core parser and pretty printer. | (bsd3, language, library) | 2009-04-08 | 0.5 | DavidHimmelstrup |
core-compiler | 2 | 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 | 3 | 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 |
cparsing | 2 | 0.0 | 1 | A simple C++ parser with preprocessor features. C++ refactorings included. | (bsd3, language, library) | 2017-11-16 | 0.1.0.0 | lazac |
cryptol | 54 | 0.0 | 1 | Cryptol: The Language of Cryptography | (bsd3, language, library, program) | 2023-06-26 | 3.0.0 | IavorDiatchki, ryanglscott, galoisinc |
cspretty | 1 | 0.0 | 1 | AST and pretty printer for CSPm | (bsd3, language, library) | 2016-11-30 | 1.0 | ccasin |
css (deprecated) | 1 | 0.0 | 1 | Minimal monadic CSS DSL. | (bsd3, deprecated, language, library) | 2014-12-08 | 0.2 | |
cube | 2 | 0.0 | 1 | Cubic DSL for 3D printing | (bsd3, language, library) | 2015-04-15 | 0.2.0 | junjihashimoto |
curry-base | 1 | 0.0 | 2 | Functions for manipulating Curry programs | (bsd3, language, library) | 2019-11-22 | 1.1.1 | BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage |
curry-frontend | 7 | 0.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 | 10 | 0.0 | 0 | A debug adaptor protocol library | (bsd3, debuggers, language, library) | 2023-09-15 | 0.1.0.0 | CsabaHruska, DavidJohnson |
data-reify | 57 | 0.0 | 13 | Reify a recursive data structure into an explicit graph. | (bsd3, data, language, library, parsing, reflection) | 2020-10-12 | 0.6.3 | AndyGill, ryanglscott |
data-reify-cse | 1 | 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 | 1 | 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 | 1 | 0.0 | 0 | Call DeepL to translate you files | (bsd3, language, library, program, web) | 2021-04-16 | 0.1.0.1 | PaoloVeronelli |
derive-gadt | 1 | 0.0 | 1 | Instance deriving for (a subset of) GADTs. | (bsd3, development, language, library, program) | 2009-07-25 | 0.1.1 | MattMorrow |
descript-lang | 2 | 0.0 | 0 | Library, interpreter, and CLI for Descript programming language. | (gpl, language, library, program) | 2018-05-20 | 0.2.0.0 | jakobeha |
desert | 0 | 0.0 | 0 | a simple build tool for OCaml projects | (bsd3, language, library, program) | 2016-08-24 | 0.1.0.6 | zjhsdtc |
dhall-lex | 1 | 0.0 | 1 | Lexer for the Dhall language | (bsd3, dhall, language, lexers, library) | 2018-03-25 | 0.2.0.0 | |
dictparser | 1 | 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 | 1 | 0.0 | 0 | A convenient tagless EDSL | (bsd3, language, library) | 2022-05-27 | 0.1.3 | EmilAxelsson |
disco | 3 | 0.0 | 0 | Functional programming language for teaching discrete math. | (bsd3, language, library, program) | 2022-03-12 | 0.1.5 | BrentYorgey |
discokitty | 1 | 0.0 | 0 | DisCoCat implementation. | (gpl, language, library) | 2019-05-13 | 0.1.0 | mroman42 |
djinn-ghc | 6 | 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 | 16 | 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 | 1 | 0.0 | 1 | Generate executable Haskell code from a type | (bsd3, language, library) | 2010-08-03 | 0.0.1 | ClaudeHeilandAllen |
do-notation | 10 | 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) | 3 | 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 | 1 | 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 | 2 | 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 | 0 | 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 | 6 | 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 | 0 | 0.0 | 1 | The Dove verification language. | (bsd3, formal-methods, language, library) | 2015-04-28 | 0.0.0 | TomHawkins |
dovetail | 1 | 0.0 | 1 | A PureScript interpreter with a Haskell FFI. | (bsd3, language, library) | 2021-11-18 | 0.1.1.0 | PhilFreeman |
dovetail-aeson | 0 | 0.0 | 0 | Use Aeson from your Dovetail programs | (bsd3, language, library) | 2021-11-13 | 0.1.0.0 | PhilFreeman |
drmaa | 0 | 0.0 | 3 | A Haskell bindings to the DRMAA C library. | (bsd3, language, library) | 2018-12-05 | 0.3.0 | kaizhang |
ds-kanren | 0 | 0.0 | 1 | A subset of the miniKanren language | (language, library, mit) | 2014-10-09 | 0.2.0.1 | jozefg |
each | 2 | 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 | 2 | 0.0 | 3 | A ECMA-262 interpreter library | (bsd2, language, library, program) | 2014-12-12 | 0.0.0 | FabianBergmark |
effective-aspects | 1 | 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 | 3 | 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 | 4 | 0.0 | 0 | Simulation interpreter for FLINT policy descriptions | (bsd3, language, library, program) | 2023-04-24 | 3.1.0.1 | ltvanbinsbergen |
egison-pattern-src | 5 | 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 | 0 | 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 | 5 | 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 | 0 | 0.0 | 1 | A quasi quotes for using Egison expression in Haskell code | (language, library, mit) | 2012-09-07 | 0.2 | TakuyaKuwahara |
ehs | 1 | 0.0 | 1 | Embedded haskell template using quasiquotes. | (language, library, mit, template, text) | 2015-03-15 | 0.7.0 | minpou |
elm-bridge | 20 | 2.0 | 2 | Derive Elm types and Json code from Haskell types, using aeson's options | (bsd3, compiler, language, library, web) | 2023-02-11 | 0.8.2 | AlexanderThiemann, SimonMarechal |
elm-build-lib (deprecated) | 4 | 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) | 3 | 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 | 8 | 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) | 2 | 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) | 12 | 0.0 | 1 | Package manager for Elm libraries | (bsd3, deprecated, language, library, program) | 2015-04-20 | 0.5 | EvanCzaplicki |
elm-reactor (deprecated) | 3 | 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) | 7 | 0.0 | 1 | Server for developing Elm projects | (bsd3, compiler, deprecated, language, program) | 2014-05-20 | 0.11.0.1 | EvanCzaplicki |
elm-street | 18 | 0.0 | 0 | Crossing the road between Haskell and Elm | (compiler, elm, language, library, mpl, program) | 2023-08-03 | 0.2.1.1 | vrom911, HolmuskTechTeam |
elm-syntax | 10 | 0.0 | 2 | Elm syntax and pretty-printing | (bsd3, compiler, elm, language, library) | 2021-10-27 | 0.3.2.0 | OliverCharles, OlleFredriksson, GeorgeThomas |
elsa | 4 | 0.0 | 0 | A tiny language for understanding the lambda-calculus | (language, library, mit, program) | 2022-09-28 | 0.2.2.0 | ranjitjhala |
enchant | 1 | 0.0 | 1 | Binding to the Enchant library | (bsd3, language, library) | 2016-06-22 | 0.1.0.0 | kseo |
ewe | 1 | 0.0 | 1 | An interpreter for EWE programming language | (bsd3, language, program) | 2019-02-04 | 0.3.1.1 | JuanFranciscoCardonaMcCormick |
exception-hierarchy | 15 | 0.0 | 1 | Exception type hierarchy with TemplateHaskell | (bsd3, language, library) | 2022-12-21 | 0.1.0.8 | YoshikuniJujo |
exference | 0 | 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 | 1 | 0.0 | 1 | Show how expressions are parsed | (language, mit, program) | 2014-01-13 | 0.1.0.1 | JoelTaylor |
extcore | 0 | 2.0 | 1 | Libraries for processing GHC Core | (bsd3, language, library) | 2013-04-21 | 1.0.2 | TimChevalier |
fault-tree | 2 | 0.0 | 1 | A fault tree analysis library. | (bsd3, embedded, language, library) | 2011-01-04 | 0.0.0 | TomHawkins |
feldspar-language | 3 | 0.0 | 3 | A functional embedded language for DSP and parallelism | (bsd3, language, library) | 2014-06-01 | 0.7 | AndersPersson, EmilAxelsson |
feldspar-signal | 0 | 0.0 | 1 | Signal Processing extension for Feldspar | (bsd3, language, library) | 2015-06-11 | 0.0.1.0 | EmilAxelsson, mararon |
first-class-instances | 0 | 0.0 | 0 | First class typeclass instances | (bsd3, language, library) | 2020-02-02 | 0.1.0.0 | lyxia, TheMatten |
foma | 2 | 0.0 | 1 | Simple Haskell bindings for Foma. | (language, library, mit) | 2021-01-28 | 0.1.2.0 | joom |
formura | 0 | 0.0 | 0 | Formura is a simple language to describe stencil computation. | (language, library, mit, program) | 2015-12-04 | 1.0 | TakayukiMuranushi |
forsyde-deep | 1 | 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 | 4 | 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) | 1 | 0.0 | 1 | A simple eDSL for generating arrayForth code. | (deprecated, gpl, language, library) | 2013-01-06 | 0.1.0.0 | TikhonJelvis |
fortran-src | 13 | 0.0 | 3 | Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial). | (apache, language, library, program) | 2023-06-22 | 0.15.1 | DominicOrchard, mdanish, madgen, raehik |
fortran-src-extras | 2 | 0.0 | 1 | Common functions and utils for fortran-src. | (apache, language, library, program) | 2023-05-04 | 0.5.0 | raehik |
fortran-vars | 4 | 0.0 | 0 | Fortran memory model and other static analysis tools. | (apache, language, library, program) | 2023-06-22 | 0.4.0 | raehik |
fractionizer | 11 | 0.0 | 0 | Allows to approximate the fractional numbers in the range [0.005, 1] with sum of 2 or 3 unit fractions of special types. | (language, library, math, mit, music, sound) | 2023-05-10 | 0.10.0.0 | OleksandrZhabenko |
free-theorems | 16 | 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 | 0 | 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 | 3 | 0.0 | 1 | Taming Selective Strictness | (language, library, public-domain) | 2011-03-11 | 1.0 | DanielSeidel, JanisVoigtlaender |
free-theorems-seq-webui | 0 | 0.0 | 1 | Taming Selective Strictness | (language, program, public-domain) | 2011-03-30 | 1.0.0.2 | DanielSeidel, JanisVoigtlaender |
free-theorems-webui | 0 | 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 | 5 | 0.0 | 1 | A Haskell syntax extension for generalised sections | (bsd3, language, program) | 2012-03-21 | 0.8 | AndrewSeniuk |
fregel | 2 | 0.0 | 0 | A functional DSL for vertex-centric large-scale graph processing | (language, mit, program) | 2023-07-20 | 1.2.0 | KentoEmoto |
fresh | 2 | 0.0 | 1 | Introduce fresh variables into Haskell source code | (language, library, mit) | 2012-01-03 | 0.1.1 | DavidLazar |
frp-arduino | 4 | 0.0 | 1 | Arduino programming without the hassle of C. | (gpl, language, library) | 2018-03-26 | 0.1.1.0 | RickardLindberg, JeremyWright |
ft-generator | 2 | 0.0 | 0 | implementation accompanying a WFLP'19 paper | (language, program) | 2019-08-29 | 1.0.1 | JanisVoigtlaender |
ftshell | 1 | 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 | 0 | 0.0 | 1 | call-by-value lambda-calculus with meta-programming | (bsd3, language, program) | 2018-07-08 | 0.1.0.2 | ltvanbinsbergen |
funpat | 0 | 0.0 | 1 | A generalization of pattern matching | (bsd3, language, library) | 2011-07-01 | 0.1 | GergelyDevai |
gender | 0 | 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 | 2 | 0.0 | 1 | A small-step semantics for Core | (language, library, mit) | 2018-04-10 | 0.1.0.1 | JoachimBreitner |
ghc-justdoit | 0 | 0.0 | 1 | A magic typeclass that just does it | (language, library, mit) | 2022-08-01 | 0.1.0.2 | JoachimBreitner |
ghc-options | 0 | 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 | 34 | 0.0 | 2 | Haskell source parser from GHC. | (language, library, mit) | 2023-07-23 | 0.2.5.0 | gibiansky, VaibhavSagar |
ghc-session | 3 | 0.0 | 0 | Simplified GHC API | (language, library, mit, program) | 2016-02-18 | 0.1.2.1 | danilo2, PiotrMlodawski, iamrecursion |
ghc-srcspan-plugin | 0 | 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 | 0 | 0.0 | 2 | A library for interactively evaluating Haskell code. | (language, library, mit) | 2014-02-16 | 0.1.0.0 | gibiansky |
ghci-websockets | 0 | 0.0 | 0 | A websocket server that survives GHCi reloads | (bsd3, language, library) | 2019-07-16 | 0.0.2 | jfmueller |
gimlh | 2 | 0.0 | 2 | Haskell parser for GIML | (language, library, mit) | 2015-04-16 | 0.1.3.0 | gazay |
global | 2 | 0.0 | 1 | Library enabling unique top-level declarations | (bsd3, data, language, library, system) | 2014-12-02 | 0.2.1.0 | ByronJohnson |
glualint | 17 | 0.0 | 0 | Attempts to fix your syntax erroring Lua files. | (language, lgpl, library) | 2023-08-21 | 1.26.0 | FPtje |
goldplate | 22 | 0.0 | 0 | A lightweight golden test runner | (apache, language, program) | 2023-02-26 | 0.2.1.1 | AndreasAbel, JasperVanDerJeugt |
google-search | 1 | 0.0 | 2 | EDSL for Google and GMail search expressions | (bsd3, language, library, text, web) | 2016-03-31 | 0.2.0.0 | LiyangHu |
graphql | 22 | 2.25 | 4 | Haskell GraphQL implementation | (language, library) | 2023-04-25 | 1.2.0.1 | jdnavarro, belka |
graphql-spice | 3 | 0.0 | 0 | GraphQL with batteries | (language, library, mpl) | 2023-07-07 | 1.0.2.0 | belka |
graphql-w-persistent | 19 | 2.0 | 1 | GraphQL interface middleware for SQL databases. | (data, database, development, graphs, language, library) | 2020-09-18 | 0.9.1.0 | jasonsychau |
hakaru | 2 | 0.0 | 2 | A probabilistic programming language | (bsd3, language, library, program) | 2020-11-02 | 0.7.0 | pravnar, z |
halfsplit | 7 | 0.0 | 2 | A library to provide special kind of two-column terminal output for Phladiprelio. | (PhLADiPreLiO, data, language, library, mit) | 2023-08-14 | 0.3.0.0 | OleksandrZhabenko |
halide-JuicyPixels | 1 | 0.0 | 0 | Integration between Halide and JuicyPixels | (bsd3, language, library) | 2023-05-22 | 0.0.2.1 | tom_westerhout |
halide-arrayfire | 4 | 0.0 | 0 | Integration between Halide and ArrayFire | (bsd3, language, library) | 2023-05-22 | 0.0.2.0 | tom_westerhout |
halide-haskell | 1 | 0.0 | 2 | Haskell bindings to Halide | (bsd3, language, library, program) | 2023-05-22 | 0.0.2.0 | tom_westerhout |
hanspell | 1 | 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) | 1 | 0.0 | 1 | A package for building Facebook applications using Happstack | (bsd3, deprecated, language, library, web) | 2011-02-06 | 0.30 | JeremyShaw |
happy-dot | 5 | 0.0 | 1 | Parser for dot made with happy. | (gpl, language, library) | 2019-12-21 | 1.0.0.0 | mgmillani |
haquil | 2 | 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 | 2 | 0.0 | 2 | Deep embedding of hardware descriptions with code generation. | (bsd3, language, library) | 2021-06-15 | 0.1.6 | mararon |
harp | 10 | 0.0 | 6 | HaRP allows pattern-matching with regular expressions | (bsd3, language, library) | 2023-01-23 | 0.4.3.6 | DavidFox, GwernBranwen, JeremyShaw, NiklasBroberg |
haskarrow | 1 | 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 | 2 | 0.0 | 1 | BrainFuck interpreter | (language, library, mit, program) | 2014-08-08 | 0.1.0.1 | paraseba |
haskell-coffee | 0 | 0.0 | 2 | Simple CoffeeScript API | (gpl, language, library) | 2015-07-19 | 0.1.0.2 | KevinVanRooijen |
haskell-exp-parser | 1 | 0.0 | 2 | Simple parser parser from Haskell to TemplateHaskell expressions | (bsd3, language, library) | 2020-10-17 | 0.1.4 | EmilAxelsson |
haskell-generate | 2 | 0.0 | 2 | Typesafe generation of haskell source code | (bsd3, code-generation, language, library) | 2016-01-02 | 0.2.4 | BennoFuenfstueck |
haskell-holes-th | 3 | 2.0 | 1 | Infer haskell code by given type. | (language, library, mit) | 2019-08-24 | 2.0.0.0 | klntsky |
haskell-lexer | 263 | 0.0 | 8 | A fully compliant Haskell 98 lexer | (language, library, mit) | 2022-12-27 | 1.1.1 | IavorDiatchki |
haskell-lsp-client | 3 | 2.0 | 0 | A haskell package to build your own Language Server client. | (development, gpl, language, library, program, protocol) | 2017-12-29 | 1.0.0.1 | JaroReinders |
haskell-names | 25 | 2.25 | 5 | Name resolution library for Haskell | (bsd3, language, library) | 2020-05-26 | 0.9.9 | AdamBergmark, AlexandrRuchkin, RomanCheplyaka, PhilippSchuster |
haskell-rules | 0 | 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 | 65 | 0.0 | 40 | Support for manipulating Haskell source code | (bsd3, language, library) | 2022-02-07 | 1.0.4 | AndreasAbel, ConradParker, DonaldStewart, HerbertValerioRiedel, IanLynagh, RossPaterson |
haskell-src-exts | 559 | 2.5 | 157 | 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 | 0 | 0.0 | 2 | Observable orphan instances for haskell-src-exts | (bsd3, language, library) | 2017-08-17 | 0.1.0 | PepeIborra |
haskell-src-exts-prisms | 0 | 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 | 2 | 0.0 | 3 | A quasiquoter for haskell-src-exts. | (bsd3, language, library) | 2015-10-14 | 0.7 | MathieuBoespflug |
haskell-src-exts-sc | 2 | 0.0 | 1 | Pretty print haskell code with comments | (bsd3, language, library) | 2018-04-10 | 0.1.0.6 | achirkin |
haskell-src-exts-util | 26 | 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 | 267 | 0.0 | 113 | Parse source to template-haskell abstract syntax. | (bsd3, language, library, template-haskell) | 2023-03-21 | 0.8.12 | AdamBergmark, BenMillwood, DanBurton, GeoffreyMainland, JonasDuregard, MattMorrow, TroelsHenriksen |
haskell-src-meta-mwotton (deprecated in favor of haskell-src-meta) | 1 | 0.0 | 4 | Parse source to template-haskell abstract syntax. | (bsd3, deprecated, language, library) | 2010-07-18 | 0.1.0 | MarkWotton |
haskell-to-elm | 7 | 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 |
haskell-tools-ast | 4 | 0.0 | 13 | Haskell AST for efficient tooling | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-ast-fromghc | 1 | 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 | 0 | 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 | 0 | 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 | 5 | 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 | 2 | 0.0 | 4 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-cli | 6 | 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 | 6 | 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 | 6 | 0.0 | 0 | Debugging Tools for Haskell-tools | (bsd3, language, library, program) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-demo | 34 | 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 | 0 | 0.0 | 1 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-prettyprint | 6 | 0.0 | 8 | Pretty printing of Haskell-Tools AST | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-refactor | 5 | 0.0 | 6 | Refactoring Tool for Haskell | (bsd3, language, library) | 2019-01-09 | 1.1.1.0 | lazac |
haskell-tools-rewrite | 4 | 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 | 0 | 0.0 | 1 | A type checker for Haskell/haskell-src-exts | (bsd3, language, library) | 2012-04-02 | 0.1.0 | NiklasBroberg |
haskell-typescript | 1 | 0.0 | 1 | Simple TypeScript API | (gpl, language, library) | 2013-10-16 | 0.1.0.0 | DavidJohnson |
haskellish | 14 | 2.0 | 0 | For parsing Haskell-ish languages | (bsd3, language, library) | 2022-08-10 | 0.3.2.1 | dktr0 |
haskelm | 3 | 0.0 | 1 | Elm to Haskell translation | (bsd3, compiler, language, library, program) | 2014-03-25 | 0.1.12.0 | jeremondi |
haskeme | 1 | 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 | 2 | 0.0 | 1 | Haskell bindings to aspell | (language, library, mit) | 2013-08-26 | 1.1.0 | JoelTaylor |
hbf | 0 | 0.0 | 0 | An optimizing Brainfuck compiler and evaluator | (gpl, language, library, program) | 2018-07-04 | 0.2.0.0 | paraseba |
hdis86 | 5 | 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 | 1 | 0.0 | 0 | interactively inspect Haskell values at runtime | (bsd3, language, library) | 2020-11-21 | 0.1.0.1 | TheMatten |
her-lexer | 0 | 0.0 | 2 | A lexer for Haskell source code. | (language, library, public-domain) | 2012-09-06 | 0.1.1 | TimothyHobbs |
her-lexer-parsec | 0 | 0.0 | 1 | Parsec frontend to "her-lexer" for Haskell source code. | (language, library, public-domain) | 2012-12-27 | 0.0.0 | TimothyHobbs |
hermit | 7 | 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 | 2 | 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 | 0 | 0.0 | 2 | A framework for symbolic, homoiconic languages. | (bsd3, language, library) | 2014-04-03 | 0.0.0.0 | ZankokuOkuno |
hfmt | 4 | 2.25 | 0 | Haskell source code formatter | (language, library, mit, program) | 2021-09-07 | 0.3.0.0 | danielstiner |
hgrep | 1 | 2.0 | 0 | Search Haskell source code from the command line | (bsd3, language, library, program) | 2017-10-04 | 0.1 | TimHumphries |
hierarchical-exceptions | 0 | 0.0 | 1 | Template Haskell functions to easily create exception hierarchies | (apache, language, library) | 2014-01-21 | 1.0.1 | BenjaminBarenblat |
hindley-milner | 0 | 0.0 | 1 | Template for Hindley-Milner based languages | (language, library, mit) | 2016-04-23 | 0.1.0.0 | mbg |
hindley-milner-type-check | 1 | 0.0 | 0 | Type inference for Hindley-Milner based languages | (language, library, mit) | 2021-06-08 | 0.1.1.0 | AntonKholomiov |
hint | 143 | 2.5 | 39 | A Haskell interpreter built on top of the GHC API | (bsd3, compilers-interpreters, language, library) | 2023-06-15 | 0.9.0.7 | gelisam, mvdan |
hint-server | 4 | 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) | 2 | 0.0 | 1 | Runtime Haskell interpreter (GHC API wrapper) | (bsd3, compilers-interpreters, deprecated, language, library) | 2018-05-06 | 0.1.0.0 | |
hinterface | 8 | 0.0 | 1 | Haskell / Erlang interoperability library | (bsd3, language, library) | 2020-11-30 | 2.0.1 | SvenHeyll, timo_koepke |
hnock | 2 | 0.0 | 0 | A Nock interpreter. | (language, library, mit, program) | 2019-10-01 | 0.4.0 | JaredTobin |
ho-rewriting | 1 | 0.0 | 1 | Generic rewrite rules with safe treatment of variables and binders | (bsd3, language, library) | 2018-08-11 | 0.2.1 | EmilAxelsson |
homplexity | 6 | 1.25 | 1 | Haskell code quality tool | (bsd3, language, library, program, tools) | 2022-10-09 | 0.4.8.1 | MichalGajda |
hoop | 1 | 0.0 | 0 | Object-Oriented Programming in Haskell | (language, library, mit) | 2020-07-04 | 0.3.0.0 | mbg |
hopencc | 0 | 0.0 | 1 | Haskell binding to libopencc | (bsd3, language, library) | 2019-10-06 | 0.2.0.0 | PaulMeng |
hpython | 0 | 2.0 | 0 | Python language tools | (bsd3, language, library, program) | 2019-05-02 | 0.3 | qfpl |
hruby | 13 | 0.0 | 2 | Embed a Ruby intepreter in your Haskell program ! | (bsd3, language, library) | 2022-01-07 | 0.5.0.0 | SimonMarechal |
hs-gen-iface (deprecated) | 1 | 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 | 1 | 0.0 | 1 | Haskell source code analyzer | (language, library, mit) | 2015-05-14 | 0.5.2.0 | flbulgarelli |
hs-pattrans | 0 | 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 | 4 | 2.0 | 1 | Create ATS types from Haskell types | (ats, bsd3, haskell, language, library, program) | 2019-10-17 | 0.5.0.1 | vmchale |
hs2dot | 0 | 0.0 | 1 | Generate graphviz-code from Haskell-code. | (language, program) | 2010-08-15 | 0.1.4 | OscarFinnsson |
hscolour | 251 | 0.0 | 37 | Colourise Haskell code. | (language, library, program) | 2023-08-30 | 1.25 | DonaldStewart, MalcolmWallace, phadej |
hse-cpp | 19 | 2.0 | 4 | Preprocess+parse haskell code | (language, library, mit) | 2016-10-06 | 0.2 | AdamBergmark, DavidHimmelstrup, RomanCheplyaka, PhilippSchuster |
hsnock | 1 | 0.0 | 1 | Nock 5K interpreter. | (language, library, program, public-domain) | 2013-11-05 | 0.5.1 | mrdomino |
hsp | 13 | 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 | 4 | 0.0 | 4 | SQL parser and type checker | (bsd3, database, language, library) | 2019-07-08 | 0.6.2 | JakeWheat |
hssqlppp-th | 3 | 0.0 | 1 | hssqlppp extras which need template-haskell | (bsd3, database, language, library) | 2019-07-08 | 0.6.2 | JakeWheat |
hswip | 3 | 2.0 | 1 | embedding prolog in haskell | (foreign, language, library) | 2010-08-13 | 0.3 | EvgenyTarasov |
hsx (deprecated in favor of hsx2hs) | 13 | 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 | 24 | 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 | 4 | 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 | 13 | 0.0 | 4 | Parser for TOML files | (bsd3, configuration, data, language, library, text, toml) | 2021-02-23 | 2.1.0.4 | vmchale |
hubris | 1 | 0.0 | 1 | Support library for Hubris, the Ruby <=> Haskell bridge | (language, library, program) | 2010-04-24 | 0.0.3 | MarkWotton |
hunspell-hs | 1 | 2.0 | 1 | Hunspell thread-safe FFI bindings for spell checking. | (bsd3, language, library) | 2018-08-27 | 0.2.0.0 | ashutoshrishi |
husk-scheme | 13 | 2.0 | 3 | R5RS Scheme interpreter, compiler, and library. | (compilers-interpreters, language, library, mit, program) | 2021-02-04 | 3.20 | JustinEthier |
husk-scheme-libs | 1 | 0.0 | 1 | Extra libraries for the husk Scheme platform. | (compilers-interpreters, language, library, mit) | 2012-06-13 | 0.0.1 | JustinEthier |
hwhile | 12 | 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 | 1 | 0.0 | 1 | Hydrogen Data | (language, mit, program) | 2015-01-08 | 0.14 | JulianFleischer |
hydrogen-cli-args | 3 | 0.0 | 1 | Hydrogen Command Line Arguments Parser | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
hydrogen-data | 1 | 0.0 | 1 | Hydrogen Data | (bsd3, language, library) | 2015-01-08 | 0.14 | JulianFleischer |
hydrogen-multimap | 0 | 0.0 | 3 | Hydrogen Multimap | (language, library, mit) | 2015-03-26 | 0.3 | JulianFleischer |
hydrogen-parsing | 2 | 0.0 | 3 | Hydrogen Parsing Utilities | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
hydrogen-prelude | 5 | 0.0 | 7 | Hydrogen Prelude | (language, library, mit) | 2015-03-26 | 0.20 | JulianFleischer |
hydrogen-prelude-parsec | 6 | 0.0 | 1 | Hydrogen Prelude /w Parsec | (language, library, mit) | 2015-03-22 | 0.17 | JulianFleischer |
hydrogen-syntax | 2 | 0.0 | 2 | Hydrogen Syntax | (bsd3, language, library) | 2015-03-22 | 0.17 | JulianFleischer |
hydrogen-util (deprecated in favor of hydrogen-parsing, hydrogen-prelude) | 3 | 0.0 | 3 | Hydrogen Tools | (bsd3, deprecated, language, library) | 2014-12-16 | 0.8 | JulianFleischer |
hydrogen-version | 1 | 0.0 | 2 | Hydrogen Version Type | (language, library, mit) | 2015-03-26 | 1.4 | JulianFleischer |
hypertypes | 8 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2023-07-25 | 0.2.2 | YairChuchem |
ihs | 8 | 0.0 | 1 | Interpolated Haskell | (language, program, public-domain) | 2018-12-12 | 0.1.0.3 | minad |
imperative-edsl | 2 | 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) | 5 | 0.0 | 1 | Deep embedding of VHDL programs with code generation. | (bsd3, deprecated, language, library) | 2015-12-14 | 0.3.2 | mararon |
imprevu | 1 | 0.0 | 4 | Reactive programming language based on a DSL | (bsd3, language, library) | 2017-03-13 | 0.1.0 | CorentinDupont |
imprevu-happstack | 1 | 0.0 | 1 | Imprevu support for Happstack | (bsd3, language, library) | 2017-03-13 | 0.1.0 | CorentinDupont |
improve | 13 | 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 | 2 | 0.0 | 1 | A type-checker for Haskell with integer constraints | (bsd3, language, program) | 2014-06-07 | 0.2.0 | AdamGundry |
indexed-do-notation | 3 | 0.0 | 1 | Do notation for indexed monads | (bsd3, language, library) | 2013-05-01 | 0.1 | FumiakiKinoshita |
indian-language-font-converter | 4 | 0.0 | 1 | Indian Language Font Converter | (bsd3, language, library) | 2013-12-02 | 0.2 | AkashJagdhane |
indigo | 6 | 0.0 | 0 | Convenient imperative eDSL over Lorentz. | (language, library, mit, program) | 2023-03-31 | 0.6.0 | gromak, pasqu4le, serokell, rinn7e |
intensional-datatys | 0 | 0.0 | 0 | A GHC Core plugin for intensional datatype refinement checking | (bsd3, language, library) | 2020-07-24 | 0.2.0.0 | eddiejones |
interpol | 1 | 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 | 1 | 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 | 26 | 0.0 | 1 | Invertible parsing combinators framework | (bsd3, language, library) | 2023-03-14 | 0.1.3.4 | EugeneSmolanka |
ion | 2 | 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 | 9 | 2.0 | 0 | Internal Phonetic Alphabet (IPA) | (bsd3, language, library) | 2021-06-14 | 0.3.1.1 | RoryTylerHayford |
ivory | 2 | 2.25 | 11 | Safe embedded C programming. | (bsd3, language, library) | 2019-04-05 | 0.1.0.9 | EricMertens, LeePike |
ivory-artifact | 1 | 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 | 0 | 0.0 | 0 | Ivory register bindings for the Atmega328p | (bsd3, language, library) | 2020-11-19 | 0.1.0.0 | erdeszt |
ivory-backend-c | 0 | 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) | 1 | 0.0 | 2 | Ivory bit-data support. | (bsd3, deprecated, language, library, program) | 2014-03-26 | 0.2.0.0 | EricMertens, LeePike |
ivory-examples | 0 | 0.0 | 1 | Ivory examples. | (bsd3, language, program) | 2016-12-16 | 0.1.0.5 | EricMertens, LeePike |
ivory-hw | 0 | 0.0 | 2 | Ivory hardware model (STM32F4). | (bsd3, language, library) | 2018-07-17 | 0.1.0.6 | EricMertens, LeePike |
ivory-opts | 2 | 0.0 | 2 | Ivory compiler optimizations. | (bsd3, language, library) | 2018-07-18 | 0.1.0.6 | EricMertens, LeePike |
ivory-serialize | 0 | 0.0 | 1 | Serialization library for Ivory. | (bsd3, language, library) | 2019-04-05 | 0.1.0.6 | EricMertens, LeePike |
ivory-stdlib | 3 | 0.0 | 1 | Ivory standard library. | (bsd3, language, library) | 2016-12-16 | 0.1.0.5 | EricMertens, LeePike |
ixdopp | 7 | 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 | 31 | 2.25 | 0 | Functional, expression-oriented data processing language | (agpl, data, interpreters, language, library, program, text) | 2023-09-13 | 2.0.1.0 | vmchale |
jarfind | 1 | 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 | 53 | 0.0 | 0 | Stack-based concatenative language embedded in Haskell | (language, library, mit) | 2023-06-27 | 0.1.0.0 | OwenBechtel |
jdi | 2 | 0.0 | 1 | Implementation of Java Debug Interface | (debug, gpl, jvm, language, library, program) | 2012-10-28 | 0.0.3 | VictorDenisov |
jmacro | 23 | 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 | 0 | 0.0 | 0 | Transform Joy code using conditional rewrite rules | (bsd2, language, library) | 2022-06-29 | 0.2.0 | rieckenj |
js-good-parts | 1 | 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 | 2 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-10 | 0.4.0.1 | russell91 |
jvm-binary | 27 | 0.0 | 1 | A library for reading Java class-files | (java, jvm, language, library, mit) | 2021-05-12 | 0.10.0 | kalhauge |
jvm-parser | 0 | 0.0 | 1 | A parser for JVM bytecode files | (bsd3, language, library) | 2014-08-07 | 0.2.1 | KevinQuick, RobertDockins, galoisinc |
kansas-lava | 4 | 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 | 1 | 0.0 | 1 | Rpoku spoken word programming language | (language, program) | 2008-08-14 | 0.2 | AndriiZvorygin |
kempe | 5 | 2.0 | 0 | Kempe compiler | (bsd3, compilers, language, library, program) | 2023-05-25 | 0.2.0.13 | vmchale |
kuifje | 0 | 0.0 | 0 | A Quantitative Information Flow aware programming language. | (bsd3, language, library) | 2019-09-10 | 0.1.2.0 | martonbognar |
kure | 57 | 0.0 | 5 | Combinators for Strategic Programming | (bsd3, language, library) | 2021-04-04 | 2.18.6 | AndyGill, NeilSculthorpe |
kure-your-boilerplate | 4 | 0.0 | 1 | Generator for Boilerplate KURE Combinators | (bsd3, language, library) | 2009-01-27 | 0.1.3 | AndyGill |
lambda-calculator | 3 | 0.0 | 0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2023-03-01 | 3.1.1.0 | sgillespie |
lambda-calculus-interpreter | 0 | 0.0 | 0 | Lambda Calculus interpreter | (bsd3, language, library, program) | 2018-09-12 | 0.1.0.3 | xeontem |
lambda-placeholders | 0 | 2.0 | 1 | A library to emulate laceholders similar to Scala. | (bsd3, language, library) | 2014-05-29 | 0.0.0.0 | MatthewMirman |
lambdaBase | 2 | 0.0 | 1 | (language, library, mit) | 2015-05-05 | 0.0.2.0 | faleidel | |
lambdaLit | 1 | 0.0 | 1 | ... | (language, mit, program) | 2014-12-18 | 0.1.1.0 | faleidel |
lang | 0 | 0.0 | 1 | A Lisp | (agpl, language, library) | 2018-03-01 | 0.2.2 | Zaoqi |
language-Modula2 | 2 | 0.0 | 0 | Parser, pretty-printer, and more for the Modula-2 programming language | (gpl, language, library, program) | 2023-09-26 | 0.1.4 | MarioBlazevic |
language-asn | 3 | 0.0 | 1 | ASN.1 encoding and decoding | (bsd3, language, library) | 2019-04-09 | 0.1.1.0 | andrewthad, chessai |
language-asn1 | 3 | 0.0 | 1 | Parsing of ASN1 definitions | (bsd3, language, library, program) | 2020-06-14 | 0.6 | DmitryAstapov |
language-ats | 12 | 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 | 18 | 0.0 | 2 | Parsing and pretty-printing Bash shell scripts | (bsd3, language, library) | 2020-04-23 | 0.9.2 | KyleRaftogianis |
language-boogie | 0 | 0.0 | 1 | Interpreter and language infrastructure for Boogie. | (bsd3, language, library) | 2013-02-05 | 0.2 | NadiaPolikarpova |
language-c | 213 | 2.0 | 11 | Analysis and generation of C code | (bsd3, language, library) | 2023-01-10 | 0.9.2 | BenediktHuber, jophish, expipiplus1 |
language-c-comments | 0 | 0.0 | 1 | Extracting comments from C code | (bsd3, language, library) | 2014-03-08 | 0.3 | GeoffHulette, MatthewSottile |
language-c-inline | 4 | 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 | 68 | 0.0 | 10 | C/CUDA/OpenCL/Objective-C quasiquoting library. | (bsd3, language, library) | 2023-03-22 | 0.13.0.1 | GeoffreyMainland, TroelsHenriksen |
language-c99 | 36 | 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 | 56 | 0.0 | 2 | C-like AST to simplify writing C99 programs. | (language, library, mit) | 2023-08-30 | 0.2.3 | frankdedden |
language-c99-util | 48 | 0.0 | 2 | Utilities for language-c99. | (language, library, mit) | 2022-05-21 | 0.2.0 | frankdedden |
language-cil | 1 | 0.0 | 1 | Manipulating Common Intermediate Language AST | (.net, bsd3, language, library) | 2016-09-19 | 0.4.0 | TomLokhorst |
language-csharp | 1 | 0.0 | 0 | C# source code manipulation | (bsd3, language, library) | 2019-05-10 | 0.0.1 | icysnowman55 |
language-css | 0 | 0.0 | 4 | CSS 2.1 syntax | (bsd3, language, library) | 2020-05-14 | 0.0.3.1 | AntonKholomiov, tomjaguarpaw |
language-dart | 1 | 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 | 3 | 2.0 | 0 | A language for generative literature | (bsd3, compilers-interpreters, language, library, program, text) | 2022-09-10 | 1.4.3.0 | vmchale |
language-dot | 26 | 1.75 | 4 | A library for the analysis and creation of Graphviz DOT files | (bsd3, language, library) | 2019-10-22 | 0.1.1 | BenGamari, BrianLewis |
language-ecmascript | 11 | 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 | 8 | 0.0 | 1 | JavaScript static analysis library. | (bsd3, language, library) | 2016-01-31 | 0.9.2 | AndreyChudnov |
language-eiffel | 1 | 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) | 2 | 0.0 | 2 | Fortran lexer and parser, language support, and extensions. | (bsd3, deprecated, language, library) | 2016-03-17 | 0.5.1 | DominicOrchard |
language-gcl | 2 | 2.0 | 1 | Something similar to Dijkstra's guarded command language | (language, library, mit) | 2014-06-15 | 0.2 | StijnVanDrongelen |
language-glsl | 37 | 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 | 1 | 0.0 | 1 | A library for analysis and synthesis of Go code. | (language, library) | 2011-02-06 | 0.8 | AndrewRobbins |
language-guess | 0 | 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 | 18 | 0.0 | 5 | Java source manipulation | (bsd3, language, library) | 2018-03-08 | 0.2.9 | NiklasBroberg, VincentHanquez |
language-java-classfile | 0 | 0.0 | 1 | Parser for Java .class files | (bsd3, language, library) | 2010-12-09 | 0.2.0 | GergoErdi |
language-javascript | 111 | 0.0 | 13 | Parser for JavaScript | (bsd3, language, library) | 2020-03-22 | 0.7.1.0 | AlanZimmerman, ErikDeCastroLopo, TonyMorris |
language-js | 0 | 0.0 | 1 | javascript parser for es6 and es7. | (language, library, mit) | 2021-03-27 | 0.3.0 | diasbruno |
language-kort | 1 | 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 | 7 | 0.0 | 3 | Lua parser and pretty-printer | (bsd3, language, library) | 2019-08-29 | 0.11.0.1 | EricMertens, OmerAgacan |
language-lua-qq | 1 | 0.0 | 1 | Initial project template from stack | (bsd3, language, library) | 2015-09-11 | 0.1.0.0 | HiromiIshii |
language-lua2 (deprecated) | 2 | 0.0 | 1 | Lua parser and pretty printer | (bsd3, deprecated, language, library) | 2015-10-14 | 0.1.0.5 | mitchellwrosen |
language-mixal | 0 | 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 | 1 | 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 | 22 | 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 | 2 | 0.0 | 1 | Parser, pretty-printer, and more for the Oberon programming language | (gpl, language, library, program) | 2023-09-26 | 0.3.3 | MarioBlazevic |
language-objc | 0 | 0.0 | 1 | Analysis and generation of Objective C code | (bsd3, language, library) | 2013-12-11 | 0.4.2.8 | JohnLato |
language-ocaml | 1 | 0.0 | 1 | Language tools for manipulating OCaml programs in Haskell | (language, library, mit, ocaml) | 2018-12-12 | 0.2.0 | Ptival |
language-openscad | 1 | 0.0 | 1 | A simple parser for OpenSCAD | (bsd3, language, library, program) | 2016-04-13 | 0.1.7 | BenGamari, BrechtSerckx |
language-pig | 12 | 0.0 | 1 | Pig parser in haskell. | (language, library, mit) | 2013-12-16 | 0.3.0.1 | elisehuard |
language-python | 30 | 2.0 | 3 | Parsing and pretty printing of Python code. | (bsd3, language, library) | 2020-07-12 | 0.5.8 | BerniePope |
language-python-colour | 1 | 0.0 | 1 | Generate coloured XHTML for Python code. | (bsd3, language, program) | 2009-11-04 | 0.1 | BerniePope |
language-python-test | 1 | 0.0 | 1 | testing code for the language-python library | (bsd3, language, program) | 2020-07-12 | 0.5.8 | BerniePope |
language-qux | 9 | 0.0 | 0 | Utilities for working with the Qux language | (bsd3, language, library, qux) | 2015-10-10 | 0.2.0.0 | hjwylde |
language-rust | 2 | 2.25 | 1 | Parsing and pretty printing of Rust code | (bsd3, language, library) | 2018-04-22 | 0.2.0.27 | harpocrates |
language-sally | 1 | 2.0 | 1 | AST and pretty printer for Sally | (language, library) | 2017-08-01 | 0.1.2.0 | bjones |
language-sh (deprecated) | 3 | 0.0 | 1 | A package for parsing shell scripts | (bsd3, deprecated, language, library) | 2009-01-17 | 0.0.3.1 | |
language-slice | 6 | 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-sqlite | 3 | 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 | 12 | 0.0 | 0 | A parser and printer for the SyGuS 2.0 language. | (bsd3, language, library) | 2022-10-31 | 0.1.1.3 | WilliamHallahan |
language-thrift | 13 | 2.0 | 1 | Parser and pretty printer for the Thrift IDL format. | (bsd3, language, library) | 2021-12-04 | 0.12.0.1 | PhilippHausmann, abhinav |
language-tl | 0 | 0.0 | 2 | A Parser for the Type Language | (bsd3, language, library) | 2020-06-04 | 0.1.1 | Poscat |
language-typescript | 0 | 0.0 | 2 | A library for working with TypeScript Definition files | (language, library, mit) | 2014-02-02 | 0.0.4 | PhilFreeman |
language-vhdl | 2 | 2.0 | 4 | VHDL AST and pretty printer in Haskell. | (bsd3, language, library) | 2021-06-15 | 0.1.4 | mararon |
language-webidl | 2 | 0.0 | 1 | Parser and Pretty Printer for WebIDL | (language, library, mit) | 2017-10-24 | 0.2.0.0 | izgzhen |
layout-rules | 2 | 0.0 | 1 | A collection of different layout implementations | (bsd3, language, library) | 2020-01-01 | 0.1.0.2 | TrevorElliott |
lens-toml-parser | 20 | 0.0 | 1 | Lenses for toml-parser | (language, lenses, library) | 2023-08-27 | 0.2.0.0 | henrytill |
lexer-applicative | 21 | 2.0 | 2 | Simple lexer based on applicative regular expressions | (language, library, mit) | 2018-06-06 | 2.1.0.2 | RomanCheplyaka |
lhs2TeX-hl | 1 | 0.0 | 1 | Literate highlighter preprocessor for lhs2tex | (development, language, mit, program) | 2011-10-15 | 0.1.4.5 | AlessandroVermeulen |
lhs2tex | 32 | 2.0 | 1 | Preprocessor for typesetting Haskell sources with LaTeX | (development, language, program) | 2020-05-01 | 1.24 | AndresLoeh |
libconfig | 1 | 0.0 | 1 | Haskell bindings to libconfig | (bsd3, language, library) | 2015-04-29 | 0.3.0.0 | peddie |
lift-generics | 15 | 0.0 | 1 | GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation | (bsd3, language, library) | 2021-09-16 | 0.2.1 | ryanglscott |
linkcore | 0 | 0.0 | 1 | Combines multiple GHC Core modules into a single module | (bsd3, language, program) | 2010-05-25 | 0.4.1 | TimChevalier |
liquid-base | 17 | 2.0 | 9 | Drop-in base replacement for LiquidHaskell | (bsd3, language, library) | 2023-03-10 | 4.15.1.0 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquid-bytestring | 5 | 0.0 | 0 | LiquidHaskell specs for the bytestring package | (bsd3, language, library) | 2023-03-10 | 0.10.12.1 | AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou |
liquid-containers | 9 | 0.0 | 1 | LiquidHaskell specs for the containers package | (bsd3, language, library) | 2023-03-10 | 0.6.4.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquid-fixpoint | 28 | 0.0 | 4 | Predicate Abstraction-based Horn-Clause/Implication Constraint Solver | (bsd3, language, library, program) | 2021-11-03 | 8.10.7 | AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki |
liquid-ghc-prim | 16 | 0.0 | 1 | Drop-in ghc-prim replacement for LiquidHaskell | (bsd3, language, library) | 2023-03-10 | 0.7.0.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquid-parallel | 2 | 0.0 | 0 | LiquidHaskell specs for the parallel package | (bsd3, language, library) | 2023-03-10 | 3.2.2.0.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquid-platform | 7 | 0.0 | 0 | A battery-included platform for LiquidHaskell | (bsd3, language) | 2023-03-10 | 0.9.0.2 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquid-prelude | 5 | 0.0 | 1 | General utility modules for LiquidHaskell | (bsd3, language, library) | 2023-03-10 | 0.9.0.2 | AlfredoDiNapoli, FacundoDominguez, ranjitjhala, nikivazou |
liquid-vector | 5 | 0.0 | 1 | LiquidHaskell specs for the vector package | (bsd3, language, library) | 2023-03-10 | 0.12.3.1 | AlfredoDiNapoli, AndresLoeh, FacundoDominguez, ranjitjhala, nikivazou |
liquidhaskell | 39 | 2.5 | 15 | Liquid Types for Haskell | (bsd3, language, library, program) | 2023-02-03 | 0.9.0.2.1 | AlfredoDiNapoli, AndresLoeh, EricSeidel, FacundoDominguez, ranjitjhala, niki |
located | 0 | 0.0 | 1 | Source location helpers | (bsd3, language, library) | 2016-07-19 | 0.1.1.0 | TrevorElliott |
lojban | 1 | 0.0 | 1 | Useful utilities for the Lojban language | (bsd3, language, library, program) | 2008-12-18 | 0.3 | |
lojbanParser | 1 | 0.0 | 1 | lojban parser | (bsd3, language, library, program) | 2014-08-16 | 0.1.9.2 | YoshikuniJujo |
lojbanXiragan | 0 | 0.0 | 1 | lojban to xiragan | (bsd3, language, library, program) | 2013-03-07 | 0.3 | YoshikuniJujo |
lojysamban | 1 | 0.0 | 1 | Prolog with lojban | (bsd3, language, program) | 2014-10-24 | 0.0.8.1 | YoshikuniJujo |
lol-calculus | 2 | 0.0 | 1 | Calculus for LOL (λω language). | (gpl, language) | 2016-08-23 | 1.20160822 | julm |
lol-typing | 0 | 0.0 | 1 | Type inferencer for LOL (λω language) | (gpl, language, library) | 2016-08-23 | 1.20160822 | julm |
lorentz | 15 | 0.0 | 4 | EDSL for the Michelson Language | (language, library, mit) | 2023-07-31 | 0.16.0 | gromak, pasqu4le, serokell |
lss (deprecated) | 2 | 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 | 0 | 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 | 0 | 0.0 | 1 | Lua bytecode parser | (language, library, mit) | 2016-12-07 | 0.1.1 | EricMertens, galoisinc |
luka | 0 | 0.0 | 1 | Simple ObjectiveC runtime binding | (bsd3, language, library) | 2012-08-29 | 2012.8.29 | JinjingWang |
luthor | 0 | 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) | 2 | 0.0 | 1 | A small programming language for numerical computing | (deprecated, language, library, program, public-domain) | 2015-10-11 | 0.0.1 | seiya |
maude | 1 | 0.0 | 1 | An interface to the Maude rewriting system. | (language, library, mit) | 2012-07-09 | 0.6.1 | DavidLazar |
mcm | 0 | 2.0 | 1 | Machine Configuration Manager | (gpl, language, program, system, text) | 2018-11-03 | 0.6.8.1 | AnthonyDoggett |
mcmc-synthesis | 1 | 0.0 | 2 | MCMC applied to probabilistic program synthesis | (gpl, language, library) | 2014-04-13 | 0.1.2.2 | TikhonJelvis |
mecha | 3 | 0.0 | 1 | A constructive solid geometry (CSG) modeling language. | (bsd3, language, library, program) | 2011-06-11 | 0.1.1 | TomHawkins |
melody | 1 | 0.0 | 1 | A functional scripting language | (language, library, mit, program) | 2014-01-10 | 0.2 | jozefg |
meta-misc | 2 | 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 | 1 | 0.0 | 1 | Multiple Instance for Haskell | (language, library, mit) | 2014-02-28 | 0.0.1 | matt |
mida (deprecated) | 6 | 0.0 | 0 | Language for algorithmic generation of MIDI files | (deprecated, gpl, language, library, program) | 2016-09-10 | 1.0.2 | mrkkrp |
mikrokosmos | 5 | 0.0 | 1 | Lambda calculus interpreter | (gpl, language, program) | 2018-08-01 | 0.8.0 | mroman42 |
miniforth | 2 | 0.0 | 1 | Miniature FORTH-like interpreter | (language, library, mit, program) | 2015-03-08 | 0.1.0.1 | L8D |
ministg | 1 | 0.0 | 1 | an interpreter for an operational semantics for the STG machine. | (bsd3, language, program) | 2012-04-10 | 0.3 | BerniePope |
ml-w | 1 | 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 | 3 | 0.0 | 21 | 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 | 2 | 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 | 2 | 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 | 59 | 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 | 0 | 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 | 2 | 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 | 3 | 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 | 5 | 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 | 1 | 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 | 2 | 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 | 0 | 0.0 | 1 | A parser for the modelica language | (bsd3, language, library) | 2014-04-03 | 0.1.0.0 | fphh |
modulespection | 8 | 0.0 | 2 | Template Haskell for introspecting a module's declarations | (bsd3, language, library) | 2015-02-02 | 0.1.2.2 | JonathanFischoff |
modulo | 6 | 0.0 | 1 | Modular C code generator | (ffi, gpl, language, library, program) | 2014-07-28 | 1.9.1 | HansHoglund |
morley | 23 | 0.0 | 5 | Developer tools for the Michelson Language | (language, library, mit, program) | 2023-07-31 | 1.20.0 | gromak, pasqu4le, serokell |
morley-upgradeable | 1 | 0.0 | 0 | Upgradeability infrastructure based on Morley. | (language, library, mit, program) | 2021-04-02 | 0.3 | pasqu4le, serokell |
morloc | 5 | 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 | 2 | 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) | 2 | 0.0 | 1 | Object-Oriented Programming in Haskell | (deprecated, language, library, mit) | 2015-10-21 | 0.1.0.2 | mbg |
mueval | 20 | 0.0 | 5 | Safely evaluate pure Haskell expressions | (bsd3, development, language, library, program) | 2016-08-16 | 0.9.3 | ChrisDone, GwernBranwen |
mulang | 5 | 0.0 | 1 | An intermediate language designed to perform advanced code analysis | (language, library, program) | 2019-01-11 | 4.4.0 | flbulgarelli |
nanopass | 0 | 0.0 | 0 | An EDSL for creating compilers using small passes and many intermediate representations. | (bsd3, language, library, program) | 2022-02-11 | 0.0.2.0 | edemko |
naver-translate | 0 | 0.0 | 1 | Interface to Naver Translate | (gpl, language, library) | 2015-10-15 | 0.1.0.2 | hongminhee |
netlist | 1 | 0.0 | 4 | Netlist AST | (bsd3, language, library) | 2011-10-28 | 0.3.1 | AndyGill, GergoErdi, PhilipWeaver |
netlist-to-vhdl | 2 | 0.0 | 2 | Convert a Netlist AST to VHDL | (bsd3, language, library) | 2018-04-06 | 0.3.3 | AndyGill, GergoErdi, PhilipWeaver |
nirum | 2 | 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 | 2 | 0.0 | 1 | Evaluate Haskell expressions using Nix to get packages | (language, library) | 2019-06-28 | 0.4.1.0 | chriswarbo |
nom | 2 | 0.0 | 0 | Name-binding & alpha-equivalence | (bsd3, compilers-interpreters, language, library) | 2020-08-10 | 0.1.0.2 | gabbay |
nominal | 4 | 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 | 2 | 0.0 | 4 | Language to express rules for Nomic | (bsd3, language, library) | 2017-03-13 | 1.0.0 | CorentinDupont |
nomyx-library | 0 | 0.0 | 1 | Library of rules for Nomyx | (bsd3, language, library) | 2017-03-17 | 1.0.0 | CorentinDupont |
ntha | 2 | 0.0 | 0 | A tiny statically typed functional programming language. | (bsd3, compiler, language, library, program) | 2016-08-27 | 0.1.3 | zjhsdtc |
oberon0 | 1 | 0.0 | 1 | Oberon0 Compiler | (language, library) | 2013-10-23 | 0.0.2 | MarcosViera |
octopus | 1 | 0.0 | 1 | Lisp with more dynamism, more power, more simplicity. | (gpl, language, library, program) | 2014-04-07 | 0.0.2.1 | ZankokuOkuno |
omega | 2 | 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 | 3 | 0.0 | 6 | A version of Operational suitable for extensible EDSLs | (bsd3, language, library) | 2016-12-07 | 0.3.1 | EmilAxelsson |
oplang | 3 | 0.0 | 0 | Stack-based esoteric programming language | (compilers-interpreters, gpl, language, program) | 2023-05-06 | 0.4.0.0 | aionescu |
optimusprime | 1 | 0.0 | 1 | A supercompiler for f-lite | (bsd3, compiler, language, program, program-transformation) | 2009-11-17 | 0.0.1.20091117 | JasonReich |
org2anki | 0 | 0.0 | 1 | Basic org to anki exporter | (gpl, language, program) | 2016-10-29 | 0.1.0 | mroman42 |
pads-haskell | 0 | 0.0 | 1 | PADS data description language for Haskell. | (language, library, mit) | 2019-06-10 | 0.1.0.0 | KarlCronburg |
paragon | 13 | 0.0 | 1 | Paragon | (bsd3, language, library, program) | 2012-07-11 | 0.1.28 | NiklasBroberg |
pattern-matcher | 1 | 0.0 | 0 | A library for compiling pattern-matching to decision trees | (bsd3, language, library) | 2019-06-19 | 0.1.0.1 | GuerricChupin |
pec | 10 | 0.0 | 1 | pec embedded compiler | (bsd3, language, library, program) | 2012-03-31 | 0.2.3 | BrettLetner |
peggy | 5 | 0.0 | 4 | The Parser Generator for Haskell | (bsd3, language, library) | 2013-01-30 | 0.3.2 | HideyukiTanaka, darkf |
pgf2 | 3 | 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 | 0 | 0.0 | 0 | Extended functionality of PhLADiPreLiO | (language, library, math, mit, sound) | 2023-09-23 | 0.2.2.0 | OleksandrZhabenko |
phladiprelio-general-shared | 3 | 0.0 | 1 | A shared by different general implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2023-09-22 | 0.1.1.0 | OleksandrZhabenko |
phladiprelio-general-simple | 5 | 0.0 | 0 | A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms. | (language, library, math, mit, music) | 2023-09-22 | 0.9.0.1 | OleksandrZhabenko |
phladiprelio-rhythmicity-shared | 2 | 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 | 6 | 0.0 | 0 | Common for Ukrainian and general data for test mode. | (language, library, mit) | 2023-08-14 | 0.1.0.0 | OleksandrZhabenko |
phladiprelio-ukrainian-shared | 4 | 0.0 | 1 | A shared by different Ukrainian implementations of the PhLADiPreLiO functionality. | (data, language, library, math, mit) | 2023-03-12 | 0.1.0.0 | OleksandrZhabenko |
phladiprelio-ukrainian-simple | 12 | 0.0 | 0 | A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency. | (language, library, math, mit, music, program) | 2023-08-14 | 0.10.0.0 | OleksandrZhabenko |
phonetic-languages-basis | 1 | 0.0 | 9 | 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 | 2 | 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) | 1 | 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 | 4 | 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 | 20 | 0.0 | 5 | Constraints to filter the needed permutations | (language, library, math, mit, phonetic-languages) | 2023-06-05 | 0.7.3.0 | OleksandrZhabenko |
phonetic-languages-examples | 1 | 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 | 0 | 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 | 1 | 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 | 4 | 0.0 | 6 | Permutations and universal set related functions for the phonetic-languages series | (game, language, library, math, mit, phonetic-languages) | 2023-01-30 | 0.4.0.0 | OleksandrZhabenko |
phonetic-languages-phonetics-basics | 26 | 0.0 | 5 | A library for working with generalized phonetic languages usage. | (game, language, library, math, mit, phonetic-languages, phonetics, program, writing-systems) | 2023-09-22 | 0.10.1.0 | OleksandrZhabenko |
phonetic-languages-plus | 5 | 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 | 1 | 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 | 2 | 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 | 7 | 0.0 | 10 | A basics of the phonetic-languages functionality that can be groupped. | (game, language, library, math, mit, phonetic-languages) | 2023-06-24 | 0.7.1.0 | OleksandrZhabenko |
phonetic-languages-simplified-common | 6 | 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 | 41 | 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 | 19 | 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 | 42 | 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 | 12 | 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 | 26 | 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 | 6 | 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 | 14 | 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 | 5 | 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 | 1 | 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) | 3 | 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 | 1 | 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 | 2 | 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 | 5 | 0.0 | 3 | Prepares Ukrainian text to be used as a phonetic language text | (Ukrainian, game, language, library, mit, phonetic-languages, program) | 2023-02-03 | 0.10.0.0 | OleksandrZhabenko |
phonetic-languages-vector | 0 | 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 | 1 | 0.0 | 1 | A dependently typed core language | (bsd3, dependent-types, development, language, library, program) | 2011-05-18 | 0.2.1 | AndresLoeh, DarinMorrison |
plural | 1 | 0.0 | 1 | Pluralize | (bsd3, language, library) | 2018-06-07 | 0.1.0.0 | fresheyeball |
polysemy | 135 | 2.75 | 74 | Higher-order, low-boilerplate free monads. | (bsd3, language, library) | 2023-09-16 | 1.9.1.2 | isovector, tek, TheMatten, KingoftheHomeless |
polyseq (deprecated in favor of free-theorems-seq) | 2 | 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 | 0 | 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 | 0 | 0.0 | 1 | Tools for PowerPC programs. | (bsd3, language, library) | 2010-03-10 | 0.0.1 | TomHawkins |
prelude-edsl | 2 | 0.0 | 1 | An EDSL-motivated subset of the Prelude | (bsd3, language, library) | 2016-04-20 | 0.4 | EmilAxelsson |
preprocess-haskell | 0 | 0.0 | 1 | Preprocess Haskell Repositories. | (bsd3, language, library) | 2015-03-12 | 0.0.1.1 | bsummer4 |
preprocessor-tools | 5 | 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 | 1 | 0.0 | 0 | Abstract syntax for writing documents | (language, library, mpl) | 2022-03-07 | 0.3.0.0 | chris_martin |
processor-creative-kit | 2 | 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 | 2 | 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 | 0 | 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 | 1 | 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 | 3 | 2.25 | 1 | A simple language for writing documents. | (language, library, mpl) | 2020-03-30 | 1.6.0.2 | jafc |
prosidyc | 1 | 0.0 | 0 | A DSL for processing Prosidy documents. | (language, library, mpl) | 2020-04-16 | 0.3.0.0 | jafc |
purescript | 162 | 2.75 | 9 | PureScript Programming Language Compiler | (bsd3, language, library, program) | 2023-07-18 | 0.15.10 | PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre, PureFunctor, kl0tl, jalexm |
purescript-ast | 0 | 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 | 7 | 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 | 1 | 0.0 | 0 | TypeScript Declaration File (.d.ts) generator for PureScript | (bsd3, language, library, program) | 2019-06-21 | 0.3.0.0 | aratamizuki |
pyffi | 0 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-11 | 0.4.0.2 | russell91 |
pyfi | 1 | 0.0 | 1 | Call python inline from haskell | (language, library, mit) | 2014-11-17 | 0.4.0.4 | russell91 |
qbe | 1 | 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 | 0 | 0.0 | 1 | Quenya verb conjugator | (agpl, language, library, program) | 2015-04-03 | 0.0.1 | kaashif |
r-glpk-phonetic-languages-ukrainian-durations | 2 | 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 | 2 | 0.0 | 1 | Compiler and editor for the esolang rail. | (language, library, mit, program) | 2014-07-17 | 0.3.0.0 | bubuiic |
raw-feldspar | 0 | 0.0 | 1 | Resource-Aware Feldspar | (bsd3, language, library) | 2022-05-27 | 0.4.1 | EmilAxelsson |
really-simple-xml-parser | 0 | 0.0 | 1 | A really simple XML parser | (language, library, public-domain) | 2012-07-30 | 0.4.0.0 | KashyapChatamballi |
recursors | 0 | 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 | 68 | 0.0 | 2 | Toolkit for building proof automation systems | (bsd3, language, library) | 2021-04-09 | 0.4.0.0 | ReedMullanix |
reflex-jsx | 2 | 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 | 0 | 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 | 2 | 0.0 | 0 | Reorder expressions in a syntax tree according to operator fixities. | (language, library, mit) | 2021-04-26 | 0.1.0.0 | comp |
resin | 1 | 0.0 | 1 | High performance variable binders | (bsd2, language, library) | 2019-01-01 | 0.2.0.3 | CarterSchonwald |
rope | 2 | 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 | 68 | 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 | 0 | 0.0 | 1 | Runtime generation of Arbitrary values | (language, library, public-domain) | 2016-11-12 | 0.1.0.6 | chriswarbo |
satyros | 1 | 0.0 | 0 | Step-by-step SAT solver for educational purposes | (language, library, mit) | 2021-11-14 | 0.3.1.4 | Ailrun |
seal-module | 3 | 0.0 | 1 | Template Haskell support for global configuration data | (bsd3, language, library) | 2010-11-08 | 0.1.0.1 | JoachimBreitner |
semantic | 1 | 2.25 | 0 | Framework and service for analyzing and diffing untrusted code. | (language, library, mit) | 2019-06-02 | 0.0.0 | patrick_thomson |
sexp | 2 | 0.0 | 1 | S-Expression parsing/printing made fun and easy | (gpl, language, library, parsing, program) | 2013-02-26 | 0.7 | AlexandruScvortov |
sexp-grammar | 19 | 0.0 | 2 | Invertible grammar combinators for S-expressions | (bsd3, language, library) | 2023-03-14 | 2.3.4.1 | EugeneSmolanka, SergeyVinokurov |
shady-gen | 0 | 0.0 | 2 | Functional GPU programming - DSEL & compiler | (gpu, language, library) | 2011-06-30 | 0.5.1 | ConalElliott |
shake-dhall | 3 | 0.0 | 0 | Dhall dependencies | (bsd3, dhall, language, library) | 2020-08-26 | 0.1.1.3 | vmchale |
she | 1 | 0.0 | 2 | A Haskell preprocessor adding miscellaneous features | (language, library, program, public-domain) | 2011-08-02 | 0.6 | ConorMcBride |
shentong | 2 | 2.0 | 1 | A Haskell implementation of the Shen programming language | (bsd3, language, program) | 2017-04-27 | 0.3.2 | mjt128 |
shivers-cfg | 1 | 0.0 | 1 | Implementation of Shivers' Control-Flow Analysis | (bsd3, language, library) | 2015-09-08 | 0.1.1 | JoachimBreitner |
shortcut | 1 | 0.0 | 4 | (bsd3, language, library) | 2017-03-17 | 0.1 | CorentinDupont | |
show | 18 | 0.0 | 4 | 'Show' instances for Lambdabot | (language, library) | 2013-05-19 | 0.6 | CaleGibbard, GwernBranwen, JamesCook, JasonDagit, TwanVanLaarhoven |
shplit | 0 | 0.0 | 1 | A Haskell pattern splitter with emacs attachments | (language, program, public-domain) | 2012-02-01 | 0.3 | ConorMcBride |
sifflet | 14 | 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) | 6 | 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 | 0 | 0.0 | 2 | Synchronous signal processing for DSLs. | (bsd3, language, library) | 2015-10-31 | 0.2.0.2 | mararon |
simple-c-value | 0 | 0.0 | 1 | A simple C value type | (bsd3, language, library) | 2012-04-04 | 0.0.0.1 | JonathanFischoff |
simple-eval | 0 | 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 | 1 | 0.0 | 0 | A simple LTL checker | (bsd3, language, library) | 2019-04-22 | 2.1.0 | JohnWiegley |
simple-sql-parser | 14 | 0.0 | 1 | A parser for SQL. | (bsd3, database, language, library) | 2019-09-21 | 0.6.0 | JakeWheat |
sized-types | 5 | 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 | 15 | 0.0 | 2 | Sketch programming with Copilot | (bsd3, embedded, language, library) | 2023-03-09 | 1.0.8 | JoeyHess |
slot-lambda | 0 | 0.0 | 1 | Write lambdas without naming the parameters. | (language, library, mit) | 2014-04-08 | 0.1.0.3 | ducis |
smt-lib | 2 | 0.0 | 1 | Parsing and printing SMT-LIB. | (bsd3, language, library) | 2010-07-19 | 0.0.2 | TomHawkins |
smt2-parser | 30 | 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) | 1 | 0.0 | 1 | Lexical Style Sheets - Snap Web Framework adaptor. | (bsd3, deprecated, language, library) | 2014-09-04 | 0.1.0.0 | DanielPatterson |
snmp | 4 | 0.0 | 2 | SNMP protocol library | (bsd3, language, library) | 2019-04-09 | 0.3.1.0 | chemist, andrewthad, chessai |
spade | 2 | 0.0 | 0 | A simple programming and debugging environment. | (gpl, ide, interpreter, language, library, program) | 2023-06-12 | 0.1.0.9 | sras |
specialize-th | 0 | 0.0 | 2 | Create specialized types from polymorphic ones using TH | (bsd3, language, library) | 2012-03-08 | 0.0.0.8 | JonathanFischoff |
spir-v | 0 | 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 | 2 | 0.0 | 2 | Reusable static analysis interfaces and modules. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
string-interpreter | 6 | 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 | 0 | 0.0 | 0 | Format Cabal files | (bsd3, language, library, program) | 2019-02-09 | 0.5.0.0 | JudeTaylor |
stylish-haskell | 271 | 2.25 | 4 | Haskell code prettifier | (bsd3, language, library, program) | 2023-06-24 | 0.14.5.0 | JasperVanDerJeugt |
stylist | 3 | 0.0 | 1 | Apply CSS styles to a document tree. | (gpl, language, library) | 2023-06-20 | 2.7.0.1 | alcinnz |
subleq-toolchain | 0 | 0.0 | 1 | Toolchain of subleq computer. | (gpl, language, library, program) | 2015-12-24 | 0.1.8.5 | na4zagin3 |
sugar-scheme | 0 | 0.0 | 0 | Sugar with Scheme | (language, library, text) | 2022-07-28 | 0.0.1 | jxv |
sugarhaskell | 2 | 0.0 | 1 | Library-based syntactic extensibility for Haskell | (code-generation, language, program, source-tools) | 2012-10-05 | 0.1 | SebastianErdweg |
sunroof-compiler | 2 | 0.0 | 2 | Monadic Javascript Compiler | (bsd3, compiler, embedded, javascript, language, library, web) | 2013-04-12 | 0.2 | JanBracker |
sunroof-examples | 1 | 0.0 | 1 | Tests for Sunroof | (bsd3, compiler, embedded, javascript, language, program, web) | 2014-06-27 | 0.2.2 | JanBracker |
sunroof-server | 2 | 0.0 | 1 | Monadic Javascript Compiler - Server Utilities | (bsd3, embedded, javascript, language, library, web) | 2014-06-27 | 0.2.1 | JanBracker |
surjective | 2 | 0.0 | 1 | An output coverage checker | (language, library, public-domain) | 2018-02-21 | 0.1.0.0 | gelisam |
sv2v | 4 | 0.0 | 0 | SystemVerilog to Verilog conversion | (bsd3, development, embedded, hardware, language, program) | 2023-06-22 | 0.0.11 | zachjs |
swearjure | 0 | 0.0 | 1 | Clojure without alphanumerics. | (language, lgpl, program) | 2015-04-01 | 1.0.0 | hyPiRion |
symantic | 0 | 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 | 1 | 0.0 | 2 | Library for symantic grammars. | (gpl, language, library) | 2019-06-17 | 0.3.3.20190614 | julm |
symantic-lib | 0 | 0.0 | 1 | Symantics for common types. | (gpl, language, library) | 2019-06-17 | 0.0.5.20190614 | julm |
synt | 0 | 0.0 | 1 | Similar code analysis. | (language, library, program) | 2014-11-23 | 0.1.2 | brentlintner |
syntactic | 23 | 0.0 | 9 | Generic representation and manipulation of abstract syntax | (bsd3, language, library) | 2022-05-26 | 3.8.4 | AndersPersson, EmilAxelsson |
syntax-trees | 0 | 0.0 | 2 | Convert between different Haskell syntax trees. | (bsd3, language, library) | 2010-10-01 | 0.1.2 | DominicOrchard, GeorgeGiorgidze |
syntax-trees-fork-bairyn | 1 | 0.0 | 2 | Convert between different Haskell syntax trees. Bairyn's fork. | (bsd3, language, library) | 2014-11-30 | 0.1.2.5 | ByronJohnson |
tal | 2 | 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 | 2 | 0.0 | 0 | For representing musical tempi | (bsd3, language, library) | 2021-09-29 | 1.0.2.1 | dktr0 |
tempus | 1 | 0.0 | 1 | Interpreter for the FRP language Tempus | (bsd3, compilers-interpreters, frp, language, program) | 2011-08-31 | 0.1.0 | MatthiasReisner |
tensor-safe | 3 | 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 | 1 | 0.0 | 1 | Termination combinators for forcing non-terminating algorithms to terminate | (bsd3, language, library) | 2011-09-19 | 0.1 | MaxBolingbroke |
tersmu | 0 | 0.0 | 1 | A semantic parser for lojban | (gpl, language, library, program) | 2018-04-29 | 0.2.2 | mbays |
text-register-machine | 3 | 0.0 | 1 | A Haskell implementation of the 1# Text Register Machine | (bsd3, language, library) | 2012-02-09 | 0.4.0 | AdamFoltzer |
th-alpha | 16 | 0.0 | 1 | Alpha equivalence for TH Exp | (bsd3, language, library) | 2016-07-01 | 0.2.1.0 | jkarni |
th-bang-compat | 8 | 0.0 | 1 | Compatibility for bang-type template | (bsd3, language, library) | 2019-06-09 | 0.0.1.0 | KeiHibino |
th-constraint-compat | 12 | 0.0 | 3 | Compatibility for type constraint template | (bsd3, language, library) | 2017-10-07 | 0.0.1.0 | KeiHibino |
th-data-compat | 18 | 2.0 | 4 | Compatibility for data definition template of TH | (bsd3, language, library) | 2023-01-15 | 0.1.2.0 | KeiHibino |
th-dict-discovery | 1 | 2.0 | 1 | Automatically discover available dictionaries at compile time. | (bsd3, language, library) | 2017-12-27 | 0.1.0.0 | isovector |
th-instances | 0 | 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 | 447 | 0.0 | 85 | Derive Template Haskell's Lift class for datatypes. | (bsd3, language, library) | 2023-08-01 | 0.8.4 | IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott |
th-reify-compat | 17 | 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 | 7 | 0.0 | 2 | Compatibility shim for Bang and Strict in Template Haskell. | (apache, language, library) | 2017-09-24 | 0.1.0.1 | igrep |
thih | 1 | 0.0 | 1 | Typing Haskell In Haskell | (bsd3, language, library, program) | 2008-04-04 | 1.0 | GwernBranwen, ocramz |
to-haskell | 0 | 0.0 | 1 | A type class and some utilities for generating Haskell code. | (bsd3, language, library) | 2012-10-11 | 0.3.0 | ConalElliott |
tptp | 0 | 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 | 1 | 0.0 | 1 | Generic representation of tree transformations | (gpl, language, library, program) | 2015-02-15 | 0.2.0.0 | JeroenBransen, JosePedroMagalhaes |
traverse-code | 0 | 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) | 1 | 0.0 | 1 | Deprecated | (bsd3, deprecated, language, library) | 2008-05-17 | 0.2.2 | GwernBranwen, NiklasBroberg |
turkish-deasciifier | 0 | 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 | 19 | 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 | 7 | 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 | 2 | 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 | 0 | 0.0 | 3 | Substitute types for other types with Template Haskell | (bsd3, language, library) | 2012-03-08 | 0.1.0.6 | JonathanFischoff |
type-tree | 0 | 0.0 | 1 | Tree representations of datatypes | (language, library, mit) | 2018-04-07 | 0.2.0.1 | JudeTaylor |
typescript-docs | 1 | 0.0 | 1 | A documentation generator for TypeScript Definition files | (language, mit, program) | 2014-01-07 | 0.0.3 | PhilFreeman |
ukrainian-phonetics-basic | 0 | 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 | 3 | 0.0 | 11 | A library to work with the basic Ukrainian phonetics and syllable segmentation. | (Ukrainian, language, library, mit, phonetic-languages, phonetics, syllable-segmentation) | 2023-02-02 | 0.7.0.0 | OleksandrZhabenko |
ukrainian-phonetics-basic-array-bytestring | 0 | 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 | 5 | 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 | 9 | 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 | 24 | 2.0 | 7 | Support for programming with names and binders using GHC Generics | (bsd3, language, library) | 2023-04-27 | 0.4.3 | AlekseyKliger |
unbound-kind-generics | 3 | 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 | 25 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2022-05-26 | 0.11.2 | WrenThornton, WrenRomano |
unipatterns | 8 | 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 | 4 | 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 | 1 | 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 | 1 | 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 | 1 | 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 | 4 | 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 | 1 | 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 | 4 | 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 | 11 | 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 | 2 | 0.0 | 3 | Construct a Dec's ancestor list. | (bsd3, language, library) | 2012-03-08 | 0.0.0.6 | JonathanFischoff |
unlit | 36 | 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 | 1 | 2.0 | 0 | Unpacked containers via backpack | (bsd2, language, library, program) | 2018-04-06 | 0 | EdwardKmett |
urldisp-happstack | 1 | 0.0 | 1 | Simple, declarative, expressive URL routing -- on happstack. | (bsd3, language, library) | 2009-07-25 | 0.1 | SterlingClover |
valid-names | 1 | 0.0 | 1 | Valid operator/module characters | (language, library, mit) | 2013-12-29 | 0.1.0.1 | JoelTaylor |
verifiable-expressions | 1 | 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 | 15 | 0.0 | 1 | Verilog preprocessor, parser, and AST. | (bsd3, embedded, hardware, language, library) | 2015-03-26 | 0.0.11 | TomHawkins |
vhdl | 0 | 0.0 | 2 | VHDL AST and pretty printer | (bsd3, language, library) | 2010-06-22 | 0.1.2.1 | ChristiaanBaaij |
wasm | 7 | 2.25 | 0 | WebAssembly Language Toolkit and Interpreter | (language, library, mit) | 2021-12-12 | 1.1.1 | irezvov |
web-routes | 43 | 0.0 | 37 | portable, type-safe URL routing | (bsd3, language, library, web) | 2023-02-06 | 0.27.15 | JeremyShaw |
web-routes-boomerang | 13 | 0.0 | 3 | Use boomerang for type-safe URL parsers/printers | (bsd3, language, library, web) | 2023-02-06 | 0.28.4.4 | JeremyShaw |
web-routes-generics | 0 | 0.0 | 0 | portable, type-safe URL routing | (bsd3, language, library, web) | 2019-07-14 | 0.1.0.1 | JeremyShaw |
web-routes-happstack | 36 | 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 | 24 | 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) | 1 | 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 | 1 | 0.0 | 2 | portable, type-safe URL routing | (bsd3, language, library, web) | 2015-12-18 | 0.19.0.1 | JeremyShaw |
web-routes-th | 13 | 0.0 | 14 | Support for deriving PathInfo using Template Haskell | (bsd3, language, library, web) | 2023-02-06 | 0.22.8.1 | JeremyShaw |
web-routes-transformers (deprecated in favor of web-routes) | 0 | 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 | 22 | 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 | 0 | 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 | 0 | 0.0 | 1 | Parser for the While language. | (bsd3, language, library) | 2013-05-25 | 0.1.0.0 | DavidNilsson |
words | 0 | 0.0 | 1 | Cross-platform access to a list of words | (bsd3, language, library) | 2011-10-10 | 0.1.2 | ChrisSmith |
yabi-muno | 0 | 0.0 | 1 | Yet Another Brainfuck Interpreter | (language, library, mit, program) | 2015-03-08 | 0.1.0.1 | L8D |
z3-encoding | 3 | 0.0 | 2 | High-level assertion encoding to Z3 solver | (language, library, mit) | 2016-07-05 | 0.3.0.0 | izgzhen |
zabt | 3 | 0.0 | 1 | Simple-minded abstract binding trees | (bsd3, language, library) | 2016-08-11 | 0.4.0.0 | JosephAbrahamson |
zasni-gerna | 9 | 2.0 | 1 | lojban parser (zasni gerna) | (bsd3, language, library) | 2019-10-24 | 0.0.7.1 | YoshikuniJujo |
zephyr-copilot | 7 | 0.0 | 0 | Embedded programming in haskell using the Copilot stream DSL and Zephyr | (bsd3, embedded, language, library) | 2023-03-09 | 1.0.8 | JoeyHess |
zeroth | 1 | 0.0 | 1 | ZeroTH - remove unnecessary TH dependencies | (bsd3, language, library, program) | 2009-06-23 | 2009.6.23.3 | DavidHimmelstrup, RobinGreen |