Skip to content
Avatar
301 followers · 7 following · 13

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@gramlang
Block or Report

Block or report stepchowfun

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. toast

    Containerize your development and continuous integration environments. 🥂

    Rust 796 20

  2. proofs

    A selection of formal proofs in Coq.

    Coq 137 5

  3. effects

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

    Haskell 97 9

  4. hashpass

    A simple, stateless password manager for Chrome.

    JavaScript 92 18

  5. tagref

    Tagref helps you refer to other locations in your codebase.

    Rust 18 1

  6. docuum

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

    Rust 240 13

1,774 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 1, 2021

stepchowfun has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.