Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: 15 Oct 2024

https://github.com/stepchowfun/docuum

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

docker docker-images lru-eviction

Last synced: 30 Oct 2024

https://github.com/stepchowfun/proofs

My personal repository of formally verified mathematics.

coq formal-verification interactive-theorem-proving proof-assistant type-theory

Last synced: 10 Oct 2024

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: 30 Oct 2024

https://github.com/stepchowfun/socket.js

A realtime communication framework for Node.js.

Last synced: 27 Oct 2024

https://github.com/stepchowfun/hashpass

A simple password manager with a twist.

password password-manager security security-tools

Last synced: 26 Oct 2024

https://github.com/stepchowfun/raytracer

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

Last synced: 04 Aug 2024

https://github.com/stepchowfun/dotfiles

My configuration files.

dotfiles

Last synced: 28 Oct 2024

https://github.com/stepchowfun/paxos

An implementation of single-decree Paxos.

paxos rust

Last synced: 28 Oct 2024

https://github.com/stepchowfun/base16-circus-scheme

A theme for the Base16 color system.

base16-color color-scheme

Last synced: 06 Nov 2024

https://github.com/stepchowfun/gigamesh-schema

The Typical schema for the Gigamesh data model.

Last synced: 06 Nov 2024

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: 28 Oct 2024

https://github.com/stepchowfun/pico

Scaffolding for programming and debugging a Raspberry Pi Pico or Pico W.

Last synced: 06 Nov 2024