A modern supercompiler for call-by-value functional languages

A precise specification for "Rust lite / MIR plus"

draw.io is a JavaScript, client-side editor for general diagramming.

Haskell interactive serverside web framework inspired by HTMX

A Markdown to HTML compiler written in Haskell.

A modern computer algebra library for Python and Rust.

Define communication protocols between applications using algebraic data types.

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark

Companion Site for Economic Networks: Theory and Computation

A new markup-based typesetting system that is powerful and easy to learn.

Generator of runtime monitors for flight and robotics applications.

Agda formalisation of the Introduction to Homotopy Type Theory

Resource gathering + programming game

The original Haskell + IPFS prototype of the yatima language

Esoteric Programming Language

Benchmarking compiler representations of variable environments

Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?

A simple, retro theme for Hugo

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

The Agda standard library

Dependent type checker using normalisation by evaluation

Functional programming with fewer indirections

Demo for high-performance type theory elaboration

Lambda normalization and conversion checking benchmarks for various implementations

Minimal implementations for dependent type checking and elaboration

Hermes software environment manager

Compiler for the Mirth programming language.

A multilingual package manager for Arch Linux and the AUR.

The Helium compiler, Helium-as-a-library, and the texthint interpreter

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde