Stephan Boyer

toast. Containerize your development and continuous integration environments. 🥂

typical. Data interchange with algebraic data types.

docuum. Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

proofs. My personal repository of formally verified mathematics.

theorem-prover. An automated theorem prover for first-order logic.

tagref. Tagref helps you manage cross-references in your code.

socket.js. A realtime communication framework for Node.js.

hashpass. A simple password manager with a twist.

effects. A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

raytracer. A browser-based real-time raytracer written in CoffeeScript.

data-structure-explorer. A web-based pedagogical tool for exploring data structures.

cfg-checker. Search for ambiguities in context-free grammars.

unicode. Portable ASCII and Unicode string manipulation functions for C++.

dotfiles. My configuration files.

doesgoogleexecutejavascript. Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.

paxos. An implementation of single-decree Paxos.

dubstepn. My personal blog.

base16-circus-scheme. A theme for the Base16 color system.

gigamesh. A home for all your notes.

coq-intro. An introduction to proving theorems and certifying programs with Coq.

subjunct. A website for sharing secrets.

stem-cell. A simple project to demonstrate the cross-platform release management process I use for my open source work.

garnet. A fast and minimalist template engine for Node.

shell-agent. A simple AI agent that only knows how to run shell commands.

gists. Small projects that don't deserve their own repository.

huffgram. An injective function from strings to natural language phrases.