10

8

6

4

2


100 Language packages and projects

  • language-dickinson

    7.3 7.0 Haskell
    Text generation language
  • cryptol

    9.9 9.2 Haskell
    Cryptol: The Language of Cryptography
  • The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
    Promo
  • liquidhaskell

    9.9 9.4 Haskell
    Liquid Types For Haskell
  • feldspar-language

    8.1 0.0 Haskell
    The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
  • intensional-datatys

    3.4 0.0 Haskell
    A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin.
  • liquid-fixpoint

    9.5 8.9 Haskell
    Horn Clause Constraint Solving for Liquid Types
  • egison-pattern-src

    3.9 0.0 Haskell
    Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
  • purescript

    10.0 6.6 Haskell
    A strongly-typed language that compiles to JavaScript
  • stylish-haskell

    9.9 6.4 Haskell
    Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
  • language-Modula2

    2.5 5.2 Haskell
    Parser, pretty-printer, and more for the Modula-2 programming language
  • language-oberon

    5.7 5.3 Haskell
    Parser and pretty-printer for the Oberon programming language
  • homplexity

    8.7 0.0 Haskell
    Haskell code complexity and quality measurement
  • blanks

    3.9 2.9 Haskell
    Fill-in-the-blanks - A library factoring out substitution from ASTs
  • polysemy

    9.9 5.5 Haskell
    :gemini: higher-order, no-boilerplate monads
  • hs-pattrans

    3.7 3.9 Haskell
    A music pattern language, based on the MIREX Discovery of Repeated Themes & Sections task
  • config-value

    7.0 4.7 Haskell
    Simple, layout-based, unambiguous configuration language implemented in Haskell
  • ivory-avr-atmega328p-registers

    1.0 0.0 Haskell
    Ivory register bindings for the atmega328p
  • coformat

    6.2 0.0 Haskell
    Produce a clang-format file from some sample source code
  • sexp-grammar

    7.3 4.7 Haskell
    Invertible parsing for S-expressions
  • bitcoin-scripting

    6.4 0.0 Haskell
    Support for miniscript, script descriptors, and spending policies
  • brittany

    9.9 0.0 Haskell
    haskell source code formatter
  • hoop

    2.9 0.0 Haskell
    A Haskell library for object-oriented programming
  • call-alloy

    5.0 6.7 Haskell
    A simple library to call Alloy given a specification
  • aop-prelude

    1.6 1.1 Haskell
    Prelude for Algebra of Programming
  • birds-of-paradise

    2.5 1.1 Haskell
    yet another SK combinator library
  • config-schema

    5.1 6.1 Haskell
    Self-documenting, combinator constructed configuration schemas
  • elm-compiler

    10.0 5.4 Haskell
    Compiler for Elm, a functional language for reliable webapps.
  • fortran-src

    8.8 5.8 Haskell
    Fortran parsing and static analysis infrastructure
  • tempi

    0.6 0.0 Haskell
    A Haskell library for representing musical tempi, with a basic representation consisting of three orthogonal components (frequency,time,count of elapsed cycles/beats). Basic purpose is to allow multiple Haskell-based live coding languages to share a common representation of tempo.
  • ministg

    8.7 0.0 Haskell
    Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  • elm-bridge

    9.2 4.7 Elm
    Haskell: Derive Elm types from Haskell types
  • elsa

    9.4 2.9 Haskell
    Elsa is a lambda calculus evaluator
  • mikrokosmos

    8.6 0.0 Haskell
    (λ) Educational lambda calculus interpreter
  • language-ecmascript

    8.9 4.5 Haskell
    Haskell library: ECMAScript parser, pretty-printer and additional tools
  • language-bash

    8.1 0.0 Haskell
    Parse and pretty-print Bash shell scripts
  • lens-toml-parser

    1.0 6.9 Haskell
    Lenses for toml-parser
  • haskell-src-exts

    9.7 0.0 Haskell
    Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  • refinery

    8.5 3.5 Haskell
    ⛏️ A refinement proof framework for haskell
  • language-python

    9.5 2.7 Python
    A parser for Python 2.x and 3.x written in Haskell
  • hsx2hs

    6.1 0.0 Haskell
    Literal XML syntax in Haskell source code
  • hinterface

    7.8 0.0 Haskell
    Haskell / Erlang interoperability library
  • th-constraint-compat

    1.2 3.8 Shell
    Compatibility for type constraint template
  • ivory

    9.8 0.0 Haskell
    The Ivory EDSL
  • haskellish

    3.6 3.5 Haskell
    A library for parsing miniature and esoteric languages that are similar to Haskell
  • axel

    9.5 0.0 Haskell
    Haskell + Lisp
  • hardware-edsl

    4.4 0.0 Haskell
    VHDL flavour of imperative-edsl
  • haskell-exp-parser

    1.4 0.0 Haskell
    Simple parser parser from Haskell to TemplateHaskell expressions
  • haskell-names

    8.7 0.0 Haskell
    Haskell suite library for name resolution
  • clang-pure

    9.1 0.0 Haskell
    Easy C++ code analysis with pure Haskell
  • web-routes-th

    3.7 0.0 Haskell
    Support for deriving web-routes PathInfo using Template Haskell
  • language-javascript

    9.6 0.0 Haskell
    Parser for JavaScript, in Haskell
  • invertible-grammar

    2.3 1.5 Haskell
    Invertible parsing combinators framework
  • hwhile

    6.3 0.0 Haskell
    An interpreter for the While language written in Haskell
  • cmake-syntax

    4.2 0.0 Haskell
    A library for parsing CMake syntax
  • raw-feldspar

    8.3 0.0 Haskell
    Resource-AWare Feldspar
  • harp

    5.0 0.0 Haskell
    Import of harp-0.4 from hackage
  • hgrep

    9.1 0.8 Haskell
    Search Haskell source code from the command line
  • type-of-html

    9.1 0.0 Haskell
    High performance type safe html generation
  • language-sygus

    1.0 0.0 Haskell
    A parser and printer for the SyGuS 2.0 language.
  • toml-parser

    7.5 9.1 Haskell
    Haskell parser and printer for the TOML 1.0.0 file format
  • language-lua

    6.8 2.5 Lua
    Lua parser and pretty-printer
  • hunspell-hs

    1.3 3.6 Haskell
    Haskell bindings for Hunspell
  • language-asn

    2.2 0.0 Haskell
    ASN.1 encoding and decoding
  • layout-rules

    4.4 0.0 Haskell
    Layout implementations
  • mida

    3.6 0.0 Haskell
    Language for algorithmic generation of MIDI files
  • MicrosoftTranslator

    3.2 0.0 Haskell
    Haskell interface for Bing Translator
  • frp-arduino

    9.6 0.0 Haskell
    Arduino programming without the hassle of C.
  • mi

    3.2 0.0 Haskell
    Multiple Instance for Haskell
  • mecha

    7.5 0.0 Haskell
    A solid modeling language in Haskell.
  • gender

    1.8 0.0 Haskell
    Check a persons gender by their first name
  • CoreErlang

    8.1 0.0 Haskell
    AST, parser, pretty-printer for Core Erlang source code.
  • mcmc-synthesis

    5.0 0.0 Haskell
    MCMC applied to program synthesis
  • maude

    3.4 0.0 Haskell
    A Haskell interface to the Maude rewriting system
  • luthor

    4.2 0.0 Haskell
    Haskell library for lexing and utilizing lexemes.
  • luka

    1.9 0.0 Haskell
    Simple ObjectiveC runtime binding
  • formura

    8.8 0.0 L3 C
    Describe stencil formurae without even translating them
  • aterm-utils

    8.7 3.2 Haskell
    Utility functions for working with aterms as generated by Minitermite
  • lua-bc

    3.7 0.0 Haskell
    Lua bytecode parser
  • ltl

    3.7 0.0 Haskell
    Tools for testing embedded software with linear temporal logic.
  • foma

    3.2 0.0 Haskell
    Simple Haskell bindings for Foma.
  • lojysamban

    6.1 0.0 Haskell
    Prolog like language using lojban
  • lojbanParser

    7.5 0.0 Haskell
    lojban parser
  • Feval

    6.4 0.0 Haskell
    evaluation using f-algebras
  • codo-notation

    7.2 0.0 Haskell
    Codo notation for programming with comonads in Haskell
  • unlit

    5.3 0.0 HTML
    Tool to convert literate code between styles or to code.
  • LibClang

    8.6 0.0 Haskell
    Haskell FFI to libclang
  • tal

    9.3 0.0 Haskell
    An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  • lexer-applicative

    5.7 0.0 Haskell
    Applicative lexer
  • feldspar-signal

    2.0 0.0 Haskell
    Signal Processing for Embedded Domain Specific Languages in Haskell
  • array-forth

    7.6 0.0 Haskell
    A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  • abt

    5.7 0.0 Haskell
    Type safe abstract binding trees for Haskell, using Vinyl
  • syntactic

    8.0 0.0 Haskell
    Generic representation and manipulation of abstract syntax
  • jvm-parser

    9.0 3.5 Haskell
    A Haskell parser for JVM bytecode files
  • spir-v

    6.2 0.0 Haskell
    Haskell bindings for SPIR-V
  • SNet

    3.2 0.0 Haskell
    S-Net is a declarative coordination language for describing streaming networks of asynchronous components.
  • text-register-machine

    4.2 0.0 Haskell
    A Haskell implementation of the 1# Text Register Machine
  • turkish-deasciifier

    4.6 0.0 Haskell
    Haskell port of Deniz Yuret's Turkish deasciifier.
  • typescript-docs

    7.1 0.0 Haskell
    A documentation tool for TypeScript Definition files
  • interpol

    5.5 0.0 Haskell
    GHC preprocessor and library to enable variable interpolation in strings
  • explain

    3.5 0.0 Haskell
    explain

Add another 'Language' Package