Language

@hackage/smt-lib

Parsing and printing SMT-LIB.

@hackage/sugar-scheme

Sugar with Scheme

@hackage/phonetic-languages-simplified-properties-array

Some properties of the data related to rhythmicity.

@hackage/hswip

embedding prolog in haskell

@hackage/prolog-graph

A command line tool to visualize query resolution in Prolog.

@hackage/clr-inline

Quasiquoters for inline C# and F#

@hackage/AspectAG

First-class Attribute Grammars implemented using type-level programming.

@hackage/phonetic-languages-simplified-generalized-examples-common

Some common code for phonetic languages generalized functionality.

@hackage/haskell-tools-debug

Debugging Tools for Haskell-tools

@hackage/portable-template-haskell-lens

Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11

@hackage/cmonad

A library for C-like programming

@hackage/hs-conllu

Conllu validating parser and utils.

@hackage/binary-literal-qq

Extends Haskell with binary literals.

@hackage/language-mixal

Parser, pretty-printer, and AST types for the MIXAL assembly language

@hackage/BiGUL

The Bidirectional Generic Update Language

@hackage/Plural

Pluralize English words

@hackage/hruby

Embed a Ruby intepreter in your Haskell program !

@hackage/words

Cross-platform access to a list of words

@hackage/broker-haskell

Haskell bindings to Broker, Bro's messaging library.

@hackage/language-c99

An implementation of the C99 AST that strictly follows the standard.

@hackage/rope-utf16-splay

Ropes optimised for updating using UTF-16 code units and row/column pairs.

@hackage/msgpack-idl

An IDL Compiler for MessagePack

@hackage/liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

@hackage/WebBits-multiplate

A Multiplate instance for JavaScript.

@cardano/plutus-core

Language library for Plutus Core

@hackage/call-alloy

A simple library to call Alloy given a specification

@hackage/haskellish

For parsing Haskell-ish languages

@hackage/phladiprelio-tests

Common for Ukrainian and general data for test mode.

@hackage/halide-haskell

Haskell bindings to Halide

@hackage/free-theorems-seq

Taming Selective Strictness

@hackage/frp-arduino

Arduino programming without the hassle of C.

@hackage/hs-gen-iface

Utility to generate haskell-names interface files

@hackage/hopencc

Haskell binding to libopencc

@hackage/syntax-trees

Convert between different Haskell syntax trees.

@hackage/URLT

Library for maintaining correctness of URLs within an application.

@hackage/GoogleSuggest

Interface to Google Suggest API

@hackage/elm-package

Package manager for Elm libraries

@hackage/haskell-src-exts-qq

A quasiquoter for haskell-src-exts.

@hackage/Eq

Render math formula in ASCII, and perform some simplifications

@hackage/language-asn1

Parsing of ASN1 definitions

@hackage/pisigma

A dependently typed core language

@hackage/hydrogen-cli-args

Hydrogen Command Line Arguments Parser

@hackage/language-python-colour

Generate coloured XHTML for Python code.

@hackage/dove

The Dove verification language.

@hackage/mcm

Machine Configuration Manager

@hackage/haskell-holes-th

Infer haskell code by given type.

@hackage/ForSyDe

ForSyDe's Haskell-embedded Domain Specific Language.

@hackage/termination-combinators

Termination combinators for forcing non-terminating algorithms to terminate

@hackage/template-haskell-util

Some utilities for template Haskell.

@hackage/lss

Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.

@hackage/hjugement

Majority Judgment.

@hackage/elm-reactor

Interactive development tool for Elm programs

@hackage/oplang

Stack-based esoteric programming language

@hackage/codec-beam

Erlang VM byte code assembler

@hackage/readpyc

Read and pretty print Python bytecode (.pyc) files.

@hackage/ftshell

Shell interface to the FreeTheorems library.

@hackage/liquidhaskell-boot

Liquid Types for Haskell

@hackage/Wired

Wire-aware hardware description

@hackage/jvm-binary

A library for reading Java class-files

@hackage/cao

CAO Compiler

@hackage/curry-frontend

Compile the functional logic language Curry to several intermediate formats

@hackage/cap

Interprets and debug the cap language.

@hackage/haskell-type-exts

A type checker for Haskell/haskell-src-exts

@hackage/LambdaCalculator

A basic lambda calculator with beta reduction and a REPL

@hackage/tempi

For representing musical tempi

@hackage/phladiprelio-general-simple

A generalized functionality of PhLADiPreLiO for different languages that uses hash algorithms.

@hackage/compstrat

Strategy combinators for compositional data types

@hackage/happy-dot

Parser for dot made with happy.

@hackage/bricks-syntax

...

@hackage/specialize-th

Create specialized types from polymorphic ones using TH

@hackage/register-machine-typelevel

A computationally universal register machine implementation at the type-level

@hackage/HJScript

HJScript is a Haskell EDSL for writing JavaScript programs.

@hackage/type-tree

Tree representations of datatypes

@hackage/nix-eval

Evaluate Haskell expressions using Nix to get packages

@hackage/clr-host

Hosting the Common Language Runtime

@hackage/hypertypes

Typed ASTs

@hackage/purescript-ast

PureScript Programming Language Abstract Syntax Tree

@hackage/MagicHaskeller

Automatic inductive functional programmer by systematic search

@hackage/gender

Identify a persons gender by their first name

@hackage/th-bang-compat

Compatibility for bang-type template

@hackage/haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

@hackage/haskell-tools-rewrite

Facilities for generating new parts of the Haskell-Tools AST

@hackage/language-eiffel

Parser and pretty printer for the Eiffel language.

@hackage/GLM

Simple Gridlab-D GLM parser and utilities.

@hackage/ImperativeHaskell

A library for writing Imperative style haskell.

@hackage/aop-prelude

prelude for Algebra of Programming

@hackage/GoogleTranslate

Interface to Google Translate API

@hackage/language-css

CSS 2.1 syntax

@hackage/rope

Tools for manipulating fingertrees of bytestrings with optional annotations

@hackage/algorithmic-composition-additional

Helps to create experimental music from a file (or its part) and a Ukrainian text.

@hackage/uniqueness-periods-vector

Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality.

@hackage/google-search

EDSL for Google and GMail search expressions

@hackage/phonetic-languages-simplified-properties-lists-double

A generalization of the uniqueness-periods-vector-properties package.

@hackage/show

'Show' instances for Lambdabot

@hackage/hgrep

Search Haskell source code from the command line

@hackage/cleff

Fast and concise extensible effects

@hackage/jacinda

Functional, expression-oriented data processing language

@hackage/pyfi

Call python inline from haskell

@cardano/plutus-ledger-api

Interface to the Plutus ledger for the Cardano ledger.

@hackage/hssqlppp-th

hssqlppp extras which need template-haskell

@hackage/th-data-compat

Compatibility for data definition template of TH

@hackage/cspretty

AST and pretty printer for CSPm

@hackage/mathista

A small programming language for numerical computing

@hackage/joy-rewrite

Transform Joy code using conditional rewrite rules

@hackage/language-cil

Manipulating Common Intermediate Language AST

@hackage/ASN1

ASN.1 support for Haskell

@hackage/crux-llvm

A verification tool for C programs.

@cardano/marlowe-cardano

Marlowe: financial contracts on Cardano Computation Layer

@hackage/language-gcl

Something similar to Dijkstra's guarded command language

@hackage/ats-format

A source-code formatter for ATS

@hackage/feldspar-signal

Signal Processing extension for Feldspar

@hackage/polyseq

Taming Selective Strictness

@hackage/elm-bridge

Derive Elm types and Json code from Haskell types, using aeson's options

@hackage/slot-lambda

Write lambdas without naming the parameters.

@hackage/language-kort

Parser and serializer for the Kort information language.

@hackage/mmsyn7s

Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs

@hackage/modulespection

Template Haskell for introspecting a module's declarations

@hackage/sifflet-lib

Library of modules shared by sifflet and its tests and its exporters.

@hackage/graphql-spice

GraphQL with batteries

@hackage/lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

@hackage/simple-ltl

A simple LTL checker

@hackage/lua-bc

Lua bytecode parser

@hackage/descript-lang

Library, interpreter, and CLI for Descript programming language.

@hackage/turkish-deasciifier

Haskell port of Deniz Yuret's Turkish deasciifier.

@hackage/CSPM-FiringRules

Firing rules semantic of CSPM

@hackage/CSPM-Interpreter

An interpreter for CSPM

@hackage/vhdl

VHDL AST and pretty printer

@hackage/cmake-syntax

Parser for the CMake syntax (CMakeLists.txt and .cmake files)

@hackage/web-routes-boomerang

Use boomerang for type-safe URL parsers/printers

@hackage/Javasf

A utility to print the SourceFile attribute of one or more Java class files.

@hackage/astview-utils

Interfacing between hint and astview

@hackage/fortran-src-extras

Common functions and utils for fortran-src.

@hackage/forth-hll

A simple eDSL for generating arrayForth code.

@hackage/array-forth

A simple interpreter for arrayForth, the language used on GreenArrays chips.

@hackage/language-nix

Data types and functions to represent the Nix language

@hackage/ivory

Safe embedded C programming.

@hackage/plural

Pluralize

@hackage/hsx2hs

HSX (Haskell Source with XML) allows literal XML syntax in Haskell source code.

@hackage/homplexity

Haskell code quality tool

@hackage/uniqueness-periods

Can be used to produce the 'uniquenessPeriods' function and related functionality.

@hackage/haskell-coffee

Simple CoffeeScript API

@hackage/omega

A purely functional programming language and a proof system

@hackage/language-guess

Guess at which language a text is written in using trigrams.

@hackage/satyros

Step-by-step SAT solver for educational purposes

@hackage/bricks-internal

...

@hackage/syntactic

Generic representation and manipulation of abstract syntax

@hackage/language-oberon

Parser, pretty-printer, and more for the Oberon programming language

@hackage/shplit

A Haskell pattern splitter with emacs attachments

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/mueval

Safely evaluate pure Haskell expressions

@hackage/th-reify-compat

Compatibility for the result type of TH reify

@hackage/elsa

A tiny language for understanding the lambda-calculus

@hackage/astview

A GTK-based abstract syntax tree viewer for custom languages and parsers

@hackage/phonetic-languages-constaints

Constraints to filter the needed permutations

@hackage/language-boogie

Interpreter and language infrastructure for Boogie.

@hackage/pyffi

Call python inline from haskell

@hackage/husk-scheme-libs

Extra libraries for the husk Scheme platform.

@hackage/luthor

Tools for lexing and utilizing lexemes that integrate with Parsec.

@hackage/preprocess-haskell

Preprocess Haskell Repositories.

@hackage/JsonGrammar

Combinators for bidirectional JSON parsing

@hackage/language-lua-qq

Initial project template from stack

@hackage/Nomyx-Rules

Language to express rules for Nomic

@hackage/ivory-serialize

Serialization library for Ivory.

@hackage/reorder-expression

Reorder expressions in a syntax tree according to operator fixities.

@hackage/hs-pattrans

DSL for musical patterns and transformation, based on contravariant functors.

@hackage/linkcore

Combines multiple GHC Core modules into a single module

@hackage/bond-haskell-compiler

Bond code generator for Haskell

@hackage/lhs2TeX-hl

Literate highlighter preprocessor for lhs2tex

@hackage/core-compiler

compile your own mini functional language with Core

@hackage/sound-change

Apply sound changes to words

@hackage/ho-rewriting

Generic rewrite rules with safe treatment of variables and binders

@hackage/phladiprelio-general-shared

A shared by different general implementations of the PhLADiPreLiO functionality.

@hackage/ghc-parser

Haskell source parser from GHC.

@hackage/shaderc

A collection of tools and libraries for Vulkan shader compilation

@hackage/nominal

Binders and alpha-equivalence made easy

@hackage/forsyde-shallow

ForSyDe's Haskell-embedded Domain Specific Language.

@hackage/unlit

Tool to convert literate code between styles or to code.

@hackage/hardware-edsl

Deep embedding of hardware descriptions with code generation.

@hackage/djinn-lib

Generate Haskell code from a type. Library extracted from djinn package.

@hackage/phonetic-languages-properties

A generalization of the uniqueness-periods-vector-properties package.

@hackage/syntax-trees-fork-bairyn

Convert between different Haskell syntax trees. Bairyn's fork.

@hackage/language-Modula2

Parser, pretty-printer, and more for the Modula-2 programming language

@hackage/bricks

Bricks is a lazy functional language based on Nix.

@hackage/arduino-copilot

Arduino programming in haskell using the Copilot stream DSL

@cardano/marlowe-runtime

Runtime system for running Marlowe financial contracts on the Cardano Computation Layer

@hackage/polysemy

Higher-order, low-boilerplate free monads.

@hackage/camfort

CamFort - Cambridge Fortran infrastructure

@hackage/zot

Zot language

@hackage/egison-quote

A quasi quotes for using Egison expression in Haskell code

@hackage/bound-extras

ScopeH and ScopeT extras for bound

@hackage/phonetic-languages-simplified-properties-array-old

Some properties of the data related to rhythmicity.

@hackage/apple

Apple array language compiler

@hackage/kuifje

A Quantitative Information Flow aware programming language.

@hackage/th-strict-compat

Compatibility shim for Bang and Strict in Template Haskell.

@hackage/CSPM-cspm

cspm command line tool for analyzing CSPM specifications.

@hackage/hascalam

Haskell to and from Scalameta

@hackage/peggy

The Parser Generator for Haskell

@hackage/th-constraint-compat

Compatibility for type constraint template

@hackage/phonetic-languages-permutations

Commonly used versions of the phonetic-languages-common package

@hackage/funpat

A generalization of pattern matching

@hackage/quenya-verb

Quenya verb conjugator

@hackage/ivory-avr-atmega328p-registers

Ivory register bindings for the Atmega328p

@hackage/indexed-free

indexed monads for free

@hackage/acl2

Writing and calling ACL2 from Haskell.

@hackage/ehs

Embedded haskell template using quasiquotes.

@hackage/clogparse

Parse IRC logs such as the #haskell logs on tunes.org

@hackage/morley-prelude

A custom prelude used in Morley

@hackage/abacate

Parser for a language similar to Cucumber's Gherkin

@hackage/operational-alacarte

A version of Operational suitable for extensible EDSLs

@hackage/type-sub-th

Substitute types for other types with Template Haskell

@hackage/cleff-plugin

Automatic disambiguation for extensible effects

@hackage/hakaru

A probabilistic programming language

@hackage/ecma262

A ECMA-262 interpreter library

@hackage/lorentz

EDSL for the Michelson Language

@hackage/semantic

Framework and service for analyzing and diffing untrusted code.

@hackage/language-bluespec

An implementation of the Bluespec Haskell AST

@hackage/indexed-do-notation

Do notation for indexed monads

@hackage/cdeps

Extract dependencies from C code.

@hackage/CSPM-CoreLanguage

Definition of a CSP core-language.

@hackage/yosys-rtl

Yosys RTL Intermediate Language

@hackage/melody

A functional scripting language

@hackage/dobutokO-poetry

Helps to order the 7 or less Ukrainian words to obtain somewhat suitable for poetry or music text

@hackage/snmp

SNMP protocol library

@hackage/elm-server

Server for developing Elm projects

@hackage/data-treify

Reify a recursive data structure into an explicit graph.

@hackage/cil

An interface to CIL.

@hackage/tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

@hackage/phonetic-languages-vector

A generalization of the functionality of the uniqueness-periods-vector package.

@hackage/CSPM-Frontend

A CSP-M parser compatible with FDR-2.91

@hackage/raw-feldspar

Resource-Aware Feldspar

@hackage/meta-misc

Utility library providing miscellaneous meta-programming utilities.

@hackage/symantic-grammar

Library for symantic grammars.

@cardano/marlowe-client

A client library for the Marlowe Runtime.

@hackage/haskell-tools-refactor

Refactoring Tool for Haskell

@hackage/tptp

Parser and pretty printer for the TPTP language

@hackage/hs2dot

Generate graphviz-code from Haskell-code.

@hackage/bricks-internal-test

...

@hackage/r-glpk-phonetic-languages-ukrainian-durations

Can be used to calculate the durations of the approximations of the Ukrainian phonemes.

@hackage/haspell

Haskell bindings to aspell

@hackage/fortran-vars

Fortran memory model and other static analysis tools.

@hackage/ivory-hw

Ivory hardware model (STM32F4).

@hackage/toml-parser

TOML 1.0.0 parser

@hackage/RSolve

@hackage/subleq-toolchain

Toolchain of subleq computer.

@hackage/dictparser

Parsec parsers for the DICT format produced by dictfmt -t

@hackage/language-lua

Lua parser and pretty-printer

@hackage/dap

A debug adaptor protocol library

@hackage/Obsidian

Embedded language for GPU Programming

@hackage/ghc-core-smallstep

A small-step semantics for Core

@hackage/forsyde-deep

ForSyDe's Haskell-embedded Domain Specific Language.

@hackage/phonetic-languages-constraints

Constraints to filter the needed permutations

@hackage/HJavaScript

HJavaScript is an abstract syntax for a typed subset of JavaScript.

@hackage/haskell-tools-cli

Command-line frontend for Haskell-tools Refact

@hackage/sexp

S-Expression parsing/printing made fun and easy

@hackage/copilot-sbv

A compiler for CoPilot targeting SBV.

@hackage/morley

Developer tools for the Michelson Language

@hackage/ltl

Using linear temporal logic (LTL) to verify embedded software and hardware.

@hackage/phonetic-languages-ukrainian-array

Prepares Ukrainian text to be used as a PhLADiPreLiO text

@hackage/shentong

A Haskell implementation of the Shen programming language

@hackage/processor-creative-kit

a creation kit for instruction sets and cpu simulators and development tools

@hackage/sized-types

Sized types in Haskell using the GHC Nat kind.

@hackage/jaskell

Stack-based concatenative language embedded in Haskell

@hackage/LC3

LC-3 virtual machine

@hackage/luka

Simple ObjectiveC runtime binding

@hackage/phonetic-languages-simplified-examples-common

Some commonly used by phonetic-languages-simplified* series functions.

@hackage/haskell-src-meta-mwotton

Parse source to template-haskell abstract syntax.

@hackage/js-good-parts

Javascript: The Good Parts -- AST & Pretty Printer

@hackage/language-tl

A Parser for the Type Language

@hackage/hoop

Object-Oriented Programming in Haskell

@hackage/brain-bleep

primitive imperative language

@hackage/phonetic-languages-constraints-array

Constraints to filter the needed permutations

@hackage/valid-names

Valid operator/module characters

@hackage/atom

An EDSL for embedded hard realtime applications.

@hackage/phladiprelio-rhythmicity-shared

Allows to estimate some kind of the rhythmicity properties for the text

@hackage/language-dickinson

A language for generative literature

@hackage/bighugethesaurus

API wrapper for Big Huge Thesaurus

@hackage/WebBits

JavaScript analysis tools

@hackage/dobutokO-poetry-general

Helps to order the 7 or less words (first of all the Ukrainian ones) to obtain somewhat suitable for poetry or music text

@hackage/elm-street

Crossing the road between Haskell and Elm

@hackage/th-alpha

Alpha equivalence for TH Exp

@hackage/purescript-cst

PureScript Programming Language Concrete Syntax Tree

@hackage/do-notation

Generalize do-notation to work on monads and indexed monads simultaneously.

@hackage/web-routes-generics

portable, type-safe URL routing

@hackage/phonetic-languages-simplified-base

A basics of the phonetic-languages functionality that can be groupped.

@hackage/trhsx

Deprecated

@hackage/TTTAS

Typed Transformations of Typed Abstract Syntax

@hackage/prosidy

A simple language for writing documents.

@hackage/feldspar-language

A functional embedded language for DSP and parallelism

@hackage/web-routes

portable, type-safe URL routing

@hackage/language-ocaml

Language tools for manipulating OCaml programs in Haskell

@hackage/fault-tree

A fault tree analysis library.

@hackage/mcmc-synthesis

MCMC applied to probabilistic program synthesis

@hackage/sugarhaskell

Library-based syntactic extensibility for Haskell

@hackage/calligraphy

HIE-based Haskell call graph and source code visualizer

@hackage/phonetic-languages-rhythmicity

Allows to estimate the rhythmicity properties for the text

@hackage/th-instances

A place to collect orphan instances for Template Haskell

@hackage/morloc

A multi-lingual, typed, workflow language

@hackage/netlist

Netlist AST

@hackage/c-dsl

A higher level DSL on top of language-c

@hackage/imprevu-happstack

Imprevu support for Happstack

@hackage/language-vhdl

VHDL AST and pretty printer in Haskell.

@hackage/language-thrift

Parser and pretty printer for the Thrift IDL format.

@hackage/haskell-typescript

Simple TypeScript API

@hackage/jmacro

QuasiQuotation library for programmatic generation of Javascript code.

@hackage/nomyx-library

Library of rules for Nomyx

@hackage/signals

Synchronous signal processing for DSLs.

@hackage/WebBits-Html

JavaScript analysis tools

@hackage/Feval

Evaluation using F-Algebras

@hackage/free-theorems-webui

CGI-based web interface for the free-theorems package.

@hackage/haskell-names

Name resolution library for Haskell

@hackage/recursors

Auto-generate final encodings and their isomorphisms using Template Haskell

@cardano/marlowe-test

Tests for Marlowe semantics and validators on Cardano

@hackage/msh

Object-Oriented Programming in Haskell

@hackage/tempus

Interpreter for the FRP language Tempus

@hackage/bash

Bash generation library.

@hackage/ivory-bitdata

Ivory bit-data support.

@hackage/core

External core parser and pretty printer.

@hackage/pro-abstract

Abstract syntax for writing documents

@hackage/language-lua2

Lua parser and pretty printer

@hackage/type-of-html-static

Optimize static parts of type-of-html.

@hackage/fregel

A functional DSL for vertex-centric large-scale graph processing

@hackage/haskell-tools-ast-fromghc

Creating the Haskell-Tools AST from GHC's representations

@hackage/hindley-milner

Template for Hindley-Milner based languages

@hackage/string-interpreter

Is used in the phonetic languages approach (e. g. in the recursive mode).

@hackage/web-routes-mtl

Extends web-routes with mtl-based MonadIO / MonadTrans RouteT instances

@hackage/verifiable-expressions

An intermediate language for Hoare logic style verification.

@hackage/blip

Python to bytecode compiler.

@hackage/uniqueness-periods-general

Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions.

@hackage/haskell-exp-parser

Simple parser parser from Haskell to TemplateHaskell expressions

@hackage/applicative-parsec

An applicative parser combinator library

@hackage/web-routes-happstack

Adds support for using web-routes with Happstack

@hackage/hse-cpp

Preprocess+parse haskell code

@hackage/haskell-generate

Typesafe generation of haskell source code

@hackage/surjective

An output coverage checker

@hackage/halide-JuicyPixels

Integration between Halide and JuicyPixels

@hackage/hydrogen-cli

Hydrogen Data

@hackage/dobutokO2

Helps to create experimental music from a file (or its part) and a Ukrainian text.

@hackage/hdis86

Interface to the udis86 disassembler for x86 and x86-64 / AMD64

@hackage/zwirn

a live coding language for playing with nested functions of time

@hackage/web-routes-th

Support for deriving PathInfo using Template Haskell

@hackage/word-note-sox

SoX for algorithmic composition with groups of notes liken to words

@hackage/language-sally

AST and pretty printer for Sally

@hackage/ml-w

Minimal ML language to to demonstrate the W type infererence algorithm.

@hackage/phonetic-languages-general

A generalization of the uniqueness-periods-vector-general functionality.

@hackage/unbound

Generic support for programming with names and binders

@hackage/refinery

Toolkit for building proof automation systems

@hackage/cube

Cubic DSL for 3D printing

@hackage/haskell-lsp-client

A haskell package to build your own Language Server client.

@hackage/curry-base

Functions for manipulating Curry programs

@hackage/language-ninja

A library for dealing with the Ninja build language.

@hackage/axel

The Axel programming language.

@hackage/hydrogen-data

Hydrogen Data

@hackage/blanks

Fill-in-the-blanks - A library factoring out substitution from ASTs

@hackage/GTALib

A library for GTA programming

@hackage/haskell-src-meta

Parse source to template-haskell abstract syntax.

@hackage/phladiprelio-ukrainian-shared

A shared by different Ukrainian implementations of the PhLADiPreLiO functionality.

@hackage/copilot-cbmc

Copilot interface to a C model-checker.

@hackage/copilot

A stream DSL for writing embedded C programs.

@hackage/dino

A convenient tagless EDSL

@hackage/language-openscad

A simple parser for OpenSCAD

@hackage/gimlh

Haskell parser for GIML

@hackage/sifflet

Simple, visual, functional language for learning about recursion.

@hackage/yabi-muno

Yet Another Brainfuck Interpreter

@hackage/uniqueness-periods-vector-examples

Usage examples for the uniqueness-periods-vector series of packages

@hackage/ariadne

Go-to-definition for Haskell

@hackage/jdi

Implementation of Java Debug Interface

@hackage/hbf

An optimizing Brainfuck compiler and evaluator

@hackage/MicrosoftTranslator

Interface for Microsoft Translator

@hackage/ewe

An interpreter for EWE programming language

@hackage/unbound-generics

Support for programming with names and binders using GHC Generics

@hackage/haskell-tools-daemon

Background process for Haskell-tools that editors can connect to.

@hackage/hsnock

Nock 5K interpreter.

@hackage/phonetic-languages-simplified-lists-examples

Simplified and somewhat optimized version of the phonetic-languages-examples.

@hackage/copilot-verifier

System for verifying the correctness of generated Copilot programs

@hackage/unpacked-containers

Unpacked containers via backpack

@hackage/bound-simple

A lightweight implementation of 'bound'

@hackage/brittany

Haskell source code formatter

@hackage/unbound-kind-generics

Support for programming with names and binders using kind-generics

@hackage/imprevu

Reactive programming language based on a DSL

@hackage/heap-console

interactively inspect Haskell values at runtime

@hackage/hydrogen-prelude-parsec

Hydrogen Prelude /w Parsec

@hackage/boolsimplifier

Simplification tools for simple propositional formulas.

@cardano/marlowe-protocols

Protocol definitions for Marlowe

@hackage/phonetic-languages-simplified-common

A simplified version of the phonetic-languages-functionality

@hackage/ivory-stdlib

Ivory standard library.

@hackage/sunroof-examples

Tests for Sunroof

@hackage/phladiprelio-ukrainian-simple

A PhLADiPreLiO implementation for Ukrainian that uses hashes and asynchronous concurrency.

@hackage/language-typescript

A library for working with TypeScript Definition files

@hackage/language-fortran

Fortran lexer and parser, language support, and extensions.

@hackage/jarfind

Tool for searching java classes, members and fields in classfiles and JAR archives

@hackage/rail-compiler-editor

Compiler and editor for the esolang rail.

@hackage/language-ats

Parser and pretty-printer for ATS.

@hackage/her-lexer

A lexer for Haskell source code.

@hackage/ukrainian-phonetics-basic

A library to work with the basic Ukrainian phonetics and syllable segmentation.

@hackage/mmsyn7ukr-array

A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by dobutokO2 and other similar packages

@hackage/hierarchical-exceptions

Template Haskell functions to easily create exception hierarchies

@hackage/bricks-parsec

...

@hackage/kbq-gu

Rpoku spoken word programming language

@cardano/plutus-tx

Libraries for Plutus Tx and its prelude

@hackage/protocol-buffers

Parse Google Protocol Buffer specifications

@hackage/phonetic-languages-simplified-generalized-examples-array

Helps to create texts with the given phonetic properties (e. g. poetic).

@hackage/halfsplit

A library to provide special kind of two-column output for Phladiprelio.

@hackage/json-python

Call python inline from haskell

@hackage/web-routes-wai

Library for maintaining correctness of URLs within an application.

@hackage/hunspell-hs

Hunspell thread-safe FFI bindings for spell checking.

@hackage/haskell-tools-demo

A web-based demo for Haskell-tools Refactor.

@hackage/text-register-machine

A Haskell implementation of the 1# Text Register Machine

@hackage/ghci-websockets

A websocket server that survives GHCi reloads

@hackage/mmsyn7ukr-common

Some common for mmsyn7ukr and mmsyn7ukr-array functionality using SoX.

@hackage/mmsyn7h

Produces a sound recording specified by the Ukrainian text.

@hackage/sunroof-compiler

Monadic Javascript Compiler

@hackage/hydrogen-multimap

Hydrogen Multimap

@hackage/ukrainian-phonetics-basic-array

A library to work with the basic Ukrainian phonetics and syllable segmentation.

@hackage/language-dot

A library for the analysis and creation of Graphviz DOT files

@hackage/deepl

Call DeepL to translate you files

@hackage/web-routes-regular

portable, type-safe URL routing

@hackage/Ordinary

A Programming Language in Construction

@hackage/language-rust

Parsing and pretty printing of Rust code

@hackage/graphql

Haskell GraphQL implementation

@hackage/language-pig

Pig parser in haskell.

@hackage/dhall-lex

Lexer for the Dhall language

@hackage/ds-kanren

A subset of the miniKanren language

@hackage/language-c-comments

Extracting comments from C code

@hackage/hnock

A Nock interpreter.

@hackage/clash

CAES Language for Synchronous Hardware (CLaSH)

@hackage/maude

An interface to the Maude rewriting system.

@hackage/clr-typed

A strongly typed Haskell interface to the CLR type system

@hackage/language-c99-util

Utilities for language-c99.

@hackage/language-sqlite

Full parser and generator for SQL as implemented by SQLite3

@hackage/cg

Parser for categorial grammars.

@hackage/exception-hierarchy

Exception type hierarchy with TemplateHaskell

@hackage/disco

Functional programming language for teaching discrete math.

@hackage/phonetic-languages-examples

A generalization of the uniqueness-periods-vector-examples functionality.

@hackage/oberon0

Oberon0 Compiler

@hackage/coformat

Generate clang-format config based on some existing code base

@hackage/mi

Multiple Instance for Haskell

@hackage/Ganymede

An Io interpreter in Haskell.

@hackage/language-qux

Utilities for working with the Qux language

@hackage/seal-module

Template Haskell support for global configuration data

@hackage/hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

@hackage/language-dart

Manipulating Dart source: abstract syntax and pretty-printer

@hackage/abt

Abstract binding trees for Haskell

@hackage/symantic-lib

Symantics for common types.

@hackage/liquidhaskell

Liquid Types for Haskell

@cardano/plutus-script-utils

Helper/utility functions for writing Plutus scripts.

@hackage/haskell-tools-builtin-refactorings

Refactoring Tool for Haskell

@hackage/verilog

Verilog preprocessor, parser, and AST.

@hackage/kure

Combinators for Strategic Programming

@hackage/web-routes-transformers

Extends web-routes with some transformers instances for RouteT

@hackage/typescript-docs

A documentation generator for TypeScript Definition files

@hackage/clang-compilation-database

JSON Compilation Database Format encoding and decoding

@hackage/djinn-ghc

Generate Haskell code from a type. Bridge from Djinn to GHC API.

@hackage/bond

Bond schema compiler and code generator

@hackage/mmsyn2-hashable

A library that can be used for multiple Hashable a => a -> b transformations.

@hackage/ghc-srcspan-plugin

Generic GHC Plugin for annotating Haskell code with source location data.

@hackage/thih

Typing Haskell In Haskell

@hackage/z3-encoding

High-level assertion encoding to Z3 solver

@hackage/indian-language-font-converter

Indian Language Font Converter

@hackage/css

Minimal monadic CSS DSL.

@hackage/mida

Language for algorithmic generation of MIDI files

@hackage/haskell-to-elm

Generate Elm types and JSON encoders and decoders from Haskell types

@hackage/language-asn

ASN.1 encoding and decoding

@hackage/fortran-src

Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial).

@hackage/language-go

A library for analysis and synthesis of Go code.

@hackage/language-js

javascript parser for es6 and es7.

@hackage/ivory-backend-c

Ivory C backend.

@hackage/language-c-inline

Inline C & Objective-C code in Haskell for language interoperability

@hackage/naver-translate

Interface to Naver Translate

@hackage/caledon

a logic programming language based on the calculus of constructions

@hackage/libconfig

Haskell bindings to libconfig

@hackage/language-webidl

Parser and Pretty Printer for WebIDL

@hackage/corenlp-types

Types for interaction with CoreNLP

@hackage/ion

EDSL for concurrent, realtime, embedded programming on top of Ivory

@hackage/prosidyc

A DSL for processing Prosidy documents.

@hackage/intrinsic-superclasses

A quasiquoter for better instance deriving and default methods

@hackage/stylist

Apply CSS styles to a document tree.

@hackage/kansas-lava

Kansas Lava is a hardware simulator and VHDL generator.

@hackage/first-class-instances

First class typeclass instances

@hackage/ast-monad-json

A library for writing JSON

@hackage/ivory-artifact

Manage additional data files during Ivory compilation.

@hackage/haskell-brainfuck

BrainFuck interpreter

@hackage/purescript

PureScript Programming Language Compiler

@hackage/kempe

Kempe compiler

@hackage/bitcoin-scripting

Resources for working with miniscript, and script descriptors

@hackage/tensor-safe

Create valid deep neural network architectures

@hackage/mmsyn6ukr-array

A musical instrument synthesizer or a tool for Ukrainian language listening

@hackage/smt2-parser

A Haskell parser for SMT-LIB version 2.6

@hackage/ghc-justdoit

A magic typeclass that just does it

@hackage/octopus

Lisp with more dynamism, more power, more simplicity.

@hackage/phonetic-languages-permutations-array

Permutations and universal set related functions for the phonetic-languages series

@hackage/phonetic-languages-simplified-properties-lists

A generalization of the uniqueness-periods-vector-properties package.

@hackage/aterm-utils

Utility functions for working with aterms as generated by Minitermite

@hackage/language-bash

Parsing and pretty-printing Bash shell scripts

@hackage/lojysamban

Prolog with lojban

@hackage/context-free-grammar

Basic algorithms on context-free grammars

@hackage/phonetic-languages-basis

A basics of the phonetic-languages (PhLADiPreLiO-related) functionality.

@hackage/freesect

A Haskell syntax extension for generalised sections

@hackage/jsmw

Javascript Monadic Writer base package.

@hackage/ixdopp

A preprocessor for expanding "ixdo" notation for indexed monads

@hackage/haskell-src-exts-prisms

Prisms with newtype wrappers for haskell-src-exts

@hackage/enchant

Binding to the Enchant library

@hackage/haskell-tools-ast

Haskell AST for efficient tooling

@hackage/hexpr

A framework for symbolic, homoiconic languages.

@hackage/Paraiso

a code generator for partial differential equations solvers.

@hackage/fresh

Introduce fresh variables into Haskell source code

@hackage/language-c-quote

C/CUDA/OpenCL/Objective-C quasiquoting library.

@hackage/haskell-tools-backend-ghc

Creating the Haskell-Tools AST from GHC's representations

@hackage/copilot-prettyprinter

A prettyprinter of Copilot Specifications.

@hackage/tersmu

A semantic parser for lojban

@hackage/preprocessor-tools

A framework for extending Haskell's syntax via quick-and-dirty preprocessors

@hackage/elm-syntax

Elm syntax and pretty-printing

@hackage/indigo

Convenient imperative eDSL over Lorentz.

@hackage/simple-sql-parser

A parser for SQL.

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/sketch-frp-copilot

Sketch programming with Copilot

@hackage/global

Library enabling unique top-level declarations

@hackage/ukrainian-phonetics-common

A library to work with the basic Ukrainian phonetics and syllable segmentation.

@hackage/hydrogen-parsing

Hydrogen Parsing Utilities

@hackage/goldplate

A lightweight golden test runner

@hackage/BASIC

Embedded BASIC

@hackage/phonetic-languages-common

A generalization of the uniqueness-periods-vector-common package.

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/haskeme

Compiler from I- to S-Expressions for the Scheme Programming Language

@hackage/simple-eval

Evaluate a Text to an Integer: "1 + 1" -> 2

@hackage/lojbanParser

lojban parser

@hackage/extcore

Libraries for processing GHC Core

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

@hackage/bidirectionalization-combined

Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)

@hackage/GroteTrap

Parser and selection library for expression languages.

@hackage/co-feldspar

Hardware software co-design Feldspar

@hackage/antimirov

Define the language containment (=subtyping) relation on regulare expressions.

@hackage/language-python-test

testing code for the language-python library

@hackage/liquid-base

base specs for LiquidHaskell

@hackage/mulang

An intermediate language designed to perform advanced code analysis

@hackage/htoml

Parser for TOML files

@hackage/pgf2

Bindings to the C version of the PGF runtime

@hackage/each

Template Haskell library for writing monadic expressions more easily

@hackage/clr-marshal

Marshaling for the clr

@hackage/desert

a simple build tool for OCaml projects

@hackage/explain

Show how expressions are parsed

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/shortcut

@hackage/language-slice

AST and parser for the ZeroC Slice language (Specification language for ICE)

@hackage/uniqueness-periods-vector-filters

A library allows to change the structure of the 'RealFrac' function output.

@hackage/imperative-edsl-vhdl

Deep embedding of VHDL programs with code generation.

@hackage/Strafunski-Sdf2Haskell

Converts SDF to Haskell

@hackage/th-lift

Derive Template Haskell's Lift class for datatypes.

@hackage/shivers-cfg

Implementation of Shivers' Control-Flow Analysis

@hackage/haskelm

Elm to Haskell translation

@hackage/haskell-src

Support for manipulating Haskell source code

@cardano/marlowe-runtime-web

Web server for Marlowe Runtime on Cardano.

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/transformations

Generic representation of tree transformations

@hackage/phonetic-languages-simplified-properties-array-common

Common functionality for 'with-tuples' and old version of properties.

@hackage/hint-server

A server process that runs hint.

@hackage/language-objc

Analysis and generation of Objective C code

@hackage/shake-dhall

Dhall dependencies

@hackage/cparsing

A simple C++ parser with preprocessor features. C++ refactorings included.

@hackage/DrHylo

A tool for deriving hylomorphisms

@hackage/alga

Algorithmic automation for various DAWs

@hackage/lambda-calculus-interpreter

Lambda Calculus interpreter

@hackage/nirum

IDL compiler and RPC/distributed object framework for microservices

@hackage/berp

An implementation of Python 3.

@hackage/qbe

Types and prettyprinter for the IL of the QBE compiler backend

@hackage/uniqueness-periods-vector-general

Some kind of the optimization approach to data inner structure.

@hackage/ghc-session

Simplified GHC API

@hackage/inch

A type-checker for Haskell with integer constraints

@hackage/formura

Formura is a simple language to describe stencil computation.

@hackage/algorithmic-composition-basic

Helps to create experimental music from a file (or its part) and a Ukrainian text.

@hackage/hs2ats

Create ATS types from Haskell types

@hackage/unbound-generics-unify

Unification based on unbound-generics

@hackage/haskell-tools-ast-gen

Facilities for generating new parts of the Haskell-Tools AST

@hackage/husk-scheme

R5RS Scheme interpreter, compiler, and library.

@hackage/hinter

Runtime Haskell interpreter (GHC API wrapper)

@hackage/lexer-applicative

Simple lexer based on applicative regular expressions

@hackage/funcons-lambda-cbv-mp

call-by-value lambda-calculus with meta-programming

@hackage/hsp-cgi

Facilitates running Haskell Server Pages web pages as CGI programs.

@hackage/wasm

WebAssembly Language Toolkit and Interpreter

@hackage/core-haskell

A subset of Haskell using in UCC for teaching purpose

@hackage/ntha

A tiny statically typed functional programming language.

@hackage/JsContracts

Design-by-contract for JavaScript

@hackage/lift-generics

GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation

@hackage/intensional-datatys

A GHC Core plugin for intensional datatype refinement checking

@hackage/sunroof-server

Monadic Javascript Compiler - Server Utilities

@hackage/mikrokosmos

Lambda calculus interpreter

@hackage/haskell-lexer

A fully compliant Haskell 98 lexer

@hackage/phonetic-languages-ukrainian

Prepares Ukrainian text to be used as a phonetic language text

@hackage/haskell-rules

A DSL for expressing natural deduction rules in Haskell.

@hackage/elm-core-sources

Source files for the Elm runtime and standard libraries

@hackage/harp

HaRP allows pattern-matching with regular expressions

@hackage/call-plantuml

A simple library to call PlantUML given a diagram specification

@hackage/universe-th

Construct a Dec's ancestor list.

@hackage/bff-mono

"Bidirectionalization for Free" for Monomorphic Transformations

@hackage/c2ats

Translate C code into ATS

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/cryptol

Cryptol: The Language of Cryptography

@hackage/copilot-interpreter

Interpreter for Copilot.

@hackage/fractionizer

Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types.

@hackage/language-java

Java source manipulation

@hackage/free-theorems-counterexamples

Automatically Generating Counterexamples to Naive Free Theorems

@hackage/discokitty

DisCoCat implementation.

@hackage/NXTDSL

Generate NXC Code from DSL

@hackage/lol-typing

Type inferencer for LOL (λω language)

@hackage/traverse-code

General data structure lifting for Template Haskell

@hackage/nanopass

Create compilers using small passes and many intermediate representations.

@hackage/combinator-interactive

SKI Combinator interpreter

@hackage/SNet

Declarative coördination language for streaming networks.

@hackage/htoml-megaparsec

Parser for TOML files

@hackage/glualint

Attempts to fix your syntax erroring Lua files.

@hackage/pattern-matcher

A library for compiling pattern-matching to decision trees

@hackage/liquid-prelude

General utility modules for LiquidHaskell

@hackage/runtime-arbitrary

Runtime generation of Arbitrary values

@hackage/simple-c-value

A simple C value type

@hackage/unification-fd

Simple generic unification algorithms.

@hackage/synt

Similar code analysis.

@hackage/staticanalysis

Reusable static analysis interfaces and modules.

@hackage/LibClang

Haskell bindings for libclang (a C++ parsing library)

@hackage/pec

pec embedded compiler

@hackage/hinterface

Haskell / Erlang interoperability library

@cardano/marlowe-chain-sync

Cardano chain sync system for thee Marlowe Runtime

@hackage/prolog-graph-lib

Generating images of resolution trees for Prolog queries.

@hackage/atomo

A highly dynamic, extremely simple, very fun programming language.

@hackage/swearjure

Clojure without alphanumerics.

@hackage/zeroth

ZeroTH - remove unnecessary TH dependencies

@hackage/modelicaparser

A parser for the modelica language

@hackage/hydrogen-version

Hydrogen Version Type

@hackage/agda2hs

Compiling Agda code to readable Haskell.

@hackage/copilot-bluespec

A compiler for Copilot targeting FPGAs.

@hackage/hydrogen-syntax

Hydrogen Syntax

@hackage/mecha

A constructive solid geometry (CSG) modeling language.

@hackage/unipatterns

Helpers which allow safe partial pattern matching in lambdas

@hackage/tagsoup-parsec

Tokenizes Tag, so [ Tag ] can be used as parser input.

@hackage/ministg

an interpreter for an operational semantics for the STG machine.

@hackage/circ

A Compiler IR Compiler.

@hackage/derive-gadt

Instance deriving for (a subset of) GADTs.

@hackage/resin

High performance variable binders

@hackage/symantic

Library for Typed Tagless-Final Higher-Order Composable DSL

@hackage/zephyr-copilot

Embedded programming in haskell using the Copilot stream DSL and Zephyr

@hackage/BNFC-meta

Deriving Parsers and Quasi-Quoters from BNF Grammars

@hackage/phladiprelio-general-datatype

Extended functionality of PhLADiPreLiO

@hackage/egison-pattern-src

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

@hackage/hint

A Haskell interpreter built on top of the GHC API

@hackage/ghc-options

Utilities for extracting GHC options needed to compile a given Haskell target.

@hackage/zabt

Simple-minded abstract binding trees

@hackage/happstack-facebook

A package for building Facebook applications using Happstack

@hackage/copilot-frp-sketch

FRP sketch programming with Copilot

@hackage/interpol

GHC preprocessor and library to enable variable interpolation in strings

@hackage/htirage

Equiprobable draw from publicly verifiable random data.

@hackage/modulo

Modular C code generator

@hackage/ast-monad

A library for constructing AST by using do-notation

@hackage/lang

A Lisp

@hackage/lojbanXiragan

lojban to xiragan

@hackage/bound

Making de Bruijn Succ Less

@hackage/th-dict-discovery

Automatically discover available dictionaries at compile time.

@hackage/prelude-edsl

An EDSL-motivated subset of the Prelude

@hackage/kure-your-boilerplate

Generator for Boilerplate KURE Combinators

@hackage/language-csharp

C# source code manipulation

@hackage/language-c

Analysis and generation of C code

@hackage/language-ecmascript

JavaScript parser and pretty-printer library

@hackage/purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript

@hackage/reflex-jsx

Use jsx-like syntax in Reflex

@hackage/language-puppet

Tools to parse and evaluate the Puppet DSL.

@hackage/mmsyn2-array

A library that can be used for multiple Ord a => a -> b transformations.

@hackage/HsPerl5

Haskell interface to embedded Perl 5 interpreter

@hackage/codo-notation

A notation for comonads, analogous to the do-notation for monads.

@hackage/urldisp-happstack

Simple, declarative, expressive URL routing -- on happstack.