ShellCheck, a static analysis tool for shell scripts

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

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

A modern proof language

Linux VR Desktop

A RESTful Haskell web framework built on WAI.

🍜 A tasty Haskell web framework

C to Rust translator

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

Research language for array processing in the Haskell/ML family

The Haskell-Scriptable Editor

♊ higher-order, no-boilerplate monads

A formatter for Haskell source code

A programming language with static memory management based on λ-calculus

Industrial-strength monadic parser combinator library

A peer-to-peer stack for code collaboration

A standard library for Haskell

A visual Haskell

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Extremely modular text editor built in Haskell

Simple blockchain server written in Haskell for educational purposes

Improve your shell by making it functional through Haskell! (An update to Awkward)

A demo web browser engine written in Haskell

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

The MonadUnliftIO typeclass for unlifting monads to IO

A Pascal to LLVM compiler in Haskell

📚 A softer alternative to Haddock

Express parametrable, composable and portable data pipelines

compiler with polyhedral optmization for a lazy functional programming language