ShellCheck, a static analysis tool for shell scripts

A Dependently Typed Functional Programming Language

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

lamdu - towards the next generation IDE

Liquid Types For Haskell

Functional programming with fewer indirections

Haskell API search engine

Cgrep: a context-aware grep for source codes

Simple blockchain server written in Haskell for educational purposes

Haskell-powered Python 3 interpreter

Smart Contracts Running on a BFT Hardened Raft

An implementation of Python 3

Relational programming in Haskell. Mostly developed on twitch.

Try Haskell

Proof-of-concept Blockchain in Haskell

Password generator