stepchowfun
Entrepreneur/engineer with a broad range of interests in computer science and software, especially type theory and distributed systems.
Notion Labs, Inc.San Francisco, CA
Pinned Repositories
docuum
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
effects
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
hashpass
A simple password manager with a twist.
proofs
My personal repository of formally verified mathematics.
raytracer
A browser-based real-time raytracer written in CoffeeScript.
socket.js
A realtime communication framework for Node.js.
tagref
Tagref helps you manage cross-references in your code.
theorem-prover
An automated theorem prover for first-order logic.
toast
Containerize your development and continuous integration environments. 🥂
typical
Data interchange with algebraic data types.
stepchowfun's Repositories
stepchowfun/toast
Containerize your development and continuous integration environments. 🥂
stepchowfun/docuum
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
stepchowfun/typical
Data interchange with algebraic data types.
stepchowfun/proofs
My personal repository of formally verified mathematics.
stepchowfun/theorem-prover
An automated theorem prover for first-order logic.
stepchowfun/tagref
Tagref helps you manage cross-references in your code.
stepchowfun/socket.js
A realtime communication framework for Node.js.
stepchowfun/hashpass
A simple password manager with a twist.
stepchowfun/effects
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
stepchowfun/raytracer
A browser-based real-time raytracer written in CoffeeScript.
stepchowfun/data-structure-explorer
A web-based pedagogical tool for exploring data structures.
stepchowfun/cfg-checker
Search for ambiguities in context-free grammars.
stepchowfun/unicode
Portable ASCII and Unicode string manipulation functions for C++.
stepchowfun/doesgoogleexecutejavascript
Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
stepchowfun/dotfiles
My configuration files.
stepchowfun/paxos
An implementation of single-decree Paxos.
stepchowfun/dubstepn
My personal blog.
stepchowfun/base16-circus-scheme
A theme for the Base16 color system.
stepchowfun/coq-intro
An introduction to proving theorems and certifying programs with Coq.
stepchowfun/gigamesh
A home for all your notes.
stepchowfun/subjunct
A website for sharing secrets.
stepchowfun/garnet
A fast and minimalist template engine for Node.
stepchowfun/stem-cell
A simple project to demonstrate the cross-platform release management process I use for my open source work.
stepchowfun/gists
Small projects that don't deserve their own repository.
stepchowfun/huffgram
An injective function from strings to natural language phrases.
stepchowfun/icu-demo
A simple program demonstrating how to build and statically link ICU.