The power of Claude Code / GeminiCLI / CodexCLI + [Gemini / OpenAI / OpenRouter / Azure / Grok / Ollama / Custom Model / All Of The Above] working as one.

The JSON Schema specification

Utilities for working with XSL files.

Working with the XML forms of TPTP problems

Theory development with TPTP

Services for parsing Mizar texts

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.

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.

Aquamacs Emacs

My .emacs.el file and other personal Emacs goodies

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