A LLVM based compiler for a simple APL like language

A wrapper for dasm and @bbcmicrobot

Haskell language tools for Python

🎮 NES Emulator written in Haskell

Quasiquoter for LLVM

Software defined radio library in Haskell

Formalizations of Gödel's Ontological Proof of God's Existence

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

Tests for all valid opcodes of the 6502 and 65C02 processor

Modular softsynth

A simple and educational compiler for the SASL programming language

A toy Python interpreter with monad comprehensions

Proofs I write while teaching myself Agda

Testing out target counting algorithms using Euler numbers

A document about monads