ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

A modern proof language

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A static website compiler library in Haskell

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

What I Wish I Knew When Learning Haskell

C to Rust translator

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Haskell source code suggestions

《Real World Haskell》中文翻译项目

Functional Programming Course

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

The Egison Programming Language

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Haskell-powered Python 3 interpreter

🚧 a work in progress effect system for Haskell 🚧

Euterpea version 2

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

这是Haskell函数式编程入门第2版的源码

A simplified implementation of Erlang/OTP like supervisor for GHC thread