stepchowfun

Stephan Boyer's repositories

toast

Containerize your development and continuous integration environments. 🥂

Language:RustNOASSERTION1544 13 42

docuum

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

Language:RustNOASSERTION563 4 44

typical

Data interchange with algebraic data types.

Language:RustNOASSERTION551 8 5

proofs

My personal repository of formally verified mathematics.

Language:CoqNOASSERTION286 11 2

theorem-prover

An automated theorem prover for first-order logic.

Language:Python234 16 6

tagref

Tagref helps you manage cross-references in your code.

Language:RustNOASSERTION168 5 3

socket.js

A realtime communication framework for Node.js.

Language:JavaScript143 10 2

hashpass

A simple password manager with a twist.

Language:TypeScriptNOASSERTION115 7 5

effects

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

Language:HaskellNOASSERTION99 90

raytracer

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

Language:CSS52 50

data-structure-explorer

A web-based pedagogical tool for exploring data structures.

Language:JavaScript48 6 1

cfg-checker

Search for ambiguities in context-free grammars.

Language:C++39 5 1

unicode

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

Language:C++21 30

doesgoogleexecutejavascript

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

Language:JavaScript14 3 1

dotfiles

My configuration files.

Language:ShellNOASSERTION14 3 1

paxos

An implementation of single-decree Paxos.

Language:RustNOASSERTION11 3 1

dubstepn

My personal blog.

Language:Ruby9 30

base16-circus-scheme

A theme for the Base16 color system.

NOASSERTION6 40

coq-intro

An introduction to proving theorems and certifying programs with Coq.

Language:Coq5 30

gigamesh

A home for all your notes.

Language:TypeScriptNOASSERTION5 30

subjunct

A website for sharing secrets.

Language:Ruby3 30

garnet

A fast and minimalist template engine for Node.

Language:JavaScriptMIT2 30

stem-cell

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

Language:ShellNOASSERTION2 30

gists

Small projects that don't deserve their own repository.

Language:PythonNOASSERTION1 40

huffgram

An injective function from strings to natural language phrases.

Language:JavaScript1 30

icu-demo

A simple program demonstrating how to build and statically link ICU.

Language:C030