ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A modern proof language

Haskell to JavaScript compiler, based on GHC

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Parsing and analysis of Vertica, Hive, and Presto SQL.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

A native compiler backend for PureScript (via C++ or Golang)

A CSS preprocessor as embedded Haskell.

Standard library for linear types in Haskell.

Erlang backend for the PureScript compiler

website for browsing packages and exploring documentation

A small strongly typed language that compiles to Erlang (not JavaScript)

A build tool for Elm projects

Generate Erlang VM byte code from Haskell

Exploring Elm on the Erlang VM

GHCJS front-end for queryparser

Libraries we use at NoRedInk

A Foreign Function Interface that lets Haskell and Erlang programs communicate.

Compile ICU messages into code. Supports TypeScript and JSX. No runtime.