A statically-typed, functional typesetting system

Rapid prototyping with GHCi

Logic for story telling!

Full-scene rasterizer

git protocol and storage in pure haskell

Regex-based parsing with an applicative interface

haskell source code formatter

JVM bytecode back end for Idris

DEPRECATED, Please migrate to latest version of gl-react-native that works nicely with expo-gl and unimodules

inkle's open source scripting language for writing interactive narrative.

being the beginnings of at least zero typecheckers

Staged compilation for Clojure through environment & special-form aware syntax-quoting.

10 papers that all PhD students in programming languages ought to know, for some value of 10

Implementations of various type systems in OCaml.

Links to publicly available preprints for the POPL'16 conference

Experiments on the construction of functions

Browse the open-source Clojure ecosystem

Functioning: A Game Framework based on SDL for Standard ML

A simple development of linear logic in Coq.

PLT Redex model of basic Dependently Typed Racket calculus

The Lux Programming Language

A modern syntax for the λ-calculus.

A foundational framework for distributed programming.

A Wildflower IDE for touch devices.

Irmin is a distributed database that follows the same design principles as Git

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

OptiKey - Full computer control and speech with your eyes

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Assistive Context-Aware Toolkit (ACAT)

optimize academic pdfs for e-readers