stepchowfun
Follow
-
-
typical Public
Data interchange with algebraic data types.
-
toast Public
Containerize your development and continuous integration environments. 🥂
-
tagref Public
Tagref helps you manage cross-references in your code.
-
paxos Public
An implementation of single-decree Paxos.
-
docuum Public
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
-
stem-cell Public
A simple project to demonstrate the cross-platform release management process I use for my open source work.
-
proofs Public
My personal repository of formally verified mathematics.
-
pico Public
Scaffolding for programming and debugging a Raspberry Pi Pico or Pico W.
C Other UpdatedMar 20, 2025 -
hashpass Public
A simple password manager with a twist.
-
base16-circus-scheme Public
A theme for the Base16 color system.
-
-
effects Public archive
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
-
gists Public archive
Small projects that don't deserve their own repository.
-
-
theorem-prover Public archive
An automated theorem prover for first-order logic.
-
cfg-checker Public archive
Search for ambiguities in context-free grammars.
-
coq-intro Public archive
An introduction to proving theorems and certifying programs with Coq.
-
unicode Public archive
Portable ASCII and Unicode string manipulation functions for C++.
-
-
raytracer Public archive
A browser-based real-time raytracer written in CoffeeScript.
-
icu-demo Public archive
A simple program demonstrating how to build and statically link ICU.
C UpdatedMay 14, 2017 -
garnet Public archive
A fast and minimalist template engine for Node.
-
doesgoogleexecutejavascript Public archive
Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
-
data-structure-explorer Public archive
A web-based pedagogical tool for exploring data structures.
-
socket.js Public archive
A realtime communication framework for Node.js.
-
huffgram Public archive
An injective function from strings to natural language phrases.