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

The core component that is used to participate in a Cardano decentralised blockchain.

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

The Plutus language implementation and tools

Haskell LLVM JIT Compiler Tutorial

A REPL for Elm

Simple Haskell http framework

BlocVoting Haskell implementation for voting securely on a satoshi blockchain using liquid democracy

comp 520 go compiler