Highlights
- Pro
Stars
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
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy
Breaking up mizar articles into bits and computing relations among them.
Tools for exploring logic through Lorenzen dialogue games.
Git extensions to provide high-level repository operations for Vincent Driessen's branching model.
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