Stephan Boyer

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

stepchowfun

Data interchange with algebraic data types.

stepchowfun

Containerize your development and continuous integration environments. 🥂

stepchowfun

My personal repository of formally verified mathematics.

stepchowfun

A simple password manager with a twist.

stepchowfun

A realtime communication framework for Node.js.

stepchowfun

An automated theorem prover for first-order logic.

stepchowfun

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

stepchowfun

Tagref helps you manage cross-references in your code.

stepchowfun

Search for ambiguities in context-free grammars.

stepchowfun