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 statically typed lisp, without a GC, for real-time applications.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Functional Programming Course

A modern proof language

Ethereum smart contract fuzzer

Terminal-based presentations using Pandoc

A multilingual package manager for Arch Linux and the AUR.

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

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

A proper subset of Haskell that compiles to JavaScript

Bluespec Compiler (BSC)

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Shell programming, Haskell style

Algebraic graphs

a small .pdf management tool with a command-line UI

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Haskell implemented with combinators

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Release with confidence, state-of-the-art property testing for Haskell.

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

Extremely modular text editor built in Haskell

🕵️ Haskell STatic ANalyser

Generator of runtime monitors for flight and robotics applications.

Compiler for the Gren programming language