The Wayback Machine - https://web.archive.org/web/20201125044133/https://github.com/stepchowfun
Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@gramlang

Pinned

  1. Containerize your development and continuous integration environments. 🥂

    Rust 733 18

  2. A selection of formal proofs in Coq.

    Coq 136 4

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

    Haskell 97 9

  4. A simple, stateless password manager for Chrome.

    JavaScript 88 17

  5. Tagref helps you refer to other locations in your codebase.

    Rust 13 1

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

    Rust 162 8

1,912 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2020

Opened 45 pull requests in 5 repositories
stepchowfun/gigamesh
1 open 38 merged
stepchowfun/webpack-scaffolding
3 merged
gramlang/gram
1 merged
stepchowfun/dotfiles
1 merged
stepchowfun/toast
1 merged
You can’t perform that action at this time.