A strongly-typed language that compiles to JavaScript

Functional Programming Course

A Dependently Typed Functional Programming Language

A proper subset of Haskell that compiles to JavaScript

Functional Programming Course

🚧 a work in progress effect system for Haskell 🚧

Introduction to parsing with Haskell and Parsec

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Algorithms from AIMA in Haskell

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Simply Reactive! Declarative orchestration in Haskell using RDP

The Ermine Programming Language - Join us on irc.freenode.net #ermine

A Super Kawaii Dependently Typed Programming Language

Unit test example for Haskell

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

JSON decoding/encoding/manipulation library.

Hopefully verifiable code generation in GHC

The Ntha Programming Language

A fast, low-level HTTP server you can trust

annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski

BFPG Talk on Yesod

winning the PONG benchmark at all costs