Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

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

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

Functional Programming Course

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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

Terminal-based presentations using Pandoc

💥💻💥 A data-parallel functional programming language

A wiki using HAppS, pandoc, and git

C to Rust translator

lamdu - towards the next generation IDE

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Homomorphic machine learning

A declarative Unix terminal UI library written in Haskell

Miscellaneous articles. The readme is the table of contents.

A proper subset of Haskell that compiles to JavaScript

Cryptol: The Language of Cryptography

A statically typed concatenative systems programming language.

Huge list of videos, talks, courses for Haskell programming language.

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Functional Programming Course

Pandoc filter for cross-references

Command line client for Nix binary cache hosting: