Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

The core component that is used to participate in a Cardano decentralised blockchain.

Haskell to JavaScript compiler, based on GHC

A wiki using HAppS, pandoc, and git

Project: M36 Relational Algebra Engine

Experimental implementation of Cubical Type Theory

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…

A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.

Type-safe, composable microservices for data analytics

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

A personal website / #indieweb engine [OLD VERSION]

Semantic Version Control mk II.

A Slack Bot for UNIX-style ChatOps

The classic "bowling game" exercise in Haskell, first built ad-hoc, then with TDD