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.

@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/toml-parser

TOML 1.0.0 parser

@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/copilot-bluespec

A compiler for Copilot targeting FPGAs.

@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/pyfi

Call python inline from haskell

@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/copilot-libraries

Libraries for the Copilot language.

@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/copilot-c99

A compiler for Copilot targeting C99.

@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/copilot-verifier

System for verifying the correctness of generated Copilot programs

@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/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/haskell-names

Name resolution library for Haskell

@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/graphql

Haskell GraphQL implementation

@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/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.