🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

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

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

Cryptol: The Language of Cryptography

A formatter for Haskell source code

Haskell API search engine

Minimal implementations for dependent type checking and elaboration

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

A simple library for reporting compiler/interpreter errors

The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch

Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system

A statically-typed, low-level, functional programming language with some focus on runtime performance

Haskell implementation of the Acid language

Imperative programming language that brings love by its simplicity.

DreamBerd 4

A simple functional and imperative programming language written in Haskell.

⚛️ Basically a typed javascript dialect that compile to C.

A little Brainfuck Interpreter written in Haskell in order to practice Monad Transformers.

A simple Bytecode interpreter written in Haskell

get closures ready to compile

This is my entire training course on the Haskell programming language.