Universal markup converter

ShellCheck, a static analysis tool for shell scripts

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A modern proof language

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

Agda is a dependently typed programming language / interactive theorem prover.

What I Wish I Knew When Learning Haskell

💥💻💥 A data-parallel functional programming language

The Eta Programming Language, a dialect of Haskell on the JVM

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 101 and 102: slides and codelabs

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

The Egison Programming Language

A standard library for Haskell

Slides and other materials for functional programming lectures ITMO university

A language for intent-centric and declarative decentralised applications

Compiler for the Gren programming language

🎮 NES Emulator written in Haskell

A set of challenges for jump starting your understanding of monads.

A probabilistic programming language

Euterpea version 2

Supporting Impelementation for Haskell School of Music

Document introducing the features and design of the friday library

Topos is a learn-by-doing compiler project.