A friendly programming language from the future

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

A modern proof language

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

💥💻💥 A data-parallel functional programming language

lamdu - towards the next generation IDE

A proper subset of Haskell that compiles to JavaScript

The Egison Programming Language

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Simple blockchain server written in Haskell for educational purposes

Reach: The Safest and Smartest DApp Programming Language

A language for intent-centric and declarative decentralised applications

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

Smart Contracts Running on a BFT Hardened Raft

Peer-to-peer encrypted message exchange

A CSS preprocessor as embedded Haskell.

React bindings for Haskell

High-powered REPL for Haskell, inspired by IPython

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

A typed, polyglot, functional language

CQL: Categorical Query Language implementation in Haskell

A REPL for Elm

A cellular automaton for studying self-modifying agents which are embedded in their environment

Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other.

Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc

Hardware Design for the Rho Calculus

Rholang in Haskell