Projects in Awesome Lists by stepchowfun
A curated list of projects in awesome lists by stepchowfun .
https://github.com/stepchowfun/toast
Containerize your development and continuous integration environments. 🥂
build-system build-tool ci containers continuous-integration dev-environment development-environment docker
Last synced: 13 May 2025
https://github.com/stepchowfun/docuum
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
docker docker-images lru-eviction
Last synced: 14 May 2025
https://github.com/stepchowfun/typical
Data interchange with algebraic data types.
algebraic-data-types data-interchange idl interface-definition-language interface-description-language serialization type-safety types
Last synced: 14 May 2025
https://github.com/stepchowfun/proofs
My personal repository of formally verified mathematics.
coq formal-verification interactive-theorem-proving proof-assistant type-theory
Last synced: 12 Apr 2025
https://github.com/stepchowfun/tagref
Tagref helps you manage cross-references in your code.
continuous-integration cross-reference cross-references cross-referencing linter
Last synced: 13 Apr 2026
https://github.com/stepchowfun/socket.js
A realtime communication framework for Node.js.
Last synced: 17 Mar 2025
https://github.com/stepchowfun/hashpass
A simple password manager with a twist.
password password-manager security security-tools
Last synced: 05 Apr 2025
https://github.com/stepchowfun/raytracer
A browser-based real-time raytracer written in CoffeeScript.
Last synced: 13 May 2025
https://github.com/stepchowfun/paxos
An implementation of single-decree Paxos.
Last synced: 12 Jul 2025
https://github.com/stepchowfun/base16-circus-scheme
A theme for the Base16 color system.
Last synced: 22 Apr 2025
https://github.com/stepchowfun/stem-cell
A simple project to demonstrate the cross-platform release management process I use for my open source work.
Last synced: 22 Mar 2025
https://github.com/stepchowfun/gigamesh-schema
The Typical schema for the Gigamesh data model.
Last synced: 22 Apr 2025
https://github.com/stepchowfun/pico
Scaffolding for programming and debugging a Raspberry Pi Pico or Pico W.
Last synced: 07 Jul 2025