The math library of Lean 4

RFC6265 cookie libraries for Racket

Faceted execution in Racket

Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]

Preparatory Material for RacketFest

Chez Scheme

A self-hosting Scheme to WebAssembly compiler

A parallelism library for Common Lisp.

Utilities for working with XSL files.

Working with the XML forms of TPTP problems

Theory development with TPTP

Services for parsing Mizar texts

Web server written in Common Lisp

Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy

My fink work

Breaking up mizar articles into bits and computing relations among them.

Licensing for the Mizar Mathematical Library

A home for all my exploratory git code

Tools for exploring logic through Lorenzen dialogue games.

Git extensions to provide high-level repository operations for Vincent Driessen's branching model.

MSc Thesis: Evidentialist Logic

mizarmode

Aquamacs Emacs

My .emacs.el file and other personal Emacs goodies

Double-entry accounting system with a command-line reporting interface

A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X