REST API for any Postgres database

A friendly programming language from the future

A modern proof language

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

💥💻💥 A data-parallel functional programming language

🍜 A tasty Haskell web framework

C to Rust translator

lamdu - towards the next generation IDE

The Haskell-Scriptable Editor

Deep Learning in Haskell

Very low feature GHCi based IDE

♊ higher-order, no-boilerplate monads

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

A formatter for Haskell source code

Functional reactive web and mobile applications, with batteries included.

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

Embedded language for high-performance array computations

The Egison Programming Language

A wayland compositor based on ideas from and inspired by xmonad

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell implemented with combinators

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

A prompt engineering functional programming language

A language for intent-centric and declarative decentralised applications

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

A type-safe, high-level SQL library for Haskell

Generically derive traversals, lenses, and prisms.

Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.