ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

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

A Dependently Typed Functional Programming Language

🍜 A tasty Haskell web framework

The engine for haskell ide-integration. Not an IDE

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

A declarative Unix terminal UI library written in Haskell

A statically typed concatenative systems programming language.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Haskell LLVM JIT Compiler Tutorial

Kit: a magical, high performance programming language, designed for game development.

Extremely modular text editor built in Haskell

An interpreter for learning and exploring pure λ-calculus

Haskell bindings to the SDL2 library

An ML-like functional programming language

A high-level ncurses alternative written in Haskell

Haskell WebAssembly Toolkit

Exploring Elm on the Erlang VM

Command Line Interface File Manager

WebAssembly Code Generation Backend for Idris Compiler

An interpreter for Monkey with parser combinator written in Haskell

gopher library & server written in Haskell

Template for Hindley-Milner based languages

Ikko language

A Scheme compiler to Lua bytecode

Recursive downloader for the gopher protocol

A port of the very serious work to support GOPHER