reflectionalist

S9fES

Scheme 9 from Empty Space

DS-PhPL

Discussion Seminar: Philosophy of Programming Lanugages

Hypercube

A Haskell implementation of cumulative Universal Type Theory with a single binder

LC

Lambda Calculators

SExp

A library for parsing and serializing s-expressions

CL

Experimentation with Combinatory Logic

ldoce5viewer

Fast dictionary viewer for the Longman Dictionary of Contemporary English (LDOCE) 5th Edition.

Twelve

Twelf playground

3-lisp

3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

3Lisp.Ruby

Experimental 3Lisp interpreter written in Ruby.

AoPL

A book on programming languages, using Haskell

APEXCalculus_Source

Source files for the APEX Calculus text

beakerbrowser.com

Source code for https://beakerbrowser.com

Bibliographies

DotFiles

My dot-files

Godels-Incompleteness-Theorems

A detailed explanation of one of the most important results in the history of math.

hygienic-transformations

Hygienic Transformations

Kiwi

A simple, intuitive and elegant wiki markup language

Liscal

A Scheme dialect in Rascal

pandoc

Universal markup converter

pts

A Haskell implementation of the Pure Type System

rascal

The core interpreter of the Rascal meta-programming language

Seeing-Theory

A visual introduction to probability and statistics.

TiddlyWiki5

A reboot of TiddlyWiki for the next 25 years

wiki-website

Support site for Markdown Editor Typora