Package search

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
language-dickinson4442.0A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2020-09-30vmchale
yi-language390.0Collection of language-related Yi libraries. (gpl, library, yi)2018-07-26DmitryIvanov, JaredHance, MateuszKowalczyk, JaroReinders
Nomyx-Language (deprecated in favor of nomyx-language)430.0Language to express rules for Nomic (bsd3, deprecated, language, library)2015-03-26CorentinDupont
feldspar-language220.0A functional embedded language for DSP and parallelism (bsd3, language, library)2014-06-01AndersPersson, EmilAxelsson
language-c-quote2000.0C/CUDA/OpenCL/Objective-C quasiquoting library. (bsd3, language, library)2019-10-16GeoffreyMainland, TroelsHenriksen
snap-language130.0Language handling for Snap (bsd3, library, web)2019-05-15petterb
language-fortran (deprecated in favor of fortran-src)150.0Fortran lexer and parser, language support, and extensions. (bsd3, deprecated, language, library)2016-03-17DominicOrchard
language-nix380.0Data types and functions to represent the Nix language (bsd3, distribution, language, library, nix)2019-09-21PeterSimons
CSPM-CoreLanguage200.0Definition of a CSP core-language. (bsd3, concurrency, formal-methods, language, library)2017-10-26MarcFontaine
language-qux140.0Utilities for working with the Qux language (bsd3, language, library, qux)2015-10-10hjwylde
language-cil130.0Manipulating Common Intermediate Language AST (.net, bsd3, language, library)2016-09-19TomLokhorst
language-avro212.0Language definition and parser for AVRO files. (apache, library, network)2020-04-01FlavioCorpa
language-slice100.0AST and parser for the ZeroC Slice language (Specification language for ICE) (bsd3, language, library)2013-06-14PaulKoerbitz
language-sygus140.0A parser and printer for the SyGuS 2.0 language. (bsd3, language, library)2020-02-11WilliamHallahan
language-boogie70.0Interpreter and language infrastructure for Boogie. (bsd3, language, library)2013-02-05NadiaPolikarpova
language-conf140.0Conf parsers and pretty-printers for the Haskell programming language. (data, library, mit)2016-08-24yamadapc
language-c-inline300.0Inline C & Objective-C code in Haskell for language interoperability (bsd3, foreign, language, library)2017-07-30ManuelChakravarty
gogol-language120.0Google Cloud Natural Language SDK. (cloud, google, library, network)2019-08-23BrendanHay
language-protobuf110.0Language definition and parser for Protocol Buffers. (apache, library, network)2020-02-04AlejandroSerrano
language-guess80.0Guess at which language a text is written in using trigrams. (bsd3, language, library)2014-04-09ChristianRoedliAmble
language-oberon100.0Parser, pretty-printer, and type checker for the Oberon programming language (gpl, language, library, program)2019-01-27MarioBlazevic
language-eiffel60.0Parser and pretty printer for the Eiffel language. (bsd3, language, library)2013-03-06ScottWest
language-ninja62.0A library for dealing with the Ninja build language. (apache, build, language, library, program)2017-08-02taktoa
language-hcl80.0HCL parsers and pretty-printers for the Haskell programming language. (data, library, mit)2016-08-12yamadapc
quipper-language150.0Quipper, an embedded functional programming language for quantum computation. (bsd3, library, program, quipper)2019-12-30PeterSelinger
language-go80.0A library for analysis and synthesis of Go code. (language, library)2011-02-06AndrewRobbins
language-c5742.0Analysis and generation of C code (bsd3, language, library)2020-09-04BenediktHuber, jophish
language-gcl60.0Something similar to Dijkstra's guarded command language (language, library, mit)2014-06-15StijnVanDrongelen
language-vhdl222.0VHDL AST and pretty printer in Haskell. (bsd3, language, library)2017-10-03mararon
language-ocaml50.0Language tools for manipulating OCaml programs in Haskell (language, library, mit, ocaml)2018-12-12Ptival
copilot-language430.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2019-11-23IvanPerez, LeePike, agoodloe, frankdedden
nomyx-language20.0Language to express rules for Nomic (bsd3, language, library)2017-03-13CorentinDupont
language-tl50.0A Parser for the Type Language (bsd3, language, library, unclassified)2020-06-04Poscat
indian-language-font-converter70.0Indian Language Font Converter (bsd3, language, library)2013-12-02AkashJagdhane
language-kort30.0Parser and serializer for the Kort information language. (language, library, public-domain)2015-06-18akrasner
language-c99-util110.0Utilities for language-c99. (language, library, mit)2019-04-01frankdedden
language-sally92.0AST and pretty printer for Sally (language, library)2017-08-01bjones
wai-accept-language30.0Rewrite based on Accept-Language header (bsd3, library, program, web)2015-12-27tkmsm
language-pig130.0Pig parser in haskell. (language, library, mit)2013-12-16elisehuard
language-javascript2610.0Parser for JavaScript (bsd3, language, library)2020-03-22AlanZimmerman, ErikDeCastroLopo, TonyMorris
language-mixal40.0Parser, pretty-printer, and AST types for the MIXAL assembly language (bsd3, language, library, program)2013-08-25JonathanDaugherty
language-rust152.25Parsing and pretty printing of Rust code (bsd3, language, library)2018-04-22harpocrates
language-asn20.0ASN.1 encoding and decoding (bsd3, language, library)2019-04-09andrewthad, chessai
language-puppet2012.0Tools to parse and evaluate the Puppet DSL. (bsd3, library, program, system)2020-05-31SimonMarechal, pi3r
language-lua1070.0Lua parser and pretty-printer (bsd3, language, library)2019-08-29EricMertens, OmerAgacan
language-python-test130.0testing code for the language-python library (bsd3, language, program)2020-07-12BerniePope
language-ecmascript1002.0JavaScript parser and pretty-printer library (bsd3, language, library)2020-03-26AndreyChudnov, ArjunGuha, DavidJohnson
language-bash540.0Parsing and pretty-printing Bash shell scripts (bsd3, language, library)2020-04-23KyleRaftogianis
language-elm472.0Generate elm code (bsd3, library, web)2018-12-08eliaslfox
language-dot481.75A library for the analysis and creation of Graphviz DOT files (bsd3, language, library)2019-10-22BenGamari, BrianLewis
language-dockerfile200.0Dockerfile linter, parser, pretty-printer and embedded DSL (development, gpl, library)2017-05-14yamadapc
shake-language-c320.0Utilities for cross-compiling with Shake (apache, development, library)2018-03-14StefanKersten
language-java320.0Java source manipulation (bsd3, language, library)2018-03-08NiklasBroberg, VincentHanquez
language-objc190.0Analysis and generation of Objective C code (bsd3, language, library)2013-12-11JohnLato
language-glsl840.0GLSL abstract syntax tree, parser, and pretty-printer (bsd3, graphics, language, library, program)2018-09-02VoMinhThu
language-haskell-extract2650.0Module to automatically extract functions from the local code. (bsd3, library, template-haskell)2013-01-26OscarFinnsson
language-webidl160.0Parser and Pretty Printer for WebIDL (language, library, mit)2017-10-24izgzhen
language-ats2162.0Parser and pretty-printer for ATS. (ats, bsd3, language, lexer, library, parser, pretty-printer)2020-08-14vmchale
language-openscad130.0A simple parser for OpenSCAD (bsd3, language, library, program)2016-04-13BenGamari
language-spelling140.0Various tools to detect/correct mistakes in words (library, natural-language-processing, public-domain)2013-01-20FrancescoMazzoli
language-thrift402.0Parser and pretty printer for the Thrift IDL format. (bsd3, language, library)2019-10-02abhinav
language-lua2130.0Lua parser and pretty printer (bsd3, language, library)2015-10-14mitchellwrosen
language-python840.0Parsing and pretty printing of Python code. (bsd3, language, library)2020-07-12BerniePope
language-css270.0CSS 2.1 syntax (bsd3, language, library)2020-05-14AntonKholomiov, tomjaguarpaw
language-typescript80.0A library for working with TypeScript Definition files (language, library, mit)2014-02-02PhilFreeman
NaturalLanguageAlphabets100.0Simple scoring schemes for word alignments (bsd3, library, natural-language-processing)2019-10-02ChristianHoener
language-c99130.0An implementation of the C99 AST that strictly follows the standard. (language, library, mit)2019-11-30frankdedden
language-docker3952.0Dockerfile parser, pretty-printer and embedded DSL (development, gpl, library)2020-10-18lorenzo
language-gemini20.0Datatypes and parsing/printing functions to represent the Gemini markup language (bsd3, gemini, library, text)2020-07-24fgaz
language-sqlite70.0Full parser and generator for SQL as implemented by SQLite3 (bsd3, database, language, library)2011-02-14IreneKnapp
language-js80.0javascript parser for es6 and es7. (bsd3, language, library)2018-01-25diasbruno
language-dart82.25Manipulating Dart source: abstract syntax and pretty-printer (bsd3, language, library)2016-07-12sigrlami, kseo
language-sh (deprecated)60.0A package for parsing shell scripts (bsd3, deprecated, language, library)2009-01-17
language-c99-simple130.0C-like AST to simplify writing C99 programs. (language, library, mit)2019-05-12frankdedden
language-ecmascript-analysis80.0JavaScript static analysis library. (bsd3, language, library)2016-01-31AndreyChudnov
language-c-comments60.0Extracting comments from C code (bsd3, language, library)2014-03-08GeoffHulette, MatthewSottile
language-csharp20.0C# source code manipulation (bsd3, c#, csharp, language, library)2019-05-10icysnowman55
language-java-classfile40.0Parser for Java .class files (bsd3, language, library)2010-12-09GergoErdi
madlang2570.0Randomized templating language DSL (bsd3, library, text)2019-11-09vmchale
tidal3742.5Pattern language for improvised music (gpl, library, sound)2020-06-24AlexMcLean, kindohm, lennart
language-python-colour20.0Generate coloured XHTML for Python code. (bsd3, language, program)2009-11-04BerniePope
language-lua-qq20.0Initial project template from stack (bsd3, language, library)2015-09-11HiromiIshii
Elm (deprecated in favor of elm-compiler)1240.0The Elm language module. (bsd3, compiler, deprecated, language, library, program)2014-09-22EvanCzaplicki
idris2492.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2020-05-23EdwinBrady, niklasl
diagrams-lib4792.5Embedded domain-specific language for declarative graphics (bsd3, graphics, library)2019-11-07BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
language-asn1140.0Parsing of ASN1 definitions (bsd3, language, library, program)2020-06-14DmitryAstapov
clash-ghc1692.25CAES Language for Synchronous Hardware (bsd2, hardware, library, program)2020-07-28ChristiaanBaaij, QBayLogic
haskell-lsp-types15092.0Haskell library for the Microsoft Language Server Protocol, data types (development, library, mit)2020-10-05AlanZimmerman, lorenzo, wz1000, luke_
clash-vhdl760.0CAES Language for Synchronous Hardware - VHDL backend (bsd2, hardware, library)2017-04-25ChristiaanBaaij
dhall10522.5A configuration language guaranteed to terminate (bsd3, compiler, library, program)2020-10-21GabrielGonzalez, sjakobi
Yampa1682.5Elegant Functional Reactive Programming Language for Hybrid Systems (bsd3, frp, library, reactivity)2019-10-15GeorgeGiorgidze, IvanPerez, keera_studios_ci
clash-lib1490.0CAES Language for Synchronous Hardware - As a Library (bsd2, hardware, library)2020-07-28ChristiaanBaaij, QBayLogic
haskell-lsp11912.25Haskell library for the Microsoft Language Server Protocol (development, library, mit)2020-10-05AlanZimmerman, lorenzo, wz1000, luke_
alpha590.0A compiler for the Alpha language (bsd3, compiler, program)2013-01-01MarcCoiffier
egison46362.0Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2020-10-16SatoshiEgi, momohatt
clash-systemverilog520.0CAES Language for Synchronous Hardware - SystemVerilog backend (bsd2, hardware, library)2017-04-25ChristiaanBaaij
hslua17052.0Bindings to Lua, an embeddable scripting language (foreign, library, mit)2020-10-16GracjanPolak, OmerAgacan, tarleb
bindings-DSL2152.0FFI domain specific language, on top of hsc2hs. (bsd3, ffi, library)2018-05-19DmitryMalikov, JohnWiegley, MauricioAntunes
clash-prelude1652.25CAES Language for Synchronous Hardware - Prelude library (bsd2, hardware, library)2020-07-28ChristiaanBaaij, QBayLogic
clash-verilog460.0CAES Language for Synchronous Hardware - Verilog backend (bsd2, hardware, library)2017-04-25ChristiaanBaaij
improve620.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
diagrams1162.75Embedded domain-specific language for declarative vector graphics (bsd3, graphics, library)2016-10-27AdamVogt, BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
c2hs4660.0C->Haskell FFI tool that gives some cross-language type safety (development, gpl, program)2018-09-26DuncanCoutts, IanRoss, deech
futhark7332.0An optimising compiler for a functional, array-oriented language. (language, library, program)2020-10-08TroelsHenriksen
simple-templates150.0A basic template language for the Simple web framework (lgpl, library, web)2020-04-13AmitLevy
hnix832.5Haskell implementation of the Nix language (bsd3, data, library, nix, system)2020-09-13JohnWiegley, sjakobi, AntonLatukha
citeproc-hs510.0A Citation Style Language implementation in Haskell (bsd3, library, text)2015-03-17AndreaRossato
family-tree350.0A family tree library for the Haskell programming language. (bsd3, data, genealogy, library)2015-04-16NathanVanDoorn
alms360.0a practical affine language (bsd3, compilers-interpreters, program)2018-08-17JesseTov
LslPlus370.0An execution and testing framework for the Linden Scripting Language (LSL) (bsd3, language, program)2009-08-25RobertGreayer
epic340.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-28AndreasAbel, EdwinBrady
purescript4282.5PureScript Programming Language Compiler (bsd3, language, library, program)2020-05-23PhilFreeman, hdgarrood, kritzcreek, garyb, LiamGoodacre
ewe280.0An interpreter for EWE programming language (bsd3, language, program)2019-02-04JuanFranciscoCardonaMcCormick
axel250.0The Axel programming language. (bsd3, language, library, lisp, macros, program, transpiler)2019-10-03jgrosso256
sifflet200.0Simple, visual, functional language for learning about recursion. (bsd3, language, library, program, visual-programming)2016-05-18GregoryWeber
ede420.0Templating language with similar syntax and features to Liquid or Jinja2. (library, template, text, web)2018-05-14BrendanHay
GenI320.0A natural language generator (specifically, an FB-LTAG surface realiser) (library, natural-language-processing, program)2017-10-03EricKow
NanoProlog290.0Very small interpreter for a Prolog-like language (bsd3, language, library, program)2011-12-22DoaitseSwierstra, JurrienStutterheim, joaopizani
greskell500.0Haskell binding for Gremlin graph query language (bsd3, data, library)2020-06-21debugito
copilot-libraries280.0Libraries for the Copilot language. (bsd3, embedded, language, library)2019-11-23IvanPerez, LeePike, agoodloe, frankdedden
feldspar-compiler220.0Compiler for the Feldspar language (bsd3, compiler, library)2014-06-01AndersPersson, EmilAxelsson
pandoc-citeproc6082.0Supports using pandoc with citeproc (bsd3, library, program, text)2020-08-02JohnMacFarlane
Lastik (deprecated)290.0A library for compiling programs in a variety of languages (bsd3, deprecated, development, library)2010-11-16TonyMorris
morte1132.25A bare-bones calculus of constructions (bsd3, compiler, library, program)2019-11-03GabrielGonzalez
MiniAgda282.0A toy dependently typed programming language with type-based termination. (dependent-types, program)2020-04-14AndreasAbel
clash (deprecated in favor of clash-ghc)330.0CAES Language for Synchronous Hardware (CLaSH) (bsd3, deprecated, hardware, language, library)2011-12-02ChristiaanBaaij
curry-frontend590.0Compile the functional logic language Curry to several intermediate formats (bsd3, language, library, program)2019-11-22BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
funcmp280.0Functional MetaPost is a Haskell frontend to the MetaPost language (gpl, graphics, library)2018-01-29PeterSimons
hsc3-lang (deprecated)170.0Haskell SuperCollider Language (deprecated, library, sound)2014-10-11RohanDrape
blaze-html13802.25A blazingly fast HTML combinator library for Haskell (bsd3, library, text)2019-10-02JasperVanDerJeugt, SimonMeier
psc-ide (deprecated in favor of purescript)152.0Language support for the PureScript programming language (deprecated, development, library, mit, program, purescript)2016-02-02kritzcreek
morley2980.0Developer tools for the Michelson Language (agpl, language, library, mit, program)2020-10-07gromak, serokell
expresso220.0A simple expressions language based on row types (bsd3, configuration, library, program)2020-04-02willtim
FormalGrammars300.0(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library)2019-10-02ChristianHoener
ddc-core (deprecated)240.0Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
marxup180.0Markup language preprocessor for Haskell (gpl, library, program, text)2019-11-19JeanPhilippeBernardy
atomo210.0A highly dynamic, extremely simple, very fun programming language. (bsd3, language, program)2012-04-11AlexSuraci
hprotoc1590.0Parse Google Protocol Buffer specifications (bsd3, library, program, text)2019-12-02ChrisKuklewicz, DavidFeng, TvH, k_bx
caledon282.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman
ogmarkup (deprecated)171.5A lightweight markup language for story writers (deprecated, library, mit, web)2018-02-28lethom
GroteTrap140.0Parser and selection library for expression languages. (bsd3, language, library)2016-10-08MartijnVanSteenbergen
greskell-core470.0Haskell binding for Gremlin graph query language - core data types and tools (bsd3, data, library)2020-06-21debugito
egison-tutorial1150.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2020-06-07SatoshiEgi, momohatt
sequent-core90.0Alternative Core language for GHC plugins (bsd3, development, library)2015-07-03pdownen, lukemaurer
uAgda120.0A simplistic dependently-typed language with parametricity. (dependent-types, program)2012-03-10JeanPhilippeBernardy
mecha180.0A constructive solid geometry (CSG) modeling language. (bsd3, language, library, program)2011-06-11TomHawkins
tptp40.0Parser and pretty printer for the TPTP language (formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers)2020-04-03EK
mulang180.0An intermediate language designed to perform advanced code analysis (language, library, program)2019-01-11flbulgarelli
spdx320.0SPDX license expression language, Extras (bsd3, data, library)2020-03-27phadej
phonetic-languages-ukrainian2930.0Prepares Ukrainian text to be used as a phonetic language text (Ukrainian, game, language, library, mit, phonetic-languages)2020-10-06OleksandrZhabenko
diagrams-contrib1390.0Collection of user contributions to diagrams EDSL (bsd3, graphics, library)2019-11-12BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
lingo550.0File extension based programming language detection (bsd3, data, library, program)2020-09-02patrick_thomson, tclem, rewinfrey
blaze-markup14110.0A blazingly fast markup combinator library for Haskell (bsd3, library, text)2020-06-30DeepakJois, JasperVanDerJeugt
HaLeX260.0HaLeX enables modelling, manipulation and visualization of regular languages (data, library, program, public-domain)2017-02-10GwernBranwen, joaoSaraiva
ajhc242.0Haskell compiler that produce binary through C language (compiler, gpl, library, program)2013-12-18KiwamuOkabe
hwhile172.0An implementation of Neil D. Jones' While language (gpl, language, library, program)2019-03-07alexj136
diagrams-core2102.25Core libraries for diagrams EDSL (bsd3, graphics, library)2019-10-20BrentYorgey, RyanYates, jeffreyrosenbluth, bergey, cchalmers
elsa190.0A tiny language for understanding the lambda-calculus (language, library, mit, program)2019-04-01ranjitjhala
simplex100.0A simple markup language that translates to LaTeX (gpl, latex, program)2013-06-16JulianFleischer
zeolite-lang160.0Zeolite is a statically-typed, general-purpose programming language. (apache, compiler, program)2020-08-07ta0kira
adp-multi160.0ADP for multiple context-free languages (algorithms, bioinformatics, bsd3, data-structures, library)2013-05-29MaikRiechert
Obsidian120.0Embedded language for GPU Programming (bsd3, language, library)2016-05-14JoelSvensson
pisigma170.0A dependently typed core language (bsd3, dependent-types, development, language, library, program)2011-05-18AndresLoeh, DarinMorrison
mida (deprecated)160.0Language for algorithmic generation of MIDI files (deprecated, gpl, language, library, program)2016-09-10mrkkrp
cypher190.0Haskell bindings for the neo4j "cypher" query language (bsd3, database, library)2012-07-31SamAnklesaria
hakaru200.0A probabilistic programming language (bsd3, language, library, program)2018-04-16pravnar, z
gelatin140.0A graphics description language. (graphics, library, mit, program)2017-11-03SchellScivally
vinyl-gl210.0Utilities for working with OpenGL's GLSL shading language and vinyl records. (bsd3, graphics, library)2018-09-11AnthonyCowley
typed-wire120.0Language-independent type-safe communication (library, mit, program, web)2016-06-14AlexanderThiemann
ddc-core-eval (deprecated)170.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
sindre60.0A programming language for simple GUIs (bsd3, gui, library, program)2012-03-25TroelsHenriksen
Agda3162.75A dependently typed functional programming language and proof assistant (dependent-types, program)2020-09-08AndreasAbel, AndresSicardRamirez, NilsAndersDanielsson, UlfNorell
prosidy32.25A simple language for writing documents. (language, library, mpl)2020-03-30jafc
ddc-source-tetra (deprecated)100.0Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ordinal1600.0Convert numbers to words in different languages. (bsd3, library, utils)2020-10-21wvanonsem90
ddc-core-tetra (deprecated)110.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
template-hsml50.0Haskell's Simple Markup Language (bsd3, library, template, templating, web)2012-08-30PetrPilar
haskeme120.0Compiler from I- to S-Expressions for the Scheme Programming Language (bsd3, language, library, program)2019-07-18jumper149
zot422.0Zot language (bsd3, compilers-interpreters, program)2016-03-27YoshikuniJujo
zm830.0Language independent, reproducible, absolute types (bsd3, data, library, reflection)2017-12-11PasqualinoAssini
Rattus172.25A modal FRP language (bsd3, frp, library)2020-08-17PatrickBahr
mappy200.0A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-18mjgpy3
hquery140.0A query language for transforming HTML5 (library, mit, web)2014-06-03TychoAndersen
Frank90.0An experimental programming language with typed algebraic effects (languages, program, public-domain)2012-06-08ConorMcBride
hpython100.0Python language tools (bsd3, language, library, program)2019-05-02qfpl
cflp450.0Constraint Functional-Logic Programming in Haskell (bsd3, control, library)2009-06-04SebastianFischer
config-ini5540.0A library for simple INI-based configuration files. (bsd3, configuration, library)2018-11-14gdritter
data-variant210.0A variant data type, useful for modeling dynamically-typed programming languages (bsd3, data, library)2014-07-31TobiasDammers
CPL160.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-16MasahiroSakai
Blogdown211.5A markdown-like markup language designed for blog posts (agpl, library, program, web)2018-02-05alexbecker
array-forth130.0A simple interpreter for arrayForth, the language used on GreenArrays chips. (gpl, language, library, program)2015-01-17TikhonJelvis
forsyde-shallow100.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, language, library)2019-01-15ugeorge
iso639170.0ISO-639-1 language codes (bsd3, data, library)2015-01-25HugoGomes
WEditorHyphen50.0Language-specific hyphenation policies for WEditor. (apache, library, text)2020-04-21ta0kira
Sonnex90.0Sonnex is an alternative to Soundex for french language (gpl, library, natural-language-processing, text)2014-12-01zigazou
highlighting-kate (deprecated in favor of skylighting)2490.0Syntax highlighting (deprecated, library, text)2017-01-31JohnMacFarlane
BiGUL72.25The Bidirectional Generic Update Language (generics, language, lenses, library, public-domain)2016-08-30joshko, Zirun
Nomyx-Rules (deprecated in favor of Nomyx-Language)110.0Language to express rules for Nomic (bsd3, deprecated, language, library)2013-02-25CorentinDupont
clr-host140.0Hosting the Common Language Runtime (.net, bsd3, clr, ffi, language, library)2018-10-01PepeIborra, TimMatthews, moodmosaic
Ordinary70.0A Programming Language in Construction (bsd3, language, library, program)2018-01-08MarisaVeryMoe
ddci-core (deprecated)100.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-24BenLippmeier
verifiable-expressions40.0An intermediate language for Hoare logic style verification. (apache, language, library)2019-08-17mdanish, madgen
aws-sdk740.0AWS SDK for Haskell (aws, bsd3, cloud, distributed-computing, library)2014-04-14YusukeNomura
liquid70.0Liquid template language library (bsd3, library, template)2016-12-19james_rth
forml90.0A statically typed, functional programming language (compiler, mit, program)2013-01-14AndrewStein
nri-prelude2192.0A Prelude inspired by the Elm programming language (bsd3, library, unclassified, web)2020-10-15JasperWoudenberg, NoRedInk
seonbi32.0SmartyPants for Korean language (lgpl, library, program, text)2019-10-07hongminhee
lojban110.0Useful utilities for the Lojban language (bsd3, language, library, program)2008-12-18
x-dsp (deprecated)50.0A embedded DSL for manipulating DSP languages in Haskell (deprecated, gpl, library, music, sound)2012-06-17JohnLato
bricks100.0Bricks is a lazy functional language based on Nix. (apache, language, library)2018-02-10chris_martin
husk-scheme1202.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2016-07-10JustinEthier
rebase28880.0A more progressive alternative to the "base" package (library, mit, unclassified)2020-10-09NikitaVolkov
dhall-lex110.0Lexer for the Dhall language (bsd3, dhall, language, lexers, library)2018-03-25
ForSyDe (deprecated in favor of forsyde-shallow, forsyde-deep)80.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, deprecated, hardware, language, library)2010-06-25AlfonsoAcosta, HoseinAttarzadeh, ugeorge
HGamer3D550.0Toolset for the Haskell Game Programmer (game-engine, library)2018-02-13PeterAlthainz
cld280.0Haskell bindings to Google's Compact Language Detector 2 (apache, library, text)2018-03-21dfranke, k_bx
shakespeare-css (deprecated in favor of shakespeare)830.0Stick your haskell variables into css at compile time. (deprecated) (deprecated, library, mit, web, yesod)2014-03-30GregWeber, MichaelSnoyman
dzen-dhall00.0Configure dzen2 bars in Dhall language (bsd3, library, program, unclassified)2020-02-18klntsky
modulo240.0Modular C code generator (ffi, gpl, language, library, program)2014-07-28HansHoglund
nanoAgda80.0A toy dependently-typed language (dependent-types, program)2012-03-20JeanPhilippeBernardy
elm-yesod80.0The Elm language Yesod compatibility module. (bsd3, library, web, yesod)2013-04-23VincentAmbo
gf450.0Grammatical Framework (compiler, library, natural-language-processing, program)2018-12-02KrasimirAngelov, ThomasHallgren
yesod-dsl300.0DSL for generating Yesod subsite to manage an RDBMS; (bsd3, library, program, web, yesod)2016-01-03TeroLaitinen
core-compiler110.0compile your own mini functional language with Core (compiler, language, library, mit, program)2017-08-06aneksteind
dhall-text (deprecated in favor of dhall)610.0Template text using Dhall (bsd3, compiler, deprecated, program)2019-06-07GabrielGonzalez
astview (deprecated)120.0A GTK-based abstract syntax tree viewer for custom languages and parsers (bsd4, deprecated, language, program)2009-11-19SebastianMenge
cryptol790.0Cryptol: The Language of Cryptography (bsd3, language, library, program)2020-09-01AaronTomb, IavorDiatchki
yhccore50.0Yhc's Internal Core language. (bsd3, development, library)2009-01-18DmitryGolubovsky, NeilMitchell
shentong32.0A Haskell implementation of the Shen programming language (bsd3, language, program)2017-04-27mjt128
yices-painless60.0An embedded language for programming the Yices SMT solver (bsd3, formal-methods, library, math, theorem-provers)2011-01-17DonaldStewart
call-haskell-from-anything110.0Call Haskell functions from other languages via serialization and dynamic libraries (library, mit, network, program)2017-08-04NiklasHambuechen
expressions441.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
glider-nlp40.0Natural Language Processing library (bsd3, library, nlp, text)2016-10-03klangner
morpheus-graphql802.25Morpheus GraphQL (graphql, library, mit, web)2020-09-12nalchevanidze
unlambda280.0Unlambda interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
ds-kanren40.0A subset of the miniKanren language (language, library, mit)2014-10-09jozefg
eng-stemmer90.0An English language stemmer (Porter2) (bsd3, library, nlp, program, stemming)2018-01-09ChrisCoffey
pangraph130.0A set of parsers for graph languages and conversions to graph libaries. (bsd3, data-structures, graphs, library, parser)2018-10-05thisiswhereitype
LinguisticsTypes60.0Collection of types for natural language (bsd3, library, natural-language-processing)2017-03-14ChristianHoener
twine30.0very simple template language (bsd3, library, text)2011-02-20JamesSanders
razom-text-util70.0Common text/parsing tools for Razom language packages. (library, public-domain, text)2015-06-18akrasner
kuifje80.0A Quantitative Information Flow aware programming language. (bsd3, language, library)2019-09-10martonbognar
cap60.0Interprets and debug the cap language. (bsd3, language, program)2008-09-28ThomasDavie
ntha110.0A tiny statically typed functional programming language. (bsd3, compiler, language, library, program)2016-08-27zjhsdtc
cryptohash5311.25collection of crypto hashes, fast, pure and practical (bsd3, cryptography, data, library)2016-03-25VincentHanquez
Dao50.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-21RaminHonary
whitespace300.0Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-02HaroldLee
baskell80.0An interpreter for a small functional language (compilers-interpreters, program)2009-01-18GwernBranwen
kbq-gu60.0Rpoku spoken word programming language (language, program)2008-08-14AndriiZvorygin
XML70.0Extensible Markup Language (bsd3, data, library)2018-08-19
ace200.0Attempto Controlled English parser and printer (bsd3, library, linguistics)2014-11-28ChrisDone
c-dsl130.0A higher level DSL on top of language-c (language, library, mit)2014-05-07jozefg
arghwxhaskell50.0An interpreter for the Argh! programming language in wxHaskell. (gpl, language, program)2015-12-03HenkJanVanTuyl
fmark50.0A Friendly Markup language without syntax. (bsd3, program, typography)2012-09-18JoseLopes
HXQ610.0A Compiler from XQuery to Haskell (bsd3, library, xml)2016-01-07LeonidasFegaras
brain-bleep40.0primitive imperative language (bsd3, language, program)2019-05-22AlanHawkins
lsp-test11872.0Functional test framework for LSP servers. (bsd3, library, testing)2020-10-09AlanZimmerman, luke_
moan90.0Language-agnostic analyzer for positional morphosyntactic tags (bsd3, library, natural-language-processing)2014-12-19vjeranc
servant-foreign1152.0Helpers for generating clients for servant APIs in any programming language (bsd3, library, servant, web)2020-09-01AlpMestanogullari, DavidJohnson, SoenkeHahn, phadej, MatthiasFischmann, jkarni, arianvp
chr-lang80.0AST + surface language around chr (bsd3, development, library, program)2018-01-07AtzeDijkstra
skylighting9430.0syntax highlighting library (gpl, library, text)2020-09-14JohnMacFarlane
mustache4582.0A mustache template parser library. (bsd3, development, library, program)2019-12-17justus
omega60.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
hoq100.0A language based on homotopy type theory with an interval type (dependent-types, gpl, program)2014-09-27valis
brainfuck340.0Brainfuck interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
temporal-media240.0data types for temporal media (bsd3, library, media, music)2018-04-21AntonKholomiov
ginger2640.0An implementation of the Jinja2 template language in Haskell (library, mit, program, text)2020-08-28TobiasDammers
mmsyn6ukr6470.0A musical instrument synthesizer or a tool for Ukrainian language listening (Ukrainian, language, library, mit, program, speech-approximation)2020-09-25OleksandrZhabenko
json-autotype2242.5Automatic type declaration for JSON input data (bsd3, data, library, program, tools, type-provider)2020-04-19MichalGajda, PeterSimons
peg70.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
Nomyx (deprecated in favor of nomyx-server)600.0A Nomic game in haskell (bsd3, deprecated, game, program)2015-03-26CorentinDupont
DeepDarkFantasy480.0A DSL for creating neural network. (dsl, library)2017-08-19MarisaVeryMoe
translate40.0Haskell binding to Google's AJAX Language API for Translation and Detection (bsd3, library, text)2010-01-24JinjingWang
noodle70.0the noodle programming language (compilers-interpreters, library, program)2011-12-10JesseRudolph
copilot882.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2019-11-23IvanPerez, LeePike, agoodloe, frankdedden
pads-haskell50.0PADS data description language for Haskell. (language, library, mit)2019-06-10KarlCronburg
libGenI (deprecated in favor of GenI)40.0A natural language generator (specifically, an FB-LTAG surface realiser) (deprecated, library, natural-language-processing)2008-02-19EricKow
ml-w50.0Minimal ML language to to demonstrate the W type infererence algorithm. (language, library, program, public-domain, type-inference)2012-04-09FrancescoMazzoli
kure530.0Combinators for Strategic Programming (bsd3, language, library)2015-09-15AndyGill, NeilSculthorpe
sifflet-lib (deprecated in favor of sifflet)160.0Library of modules shared by sifflet and its tests and its exporters. (bsd3, deprecated, language, library, visual-programming)2014-11-02GregoryWeber
haskell-lsp-client52.0A haskell package to build your own Language Server client. (development, gpl, language, library, program, protocol)2017-12-29JaroReinders
plugins-multistage240.0Dynamic linking for embedded DSLs with staged compilation (bsd3, library, system)2020-03-11AndersPersson
ctpl40.0A programming language for text modification. (gpl, library, program, text)2016-04-05implementation
cimple30.0Simple C-like programming language (data, gpl, library, program)2020-04-10iphydf
bcp4760.0Language tags as specified by BCP 47 (data, data-structures, library, mit)2019-08-26dukerutledge
toml-parser142.0Parser for the TOML configuration language (language, library)2017-05-04EricMertens
domplate40.0A simple templating library using HTML5 as its template language. (bsd3, library, text, web)2015-05-22AntonEkblad
quipper-core (deprecated in favor of quipper-language)60.0An embedded, scalable functional programming language for quantum computing. (bsd3, deprecated, library, unclassified)2017-01-06PeterSelinger
clay1392.25CSS preprocessor as embedded Haskell. (bsd3, graphics, library, web)2019-11-26SebastiaanVisser, turion
duet50.0A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell (bsd3, library, program, unclassified)2019-11-18ChrisDone
json3481.75Support for serialising Haskell to and from JSON (bsd3, library, web)2020-01-14DonaldStewart, IavorDiatchki, SigbjornFinne
rewrite-inspector370.0Inspection of rewriting steps (bsd3, inspection, library, program, rewriting, terminal, user-interface)2019-10-28omelkonian
uxadt60.0Cross-language extensible representation for algebraic data type instances. (data, gpl, library)2014-07-22AndreiLapets
melody20.0A functional scripting language (language, library, mit, program)2014-01-10jozefg
dhall-lsp-server750.0Language Server Protocol (LSP) server for Dhall (library, mit, program, unclassified)2020-10-21GabrielGonzalez, sjakobi
zephyr120.0Zephyr, tree-shaking for the PureScript language (development, library, mpl, program)2020-06-28coot
array1012.0Mutable and immutable arrays (bsd3, data-structures, library)2019-09-01AustinSeipp, HerbertValerioRiedel, IanLynagh
Konf30.0A configuration language and a parser. (library, text)2013-08-27GoktugKayaalp
cjk50.0Data about Chinese, Japanese and Korean characters and languages (bsd3, library, text)2013-02-05MaxBolingbroke
qux50.0Command line binary for working with the Qux language (bsd3, program, qux)2015-10-10hjwylde
haskell-tools-rewrite470.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2019-01-09lazac
Hoed570.0Lightweight algorithmic debugging. (bsd3, debug, library, trace)2018-03-17faddegon
chuchu300.0Behaviour Driven Development like Cucumber for Haskell (library, test)2014-04-06FelipeLessa, MarcoSilva
HHDL50.0Hardware Description Language embedded in Haskell. (bsd3, hardware, library)2011-12-17SergueyZefirov
atuin50.0Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-17EdwinBrady
monad-control11150.0Lift control operations, like exception catching, through monad transformers (bsd3, control, library)2018-02-26BasVanDijk
syntactic630.0Generic representation and manipulation of abstract syntax (bsd3, language, library)2019-04-09AndersPersson, EmilAxelsson
webidl40.0Parser and Pretty Printer for the Web IDL Language (bsd3, language, library, program)2009-06-08DmitryGolubovsky
shakespeare-js (deprecated in favor of shakespeare)850.0Stick your haskell variables into javascript/coffeescript at compile time. (deprecated) (deprecated, library, mit, web, yesod)2014-03-30GregWeber, MichaelSnoyman
while-lang-parser10.0Parser for the While language. (bsd3, language, library)2013-05-25DavidNilsson
noise40.0A friendly language for graphic design (library, mit, program, text)2013-05-21TomBrow
concrete-haskell340.0Library for the Concrete data format. (data, library, program)2017-12-10TomLippincott
EuroIT50.0Library for using euro currency, italian language (bsd3, data, library)2010-07-05PaoloVeronelli
SoccerFun460.0Football simulation framework for teaching functional programming (ai, bsd3, education, game, library, program)2015-12-02JanRochel
haskell-tools-ast570.0Haskell AST for efficient tooling (bsd3, language, library)2019-01-09lazac
pi-forall40.0Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-23sweirich
linearscan-hoopl390.0Makes it easy to use the linearscan register allocator with Hoopl (bsd3, development, library)2015-11-20JohnWiegley
data-extend-generic40.0Extend Haskell data or newtype like in OOP languages (bsd3, data, library)2015-12-16YLiLarry
medea110.0A schema language for JSON. (data, library, mit)2020-08-05koz_ross
zendesk-api60.0Zendesk API for Haskell programming language. (api, library, mit)2014-08-02VictorDenisov
tempus50.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
splitmix20952.0Fast Splittable PRNG (bsd3, library, random, system)2020-10-19phadej
tidal-vis160.0Visual rendering for Tidal patterns and osc messages (gpl, library, program, sound)2019-08-29AlexMcLean
webshow10.0Show programming language printed values in a web UI (bsd3, program, web)2019-04-07ChrisDone
SCRIPTWriter60.0ESCRIPT: a human friendly language for programming Bitcoin scripts (bitcoin, bsd3, language, library, program, script)2018-10-15RickKlomp
SNet30.0Declarative coördination language for streaming networks. (language, lgpl, library)2012-09-24MerijnVerstraaten
free26682.5Monads for free (bsd3, control, library, monads)2020-10-01EdwardKmett, EricMertens, JohnWiegley, ryanglscott
mathista (deprecated)20.0A small programming language for numerical computing (deprecated, language, library, program, public-domain)2015-10-11seiya
hsnock160.0Nock 5K interpreter. (language, library, program, public-domain)2013-11-05mrdomino
split11652.25Combinator library for splitting lists. (bsd3, library, list)2020-02-22BrentYorgey
gentlemark20.0Gentle markup language (bsd3, library, text, web)2012-09-30AndriyPolishchuk
graphbuilder50.0A declarative, monadic graph construction language for small graphs (data, library, mit)2012-10-17JosephAbrahamson
forsyde-deep20.0ForSyDe's Haskell-embedded Domain Specific Language. (bsd3, hardware, language, library)2018-12-26ugeorge
control-dsl181.75An alternative to monads in do-notation (bsd3, control, dsl, effect, general, io, language, library, mutable-state, polymorphism)2018-10-18yangbo
annah50.0Medium-level language that desugars to Morte (bsd3, compiler, library, program)2016-04-24GabrielGonzalez
HGamer3D-Ogre-Binding (deprecated in favor of HGamer3D)330.0Ogre Binding for HGamer3D (deprecated, game-engine, graphics, library)2015-01-03PeterAlthainz
simple-pascal30.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-04IlyaPortnov
base-unicode-symbols3412.5Unicode alternatives for common functions and operators (bsd3, library, unclassified)2019-07-10RoelVanDijk
descript-lang30.0Library, interpreter, and CLI for Descript programming language. (gpl, language, library, program)2018-05-20jakobeha
dove60.0The Dove verification language. (bsd3, formal-methods, language, library)2015-04-28TomHawkins
raml40.0RESTful API Modeling Language (RAML) library for Haskell (library, mit, web)2015-06-05fnoble
modelicaparser20.0A parser for the modelica language (bsd3, language, library)2014-04-03fphh
numerals140.0Convert numbers to number words (bsd3, library, natural-language-processing, numerical, text)2016-12-27RoelVanDijk
HGamer3D-Data (deprecated in favor of HGamer3D)280.0Toolset for the Haskell Game Programmer - Data Definitions (deprecated, game-engine, library)2015-01-03PeterAlthainz
acme-hq9plus60.0An embedded DSL for the HQ9+ programming language (acme, library, public-domain)2012-06-12JoeyAdams
Befunge9340.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-20BrandonSimmons
leveldb-haskell500.0Haskell bindings to LevelDB (bsd3, database, ffi, library)2017-05-08KimAltintop
copilot-c99520.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2020-03-30IvanPerez, LeePike, agoodloe, frankdedden
polar-shader930.0High-level shader compiler framework (apache, game-engine, library)2016-11-21Shockk
symantic-cli120.0Symantics for parsing and documenting a CLI (cli, gpl, library, options, parsing, system)2019-10-28julm
flamethrower270.0A template engine for HTML (html, library, mit, text, web)2014-12-05charmander
servant-swagger2022.5Generate a Swagger/OpenAPI/OAS 2.0 specification for your servant API. (bsd3, library, servant, swagger, web)2020-09-01AlpMestanogullari, DavidJohnson, NickolayKudasov, phadej, MatthiasFischmann, arianvp
angle40.0A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
DSH1040.0Database Supported Haskell (bsd3, database, library, program)2015-06-03GeorgeGiorgidze, JeroenWeijers, AlexUlrich, AlexUlrich2
HSmarty120.0Small template engine (bsd3, library, text)2015-01-07AlexanderThiemann
dao20.0Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind. (gpl, library, program, unclassified)2014-11-21RaminHonary
flashblast910.0Generate language learning flashcards from video. (library, mit, program, unclassified)2020-10-20locallycompact
extensions280.0Parse Haskell Language Extensions (ghc, haskell, library, mpl, parsing, program)2020-05-10shersh, vrom911
wasm42.25WebAssembly Language Toolkit and Interpreter (compilers-interpreters, library, mit, program)2018-06-20irezvov
context-free-art40.0Generate art from context-free grammars (bsd3, graphics, library, program)2019-10-29414owen
http-media5190.0Processing HTTP Content-Type and Accept headers (library, mit, web)2019-04-15TimothyJones
curry-base350.0Functions for manipulating Curry programs (bsd3, language, library)2019-11-22BerndBrassel, BjoernPeemoeller, HolgerSiegel, CurryLanguage
nsis1030.0DSL for producing Windows Installer using NSIS. (bsd3, development, library)2019-05-15NeilMitchell
pinch360.0An alternative implementation of Thrift for Haskell. (bsd3, development, library)2019-09-25BenGamari, abhinav
pec140.0pec embedded compiler (bsd3, language, library, program)2012-03-31BrettLetner
dynamic-plot370.0Interactive diagram windows (gpl, graphics, library)2019-10-15leftaroundabout
imprevu50.0Reactive programming language based on a DSL (bsd3, language, library)2017-03-13CorentinDupont
mprover30.0Simple equational reasoning for a Haskell-ish language (bsd3, program, theorem-provers)2011-12-15AdamProcter
EditTimeReport30.0Query language and report generator for edit logs. (program, utils)2010-01-15BartSpaans
gt-tools220.0Console and GUI interface for Google Translate service (program, tools)2015-01-04MikhailPobolovets, SergeiTrofimovich
ImperativeHaskell252.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
quick-schema40.0Slimmed down json schema language and validator (data, json, library, mit)2015-11-03benweitzman
multivariant30.0Multivariant assignments generation language (bsd3, library, program, test)2017-01-31MZiatdinov
dyckword90.0A library for working with binary Dyck words. (bsd3, library, math)2017-05-01arbelos
quipper-rendering (deprecated in favor of easyrender)30.0An embedded, scalable functional programming language for quantum computing. (bsd3, deprecated, library, unclassified)2017-01-06PeterSelinger
pxsl-tools20.0Parsimonious XML Shorthand Language--to-XML compiler (program, xml)2008-08-25TomMoertel
swish970.0A semantic web toolkit. (lgpl, library, program, semantic-web)2020-06-26DouglasBurke, VasiliGalchin
sentence-jp30.0Easily generating message of japanese natural language (bsd3, japanese-natural-language-processing, library)2016-06-16aiya000
hexpr30.0A framework for symbolic, homoiconic languages. (bsd3, language, library)2014-04-03ZankokuOkuno
gdelt40.0GDELT V2 (Global Database of Events, Language, and Tone) (bsd3, data-mining, library, nlp)2020-03-31ocramz
ixshader40.0A shallow embedding of the OpenGL Shading Language in Haskell. (bsd3, game, library)2017-10-07SchellScivally
heist2002.0An Haskell template system supporting both HTML5 and XML. (bsd3, library, snap, web)2018-10-23DougBeardsley, GregoryCollins
hs-logo120.0Logo interpreter written in Haskell (bsd3, parser, program)2012-05-13DeepakJois
sproxy2270.0Secure HTTP proxy for authenticating users via OAuth2 (databases, mit, program, web)2019-09-06ip1981
zeromq4-haskell522.0Bindings to ZeroMQ 4.x (ffi, library, mit, system)2019-03-03ToralfWittner
th-lift15200.0Derive Template Haskell's Lift class for datatypes. (bsd3, language, library)2020-09-29IanLynagh, KiYungAhn, MathieuBoespflug, ryanglscott
Grempa150.0Embedded grammar DSL and LALR parser generator (bsd3, library, parsing)2013-02-07DavidFox, OlleFredriksson
blaze-svg1032.0SVG combinator library (bsd3, graphics, library)2017-03-13BrentYorgey, DeepakJois
exist-instances40.0Instances for "exist" package (requires more language extensions and dependencies) (bsd3, library, unclassified)2019-11-18
tal20.0An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) (language, library, mit)2016-08-23sweirich
ribbit342.0Type-level Relational DB combinators. (database, library, mit)2020-04-22taphu
accelerate1692.5An embedded language for accelerated array processing (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28ManuelChakravarty, TrevorMcDonell
xleb10.0A simple monadic language for parsing XML structures. (bsd3, library, xml)2017-10-19gdritter
PCLT (deprecated)40.0Extension to Show: templating, catalogizing, languages, parameters, etc. (deprecated, library, text)2009-12-12AndreySisoyev
FpMLv5340.0A binding for the Financial Products Markup Language (v5.3) (financial, library, xml)2012-06-19MalcolmWallace
zeromq-haskell280.0Bindings to ZeroMQ 2.1.x (ffi, library, mit, system)2012-03-08ToralfWittner
formal70.0A statically typed, functional programming language (compiler, mit, program)2012-11-12AndrewStein
kansas-lava160.0Kansas Lava is a hardware simulator and VHDL generator. (bsd3, hardware, language, library)2018-04-06AndyGill, GergoErdi
HsHyperEstraier180.0HyperEstraier binding for Haskell (library, public-domain, text)2011-07-28MasatakeDaimon
lorentz1200.0EDSL for the Michelson Language (agpl, language, library, mit)2020-10-08gromak, serokell
FixedPoint-simple270.0Fixed point, large word, and large int numerical representations (types and common class instances) (bsd3, data, library)2014-06-24ThomasDuBuisson
PastePipe180.0CLI for pasting to lpaste.net (gpl, library, program, utils)2015-04-25MateuszKowalczyk, RoganCreswick
ADPfusion660.0Efficient, high-level dynamic programming. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2019-10-01ChristianHoener
BNFC-meta550.0Deriving Parsers and Quasi-Quoters from BNF Grammars (development, gpl, language, library, parsing, text)2020-02-09JeanPhilippeBernardy, JonasDuregard, ArtemPelenitsyn
abacate50.0Parser for a language similar to Cucumber's Gherkin (language, library)2012-08-11MarcoSilva
symantic90.0Library for Typed Tagless-Final Higher-Order Composable DSL (gpl, language, library)2019-07-12julm
dib170.0A simple, forward build system. (development, library, mit, program)2018-01-10blajzer
chatter592.0A library of simple NLP algorithms. (bsd3, library, natural-language-processing, program)2017-03-29RoganCreswick
shakespeare6652.0A toolkit for making compile-time interpolated templates (library, mit, web, yesod)2020-08-28GregWeber, MichaelSnoyman, psibi
HGamer3D-CEGUI-Binding (deprecated in favor of HGamer3D)160.0A Toolset for the Haskell Game Programmer - CEGUI Bindings (deprecated, game-engine, gui, library)2015-01-03PeterAlthainz
cfipu70.0cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-02ByronJohnson
yesod-purescript110.0PureScript integration for Yesod (library, mit, web, yesod)2015-03-28mp
lambdaBase50.0 (language, library, mit)2015-05-05faleidel
generic-deriving24900.0Generic programming library for generalised deriving. (bsd3, generics, library)2020-09-30JosePedroMagalhaes, ryanglscott
hindley-milner30.0Template for Hindley-Milner based languages (language, library, mit)2016-04-23mbg
copilot-core340.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2019-11-23IvanPerez, LeePike, agoodloe, frankdedden
typedquery90.0Parser for SQL augmented with types (bsd3, database, library)2019-02-01tolysz
formura40.0Formura is a simple language to describe stencil computation. (language, library, mit, program)2015-12-04TakayukiMuranushi
hjpath120.0XPath-like syntax for querying JSON (bsd3, library, text)2010-07-03JaroslavGridin
haskellish1170.0For parsing Haskell-ish languages (bsd3, language, library)2020-10-15dktr0
lol-typing30.0Type inferencer for LOL (λω language) (gpl, language, library)2016-08-23julm
lol-calculus40.0Calculus for LOL (λω language). (gpl, language)2016-08-23julm
FerryCore110.0Ferry Core Components (bsd3, database, library)2011-08-17JeroenWeijers
HGamer3D-SFML-Binding (deprecated in favor of HGamer3D)210.0SFML Binding for HGamer3D (audio, deprecated, game-engine, graphics, library)2015-01-03PeterAlthainz
TCache930.0A Transactional cache with user-defined persistence (bsd3, data, database, library)2017-02-11AlbertoCorona
proto-lens2021.25A lens-based implementation of protocol buffers in Haskell. (bsd3, data, library)2020-06-04JudahJacobson, gnezdo, JinwooLee
compound-types272.0Sum and Product types and such (data, library, mit, type-system, types)2020-04-27NikitaVolkov
HsSyck480.0Fast, lightweight YAML loader and dumper (library, mit, pugs, text)2015-02-27AudreyTang, GwernBranwen, OliverCharles
config-value3232.25Simple, layout-based value language similar to YAML or JSON (language, library, mit)2020-09-26EricMertens
accelerate-cuda (deprecated in favor of accelerate-llvm-ptx)500.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-31ManuelChakravarty, TrevorMcDonell
turtle3752.5Shell programming, Haskell-style (bsd3, library, system)2020-08-15GabrielGonzalez
turingMachine60.0An implementation of Turing Machine and Automaton (gpl, library, math)2018-02-15sanjorgek
lambdacube-compiler800.0LambdaCube 3D is a DSL to program GPUs (bsd3, compiler, graphics, library)2016-11-29CsabaHruska
flp40.0A layout spec language for memory managers implemented in Rust. (compiler, library, mit, program)2020-01-27KarlCronburg
quipper272.25Meta-package for Quipper. (bsd3, library, quipper)2019-12-30PeterSelinger
nicovideo-translator90.0Nico Nico Douga (ニコニコ動画) Comment Translator (agpl, library, program, translation)2017-04-15hongminhee
esqueleto4782.5Type-safe EDSL for SQL queries on persistent backends. (bsd3, database, library)2020-09-17MichaelSnoyman, bitemyapp, parsonsmatt
scc190.0Streaming component combinators (combinators, concurrency, control, library, program)2016-06-19MarioBlazevic
hls-plugin-api470.0Haskell Language Server API for plugin communication (apache, library, web)2020-09-29AlanZimmerman, PepeIborra, wz1000, luke_, jneira
aivika4312.0A multi-method simulation library (bsd3, library, simulation)2018-12-21DavidSorokin
effects180.0Computational Effects (bsd3, control, library, monads)2019-04-13SjoerdVisscher
comptrans130.0Automatically converting ASTs into compositional data types (bsd3, data, generics, library)2015-04-01JamesKoppel
timberc50.0The Timber Compiler. (bsd3, program, unclassified)2009-05-19PeterJonsson
text-regex-replace110.0Easy replacement when using text-icu regexes. (apache, data, library, text)2018-05-25EricRochester
hsaml240.0OASIS Security Assertion Markup Language (SAML) V2.0 (apache, library, network, security, web)2018-04-06DylanSimon
nirum270.0IDL compiler and RPC/distributed object framework for microservices (gpl, language, library, program)2018-08-25hongminhee, nirum
morpheus-graphql-core340.0Morpheus GraphQL Core (graphql, library, mit, web)2020-09-12nalchevanidze
antimirov20.0Define the language containment (=subtyping) relation on regulare expressions. (language, library, math, program)2009-01-30RickKaudewitz
RefSerialize410.0Write to and read from ByteStrings maintaining internal memory references (bsd3, data, database, library, parsing)2017-02-06AlbertoCorona
elm-core-sources50.0Source files for the Elm runtime and standard libraries (bsd3, compiler, language, library)2014-12-11jeremondi
semiring60.0Semirings, ring-like structures used for dynamic programming applications (bsd3, math, natural-language-processing)2010-03-08SashaRush
speculation422.0A framework for safe, programmable, speculative parallelism (bsd3, concurrency, library)2016-01-17EdwardKmett
Euterpea622.5Library for computer music research and education (bsd3, library, music, sound)2019-06-14dwincort, DonyaQuick
CLASE120.0Cursor Library for A Structured Editor (bsd3, data, library)2009-02-11TristanAllwood
copilot-sbv250.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
omnifmt170.0A pretty-printer wrapper to faciliate ease of formatting during development. (bsd3, development, library, program)2015-12-09hjwylde
wordpass270.0Dictionary-based password generator (bsd3, cryptography, library, password, program, system, tools)2018-07-30MichalGajda
cil120.0An interface to CIL. (bsd3, language, library)2010-11-10TomHawkins
text-register-machine50.0A Haskell implementation of the 1# Text Register Machine (bsd3, language, library)2012-02-09AdamFoltzer
morpheus-graphql-client212.0Morpheus GraphQL Client (client, graphql, library, mit, web)2020-09-12nalchevanidze
Paraiso300.0a code generator for partial differential equations solvers. (bsd3, language, library)2015-12-03TakayukiMuranushi
record-gl30.0Utilities for working with OpenGL's GLSL shading language and Nikita Volkov's "Record"s. (bsd3, graphics, library)2015-03-23rabipelais
celtchar (deprecated)130.0A tool to build a novel (deprecated, library, mit, program, text)2018-03-03lethom
ascetic70.0Generic markup builder. (library, mit, text)2014-07-23AndreiLapets
gimlh90.0Haskell parser for GIML (language, library, mit)2015-04-16gazay
zeromq3-haskell220.0Bindings to ZeroMQ 3.x (ffi, library, mit, system)2014-02-12ToralfWittner
fst120.0Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-29GwernBranwen, JohnCamilleri, ThomasHallgren
concatenative470.0A library for postfix control flow. (bsd3, control, library)2010-07-02SamAnklesaria
HGamer3D-Graphics3D (deprecated in favor of HGamer3D)130.0Toolset for the Haskell Game Programmer - 3D Graphics Functionality (deprecated, game-engine, library)2015-01-03PeterAlthainz
dstring240.0Difference strings (bsd3, data, library)2012-09-23BasVanDijk
raw-strings-qq2382.0Raw string literals for Haskell. (bsd3, library, text)2015-12-13MikhailGlushenkov
sugarhaskell30.0Library-based syntactic extensibility for Haskell (code-generation, language, program, source-tools)2012-10-05SebastianErdweg
rsagl100.0The RogueStar Animation and Graphics Library (bsd3, graphics, library)2011-04-08ChristopherLaneHinson, GwernBranwen
compdata820.0Compositional Data Types (bsd3, generics, library)2018-09-24PatrickBahr
shakespeare-text (deprecated in favor of shakespeare)460.0Interpolation with quasi-quotation: put variables strings (deprecated) (deprecated, library, mit, web, yesod)2014-03-30GregWeber, MichaelSnoyman
tempi50.0For representing musical tempi (bsd3, language, library)2020-04-27dktr0
haskintex420.0Haskell Evaluation inside of LaTeX code. (bsd3, latex, library, program)2017-08-05DanielDiaz
java-character90.0Functions to simulate Java's Character class. (bsd3, development, library)2012-10-30TonyMorris
clafer440.0Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. (library, mit, model, program)2017-03-13mantkiew
concrete-haskell-autogen90.0Automatically generated Thrift definitions for the Concrete data format. (data, library)2017-09-03TomLippincott
texmath11432.0Conversion between formats used to represent mathematics. (gpl, library, text)2020-09-19JohnMacFarlane
bond640.0Bond schema compiler and code generator (code-generation, compiler, language, library, mit, program)2020-05-27sapek, chwarr, eduardo
HGamer3D-SDL2-Binding (deprecated in favor of HGamer3D)140.0SDL2 Binding for HGamer3D (deprecated, game-engine, library)2015-01-03PeterAlthainz
themplate70.0Project templating tool (application, bsd3, console, development, program, template)2015-07-08BennoFuenfstueck
haskelzinc200.0CP in Haskell through MiniZinc (bsd3, interfaces, library)2018-03-06klara_mar
copilot-cbmc220.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
HGamer3D-Enet-Binding (deprecated in favor of HGamer3D)140.0Enet Binding for HGamer3D (deprecated, game-engine, library, network)2015-01-03PeterAlthainz
human-text110.0A lawless typeclass for converting values to human-friendly text. (apache, library, text)2018-02-10chris_martin
effect-handlers220.0A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers. (control, library, mit)2016-04-28edofic, blambda
protobuf430.0Google Protocol Buffers via GHC.Generics (bsd3, data, library)2020-02-15NathanHowell, YorickLaupa
HFitUI60.0The library for generating a graphical interface on the web (bsd3, library, program, web)2017-06-05QSpider2017
superdoc330.0Additional documentation markup and Unicode support (bsd3, distribution, library)2018-11-26PeterSelinger
QIO130.0The Quantum IO Monad is a library for defining quantum computations in Haskell (bsd3, library, quantum)2016-11-13AlexanderGreen
X220.0A light-weight XML library (library, text, xml)2019-11-18HerbertValerioRiedel
pappy80.0Packrat parsing; linear-time parsers for grammars in TDPL. (bsd3, program, text)2012-10-21ChrisDone
prelude-safeenum130.0A redefinition of the Prelude's Enum class in order to render it safe. (bsd3, library, prelude)2015-05-30WrenThornton
HGamer3D-Wire (deprecated in favor of HGamer3D)100.0Wire Functionality for HGamer3D (deprecated, game-engine, library)2014-04-01PeterAlthainz
CarneadesDSL150.0An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-01BasVanGijzel
lss (deprecated)30.0Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components. (bsd3, deprecated, language, library)2014-09-04DanielPatterson
HGamer3D-Network (deprecated in favor of HGamer3D)90.0Networking Functionality for HGamer3D (deprecated, game-engine, library)2015-01-03PeterAlthainz
TinyLaunchbury80.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-20DavidSankel
ipopt-hs160.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
polh-lexicon100.0A library for manipulating the historical dictionary of Polish (deprecated) (bsd3, library, natural-language-processing, program)2013-05-08JakubWaszczuk
accentuateus130.0A Haskell implementation of the Accentuate.us API. (bsd3, library, web)2011-06-03MichaelSchade
graphviz3092.25Bindings to Graphviz for graph visualisation. (bsd3, graphics, graphs, library)2020-08-03IvanMiljenovic, MatthewSackman
AC-Vector-Fancy160.0Fancy type-system stuff for AC-Vector (bsd3, data, graphics, library, math, numerical)2010-08-15AndrewCoppin
parameterized-utils3822.0Classes and data structures for working with data-kind indexed types (bsd3, data-structures, dependent-types, library)2020-07-30KevinQuick, RobertDockins
tersmu50.0A semantic parser for lojban (gpl, language, library, program)2018-04-29mbays
HGamer3D-Audio (deprecated in favor of HGamer3D)90.0Toolset for the Haskell Game Programmer - Audio Functionality (deprecated, game-engine, library)2015-01-03PeterAlthainz
ddc-core-flow (deprecated)120.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
wheb-strapped30.0Strapped templates for Wheb (bsd3, library, web)2014-09-14hansonkd
cantor120.0Application for analysis of java source code (application, bsd3, program, source-code-analysis)2014-12-25klangner
ghcjs-codemirror140.0Installs CodeMirror JavaScript files (library, mit, web)2018-07-01HamishMackenzie
haquil80.0A Haskell implementation of the Quil instruction set for quantum computing. (language, library, mit)2018-03-05BrianBush
latex450.0Parse, format and process LaTeX files (bsd3, library, text)2018-08-31HenningThielemann
ottparse-pretty190.0Pretty-printer for Ott parse trees (bsd3, program, text)2016-05-21BrentYorgey
configurator1702.0Configuration management (bsd3, configuration, data, library)2014-07-02BryanOSullivan
generic-trie262.0A map, where the keys may be complex structured data. (bsd3, data, library)2018-04-10EricMertens
HGamer3D-GUI (deprecated in favor of HGamer3D-Graphics3D)80.0GUI Functionality for HGamer3D (deprecated, game-engine, library)2014-08-11PeterAlthainz
hybrid50.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-04GwernBranwen
BerkeleyDBXML300.0Berkeley DB XML binding (bsd3, database, library)2011-09-06StephenBlackheath
bibdb130.0A database based bibliography manager for BibTeX (mit, program, text)2016-11-18cacay
autoproc100.0EDSL for Procmail scripts (bsd3, library, program, system)2016-08-13GwernBranwen, JasonDagit
cryptohash-md55690.0Fast, pure and practical MD5 implementation (bsd3, cryptography, data, library)2016-06-28HerbertValerioRiedel
leveldb-haskell-fork200.0Haskell bindings to LevelDB (bsd3, database, ffi, library)2014-12-22ifesdjeen
IndentParser (deprecated)60.0Combinators for parsing indentation based syntatic structures (deprecated, library, parsing)2007-10-19PiyushKurur
HGamer3D-InputSystem (deprecated in favor of HGamer3D)90.0Joystick, Mouse and Keyboard Functionality for HGamer3D (deprecated, game-engine, library)2015-01-03PeterAlthainz
Modulo60.0Modular arithmetic via Numeric-Prelude (gpl, library, math)2013-08-08NikolayMurzin
mini-egison530.0Template Haskell Implementation of Egison Pattern Matching (data, library, mit, pattern, program)2020-03-04SatoshiEgi, momohatt
txt-sushi90.0The SQL link in your *NIX chain (bsd3, console, database, library, program)2013-02-28KeithSheppard
roundtrip900.0Bidirectional (de-)serialization (bsd3, library, text)2020-05-05StefanWehr
symantic-base40.0Basic symantics for writing Embedded Domain-Specific Languages (EDSL). (data-structures, gpl, library)2020-08-18julm
smt-lib60.0Parsing and printing SMT-LIB. (bsd3, language, library)2010-07-19TomHawkins
sodium390.0Sodium Reactive Programming (FRP) System (bsd3, frp, library)2014-12-30StephenBlackheath
cryptohash-sha2563372.25Fast, pure and practical SHA-256 implementation (bsd3, cryptography, data, library)2017-11-13AustinSeipp, HerbertValerioRiedel
glambda122.0A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-27RichardEisenberg
safecopy-migrate (deprecated)50.0Making SafeCopy migrations easier (data, deprecated, library, public-domain)2018-08-19Artyom
utf8-prelude (deprecated)70.0Variants of Prelude and System.IO with UTF8 text I/O operations (bsd3, deprecated, library, program, system)2008-11-11PeterDivianszky
hprotoc-fork40.0Parse Google Protocol Buffer specifications (bsd3, library, program, text)2014-08-28StefanWehr
hpaste110.0Haskell paste web site. (program, web)2013-07-02ChrisDone, DonaldStewart
datafix70.0Fixing data-flow problems (compiler, library, program)2020-03-28sgraf812
arduino-copilot342.0Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2020-06-14JoeyHess
references360.0Selectors for reading and updating data. (bsd3, control, library)2017-11-28lazac
YampaSynth160.0Software synthesizer (bsd3, music, sound)2014-05-30GeorgeGiorgidze, IvanPerez, keera_studios_ci
WashNGo60.0WASH is a family of EDSLs for programming Web applications in Haskell. (bsd3, library, program, web)2010-05-08MarcWeber
applicative-numbers360.0Applicative-based numeric instances (bsd3, data, library, numerical)2014-04-09ConalElliott
narc110.0Query SQL databases using Nested Relational Calculus embedded in Haskell. (bsd3, database, library)2011-08-09EzraCooper
lhae (deprecated)60.0Simple spreadsheet program (data, deprecated, program)2010-09-28AlexanderBau
rail-compiler-editor40.0Compiler and editor for the esolang rail. (language, library, mit, program)2014-07-17bubuiic
Hungarian-Munkres130.0A Linear Sum Assignment Problem (LSAP) solver (algorithms, gpl, library)2014-10-08kaizhang
aivika-gpss170.0GPSS-like DSL for Aivika (bsd3, library, simulation)2018-03-17DavidSorokin
needle80.0ASCII-fied arrow notation (control, library, mit)2014-09-28ScrambledEggs
terrahs90.0A Haskell GIS Programming Environment (gis-programs, library)2013-07-07SergioCosta
fullstop140.0Simple sentence segmenter (bsd3, library, natural-language-processing, program)2014-08-21EricKow, RoganCreswick
citeproc-hs-pandoc-filter30.0A Pandoc filter for processing bibliographic references with citeproc-hs (gpl, program, text)2015-03-17AndreaRossato
cryptohash-sha15550.0Fast, pure and practical SHA-1 implementation (bsd3, cryptography, data, library)2016-06-28HerbertValerioRiedel
HGamer3D-WinEvent (deprecated in favor of HGamer3D-Graphics3D)70.0Windowing and Event Functionality for HGamer3D (deprecated, game-engine, library)2014-08-11PeterAlthainz
funcons-values120.0Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2019-03-02ltvanbinsbergen
minilight-lua20.0A binding library of minilight for Lua langauge. (graphics, library, mit, program)2020-05-16myuon
hashabler230.0Principled, portable & extensible hashing of data and types, including an implementation of the FNV-1a and SipHash algorithms. (bsd3, data, library)2016-11-20BrandonSimmons
netlist60.0Netlist AST (bsd3, language, library)2011-10-28AndyGill, GergoErdi, PhilipWeaver
nat90.0Lazy binary natural numbers (bsd3, data, library, math)2012-08-13JanChristiansen
transf180.0Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-19HansHoglund
egison-quote80.0A quasi quotes for using Egison expression in Haskell code (language, library, mit)2012-09-07TakuyaKuwahara
musicxml80.0MusicXML format encoded as Haskell type and functions of reading and writting. (bsd3, library, music, text, xml)2009-08-04SamuelSilva
piet70.0A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-20StephanFriedrichs
prelude-edsl190.0An EDSL-motivated subset of the Prelude (bsd3, language, library)2016-04-20EmilAxelsson
ghc-source-gen2270.0Constructs Haskell syntax trees for the GHC API. (bsd3, development, library)2020-05-28JudahJacobson, JinwooLee
PandocAgda80.0Pandoc support for literate Agda (bsd3, dependent-types, library, program)2013-03-11PeterDivianszky
gym-http-api81.5REST client to the gym-http-api project (learning-environments, library, mit, program, web)2018-06-12stites
cabal2ghci70.0A tool to generate .ghci file from .cabal (bsd3, development, program)2013-08-22HiromiIshii
bdd50.0Behavior-Driven Development DSL (library, mit, testing)2014-12-20irekjozwiak
funcons-tools170.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2019-03-02ltvanbinsbergen
flite80.0f-lite compiler, interpreter and libraries (bsd3, compiler, library)2009-11-17JasonReich
elm-compiler (deprecated)82.0Values to help with elm-package, elm-make, and elm-lang.org. (bsd3, compiler, deprecated, language, library, program)2015-04-20EvanCzaplicki
mcm82.0Machine Configuration Manager (gpl, language, program, system, text)2018-11-03AnthonyDoggett
Sit100.0Prototypical type checker for Type Theory with Sized Natural Numbers (dependent-types, program)2017-05-16AndreasAbel
neat20.0A Fast Retargetable Template Engine (library, mit, program, text)2014-02-08ajg
hmumps70.0Interpreter for the MUMPS langugae (development, program)2010-05-12AntoineLatter
stemmer-german71.5Extract the stem of a German inflected word form. (library, mit, nlp)2017-09-30implementation
hpasteit210.0A command-line client for hpaste.org (bsd3, program, web)2013-03-11PatrickPalka
why320.0Haskell support for the Why3 input format. (languages, library, mit)2015-08-27EricMertens
io-reactive50.0An API for generating TIMBER style reactive objects. (bsd3, control, library, program, reactivity)2008-09-23AndyGill
funcons-simple100.0A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-14ltvanbinsbergen
rws30.0Packet Generation (bsd3, network, program)2013-06-10KarlKnutsson
gll470.0GLL parser with simple combinator interface (bsd3, compilers, library)2020-05-03ltvanbinsbergen
BNFC3152.0A compiler front-end generator. (development, gpl, library, program)2020-10-10AndreasAbel, GregoireDetrez, MarkusForsberg, ThomasHallgren
binembed90.0Embed data into object files. (bsd3, distribution, library, program)2015-04-08ClaudeHeilandAllen
declarative290.0DIY Markov Chains. (library, math, mit)2020-05-22JaredTobin
dhall-nix830.0Dhall to Nix compiler (bsd3, compiler)2020-10-21GabrielGonzalez, sjakobi
dynamic-object120.0Object-oriented programming with duck typing and singleton classes. (bsd3, data, library)2013-01-15TakayukiMuranushi
easyrender360.0User-friendly creation of EPS, PostScript, and PDF files (gpl, graphics, library)2018-11-25PeterSelinger
heterocephalus5000.0A type-safe template engine for working with front end development tools (library, mit, web)2020-10-11arowM
bound6862.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2020-10-01EdwardKmett, EricMertens, ryanglscott
Hydrogen40.0The library for generating a WebGL scene for the web (bsd3, library, program, web)2017-06-14QSpider2017
estimator120.0State-space estimation algorithms such as Kalman Filters (bsd3, library, math, numerical, statistics)2016-07-19AdamFoltzer, JameySharp
herf-time140.0haskell time manipulation in a 'kerf like' style. (bsd3, kerf, library, time)2020-04-28scottmurphy09
octopus80.0Lisp with more dynamism, more power, more simplicity. (gpl, language, library, program)2014-04-07ZankokuOkuno
haskell-tools-ast-gen60.0Facilities for generating new parts of the Haskell-Tools AST (bsd3, language, library)2016-10-05lazac
scientific-notation20.0Scientific notation intended for tokenization (bsd3, data, library)2020-05-01andrewthad
treersec40.0Structure Editing Combinators (bsd2, gui, library)2015-11-13JasonPriestley
overloaded-records152.0Overloaded Records based on current GHC proposal. (bsd3, data, library)2016-08-17PeterTrsko
estimators60.0Tool for managing probability estimation (bsd3, library, natural-language-processing)2010-03-08SashaRush
egison-pattern-src500.0Manipulating Egison patterns: abstract syntax, parser, and pretty-printer (bsd3, language, library, parser, pretty-printer)2020-08-04SatoshiEgi, coord_e
Ganymede70.0An Io interpreter in Haskell. (bsd3, language, program)2011-04-18WaltBaety
snowball60.0Bindings to the Snowball library. (bsd3, library, natural-language-processing, text)2012-12-22DagOdenhall
haskell-brainfuck40.0BrainFuck interpreter (language, library, mit, program)2014-08-08paraseba
sessiontypes90.0Session types library (control, gpl, library, program)2018-01-13ferdinandvw
Feval62.0Evaluation using F-Algebras (language, mit, program)2015-09-07burz
bamboo-plugin-highlight40.0A highlight middleware (library, web)2009-07-05JinjingWang
yiyd40.0 (cli, gpl, program)2019-04-07vonfry
ho-rewriting80.0Generic rewrite rules with safe treatment of variables and binders (bsd3, language, library)2018-08-11EmilAxelsson
irc-fun-bot160.0Library for writing fun IRC bots. (irc, library, network, public-domain)2016-01-27akrasner
funbot150.0IRC bot for fun, learning, creativity and collaboration. (irc, network, program, public-domain)2016-01-27akrasner
quantum-arrow112.0An embedding of quantum computation as a Haskell arrow (control, library)2009-01-09LukePalmer
GenussFold60.0MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-16ChristianHoener
TableAlgebra90.0Ferry Table Algebra (bsd3, database, library)2011-08-17JeroenWeijers
target90.0Generate test-suites from refinement types. (library, mit, program, testing)2015-09-01EricSeidel
signals30.0Synchronous signal processing for DSLs. (bsd3, language, library)2015-10-31mararon
lvmlib270.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-02JurriaanHage
3d-graphics-examples211.75Examples of 3D graphics programming with OpenGL (bsd3, fractals, graphics, program)2016-07-22WolfgangJeltsch
quipper-all110.0Meta-package for Quipper. (bsd3, library, quipper)2019-12-30PeterSelinger
swf40.0A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-03AudreyTang, JeremyShaw
hist-pl-transliter40.0A simple EDSL for transliteration rules (bsd3, library, natural-language-processing)2013-06-21JakubWaszczuk
helium220.0The Helium Compiler. (compiler, library, program)2015-04-14AlejandroSerrano, JurriaanHage
ascii-holidays62.5ASCII animations for the holidays! (gpl, graphics, program)2019-12-24TomMurphy
chalkboard120.0Combinators for building and processing 2D images. (bsd3, graphics, library)2009-12-02AndyGill
processing192.0Web graphic applications with processing.js. (bsd3, graphics, library)2016-06-01DanielDiaz
comfort-array682.0Arrays where the index type is a function of the shape type (bsd3, data-structures, library)2019-05-23HenningThielemann
wheb-mongo50.0MongoDB plugin for Wheb (bsd3, database, library)2014-08-27hansonkd
data-structure-inferrer50.0Program that infers the fastest data structure available for your program (development, mit, program)2011-12-27AleksanderBalicki
khph20.0Command-line file tagging and organization tool (agpl, program, system)2016-06-11khumba
hydrogen50.0An alternate Prelude (gpl, library, prelude)2015-04-05KarlVoelker
quipper-libraries140.0The standard libraries for Quipper. (bsd3, library, quipper)2019-12-30PeterSelinger
mac112.0Static Mandatory Access Control in Haskell (bsd3, library, security)2016-07-05AlejandroRusso
open-union220.0Extensible, type-safe unions. (data, library, mit, program)2018-04-20BenFoppa
processing-for-haskell120.0Computer graphics for kids and artists with Processing implemented in Haskell. (bsd3, graphics, library)2016-07-06AntonKholomiov
haskarrow20.0A dialect of haskell with order of execution based on dependency resolution (gpl, language, program)2012-08-04TimothyHobbs
softfloat-hs20.0Haskell bindings for SoftFloat (bsd3, library, math)2018-08-21benselfridge
amazonka-iam-policy140.0Amazon IAM Policy Document DSL and Combinators. (aws, cloud, library, mpl, network)2018-08-14BrendanHay
rethinkdb-wereHamster (deprecated)30.0RethinkDB driver for Haskell (database, deprecated, library)2014-06-25wereHamster
TestExplode30.0Generates testcases from program-snippets (lgpl, library, testing)2015-06-10hjg
pcf70.0A one file compiler for PCF (compiler, library, mit)2015-04-03jozefg
happy-dot30.0Parser for dot made with happy. (gpl, language, library)2019-12-21mgmillani
wheb-redis30.0Redis connection for Wheb (bsd3, library, web)2014-08-27hansonkd
NGrams70.0Simple application for calculating n-grams using Google. (bsd3, natural-language-processing, program)2008-02-14JustinBailey
pesca80.0Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-20GwernBranwen, dpeteler
record-dot-preprocessor2560.0Preprocessor to allow record.field syntax (bsd3, development, program)2020-10-02NeilMitchell
MicrosoftTranslator50.0Interface for Microsoft Translator (bsd3, language, library)2015-08-23netogallo
Yampa-core70.0Library for programming hybrid systems. (bsd3, frp, library, reactivity)2015-06-25NikolayOrlyuk
arrowp90.0preprocessor translating arrow notation into Haskell 98 (development, program)2013-04-03RossPaterson
order-statistic-tree100.0Order statistic trees based on weight-balanced trees (bsd3, data, library)2018-11-02MZiatdinov
ADPfusionForest50.0Dynamic programming on tree and forest structures (bioinformatics, bsd3, formal-languages, library)2017-11-23ChristianHoener
probable82.0Easy and reasonably efficient probabilistic programming and random generation (bsd3, library, math, statistics)2018-02-11AlpMestanogullari
quipper-utils150.0Utility libraries for Quipper. (bsd3, library, quipper)2019-12-30PeterSelinger
minizinc-process40.0A set of helpers to call minizinc models. (apache, library, optimization)2020-04-18LucasDiCioccio
free-vector-spaces150.0Instantiate the classes from the vector-space package with types from linear (bsd3, library, math)2018-03-05leftaroundabout
ministg90.0an interpreter for an operational semantics for the STG machine. (bsd3, language, program)2012-04-10BerniePope
claferIG320.0claferIG is an interactive tool that generates instances of Clafer models. (library, mit, model, program)2017-03-13mantkiew
hCM70.0Conceptual modelling support for Haskell (data-structures, development, library, mit, model, program)2017-05-08MarekSuchanek
nomyx-server60.0A Nomic game in haskell (bsd3, game, program)2017-03-17CorentinDupont
TypeIlluminator40.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-19GwernBranwen
scholdoc-texmath20.0Scholdoc fork of texmath (library, text)2015-02-04timtylin
graphql362.25Haskell GraphQL implementation (bsd3, language, library)2020-08-29jdnavarro, belka
netcore20.0The NetCore compiler and runtime system for OpenFlow networks. (bsd3, library, network)2012-08-10ArjunGuha
optional50.0Using type-classes for optional function arguments (bsd3, development, library)2014-01-02TonyMorris
opml150.0Representing and handling OPML subscription information. (bsd3, library, text, web)2008-07-18DonaldStewart
tensor-safe42.0Create valid deep neural network architectures (ai, bsd3, dependent-types, language, library, program)2019-05-03leopiney
type-level-natural-number140.0Simple type level natural numbers (bsd3, data, library, type-system)2014-03-30GregoryCrosswhite
gochan70.0Go-style channels (concurrency, library, mit, program)2017-03-21cstrahan
sockets10.0High-level network sockets (bsd3, library, network)2019-07-21andrewthad
Coadjute (deprecated)110.0A generic build tool (bsd3, deprecated, development, library)2011-03-17MattiNiemenmaa
shivers-cfg40.0Implementation of Shivers' Control-Flow Analysis (bsd3, language, library)2015-09-08JoachimBreitner
sparsebit70.0Sparse bitmaps for pattern match coverage (bsd3, data-structures, development, library)2009-03-10KiYungAhn
effects-parser40.0Parser Effect for the Control.Effects Library (bsd3, control, library, monads)2013-09-15JesseMcDonald
HGamer3D-Bullet-Binding (deprecated)60.0Windows Game Engine for the Haskell Programmer - Bullet Bindings (deprecated, game-engine, library, physics)2013-03-18PeterAlthainz
alga (deprecated)120.0Algorithmic automation for various DAWs (deprecated, gpl, language, library, program)2016-09-10mrkkrp
katt100.0Client for the Kattis judge system. (bsd3, library, program, utils)2014-06-13DavidNilsson
ctkl40.0packaging of Manuel Chakravarty's CTK Light for Hackage (bsd3, library, text)2014-10-04MarkWotton
unicoder60.0Make writing in unicode easy. (bsd3, library, program, text)2017-06-10ZankokuOkuno
Wheb120.0The frictionless WAI Framework (bsd3, library, web)2014-09-14hansonkd
rake30.0Rapid Automatic Keyword Extraction (RAKE) (keyword-extractor, library, natural-language-processing, nlp, rake)2015-07-17TobiasSchoofs
conjure42.0A BitTorrent client (bsd3, library, network, program)2008-03-09GwernBranwen
worldturtle60.0Turtle graphics. (bsd3, library, teaching)2020-05-31FortOyer
HGamer3D-Common (deprecated in favor of HGamer3D)40.0Toolset for the Haskell Game Programmer - Game Engine and Utilities (deprecated, game-engine, library)2015-01-03PeterAlthainz
SableCC2Hs70.0Generate a parser (in Haskell) with the SableCC parser generator. (bsd3, library, parsing, program)2012-06-13MarcFontaine
cascading (deprecated in favor of clay)40.0DSL for HTML CSS (Cascading Style Sheets) (bsd3, deprecated, library, web)2013-06-20ErtugrulSoeylemez, esz
uu-tc70.0Haskell 98 parser combinators for INFOB3TC at Utrecht University (bsd3, library, parsing, text)2015-11-11TrevorMcDonell, joaopizani
mutable-lens30.0Interoperate mutable references with regular lens (apache, data, generics, lenses, library)2020-05-29infinity0
lazy50.0Explicit laziness for Haskell (control, library, mit)2018-04-28NikitaVolkov
configurator-ng210.0The next generation of configuration management (bsd3, configuration, data, library)2016-10-31LeonSmith
TransformeR (deprecated)40.0eDSL in R for Safe Variable Transformarion (bsd3, deprecated, dsl, library, program, security, statistics)2016-08-04remy
applicative-splice50.0Write applicative programs in direct style (generalizes idiom brackets). (control, library, public-domain)2016-04-17AkioTakano
Referees40.0A utility for computing distributions of material to review among reviewers. (gpl, library, program, utils)2014-11-11PabloCouto
hdirect40.0An IDL compiler for Haskell (bsd3, development, library, program)2010-02-14DonaldStewart
tex2txt10.0LaTeX to plain-text conversion (gpl, library, program, text)2015-03-24vdaudaravicius
keera-hails-i18n120.0Rapid Gtk Application Development - I18N (bsd3, development, library)2020-08-13IvanPerez, keera_studios_ci
ige51.25An keyboard-driven interactive graph editor (editing, gpl, program)2017-09-11olynch
Snusmumrik (deprecated)30.0E-library directory based on FUSE virtual file system. (bsd3, deprecated, program, text)2010-03-20SergeyAstanin
YFrob50.0Yampa-based library for programming robots (bsd3, frp, library, reactivity, yampa)2010-10-12TristanSkudlik
global110.0Library enabling unique top-level declarations (bsd3, data, language, library, system)2014-12-02ByronJohnson
stm-linkedlist40.0Mutable, doubly linked lists for STM (bsd3, data, library)2011-10-20JoeyAdams
natural-arithmetic350.0Arithmetic of natural numbers (bsd3, library, math)2020-01-20andrewthad
servant-openapi3710.0Generate a Swagger/OpenAPI/OAS 3.0 specification for your servant API. (bsd3, library, servant, swagger, web)2020-10-09maksbotan
pugs-HsSyck20.0Fast, lightweight YAML loader and dumper (library, text)2008-02-20GwernBranwen
cryptohash-sha512160.0Fast, pure and practical SHA-512 implementation (bsd3, cryptography, data, library)2016-10-23HerbertValerioRiedel
chalkboard-viewer60.0OpenGL based viewer for chalkboard rendered images. (bsd3, graphics, library)2009-04-24AndyGill
perdure120.0Robust persistence for acyclic immutable data (database, library, program)2012-09-26PatrickPremont
plugins641.5Dynamic linking for Haskell and C objects (bsd3, library, system)2020-09-13DonaldStewart, GwernBranwen, IsaacJones, JeremyShaw, SpencerJanssen
numerals-base (deprecated in favor of numerals)30.0Convert numbers to number words (bsd3, deprecated, library, natural-language-processing, numerical, text)2011-09-15RoelVanDijk
time-interval90.0Use a time unit class, but hold a concrete time type. (data, library, public-domain)2016-05-30akrasner
myxine-client20.0A Haskell client for the Myxine GUI server (gui, library, mit)2020-08-17kwf
rivers50.0Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-04DrewDay
lsp260.0Haskell library for the Microsoft Language Server Protocol (development, library, mit)2020-10-15AlanZimmerman, wz1000, luke_
lsp-types270.0Haskell library for the Microsoft Language Server Protocol, data types (development, library, mit)2020-10-15AlanZimmerman, wz1000, luke_
safe-plugins20.0A small wrapper over hs-plugins to allow loading safe plugins (bsd3, library, system)2010-12-02IlyaPortnov
lvmrun50.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-02JurriaanHage
antlrc60.0Haskell binding to the ANTLR parser generator C runtime library. (bsd3, library, parsing, program)2011-01-20MarkWright
symantic-http30.0Symantic combinators for deriving clients or a server from an HTTP API (gpl, library, protocol)2019-04-12julm
monad-wrap80.0Wrap functions such as catch around different monads (bsd3, control, library)2013-04-27DavidMazieres
PCLT-DB (deprecated)60.0An addon to PCLT package: enchance PCLT catalog with PostgreSQL powers. (database, deprecated, library)2009-12-12AndreySisoyev
jail40.0Jailed IO monad. (bsd3, library, security, system)2009-08-27SebastiaanVisser
Quelea52.0Programming with Eventual Consistency over Cassandra. (bsd3, experimental, library)2015-12-13gowtham
tasty-bdd30.0BDD tests language and tasty provider (bsd3, library, test)2020-08-05PaoloVeronelli
oplang260.0Compiler for OpLang, an esoteric programming language (compiler, mit, program)2020-10-10aionescu
prolog280.0A Prolog interpreter written in Haskell. (language, library, public-domain)2020-08-25DanielSeidel, JanisVoigtlaender, MarcelFourne, MatthiasBartsch
funpat30.0A generalization of pattern matching (bsd3, language, library)2011-07-01GergelyDevai
KyotoCabinet40.0Kyoto Cabinet DB bindings (bsd3, database, library)2011-03-16WarrenHarris
fields50.0First-class record field combinators with infix record field syntax. (bsd3, data, library)2010-08-11JussiKnuuttila
nvim-hs672.5Haskell plugin backend for neovim (apache, editor, library)2020-07-07saep
symantic-xml20.0Library for reading, validating and writing XML. (data-structures, gpl, library, text, xml)2020-08-17julm
pgf280.0Bindings to the C version of the PGF runtime (language, lgpl, library)2020-09-18JohnCamilleri
static00.0Type-safe and interoperable static values and closures (closure, control, gpl, library, static)2020-05-29infinity0
accelerate-llvm-ptx392.0Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm480.0Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-native380.0Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell

Alternatively, if you are looking for a particular function then try Hayoo or Hoogle