Skip to content

Organizations

@airbnb @gramlang

Pinned

  1. Containerize your development and continuous integration environments. 🥂

    Rust 681 14

  2. A selection of formal proofs in Coq.

    Coq 133 3

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

    Haskell 98 9

  4. A simple, stateless password manager for Chrome.

    JavaScript 85 18

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

    Rust 1

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

    Rust 113 4

1,094 contributions in the last year

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

Contribution activity

June 2020

Created a pull request in stepchowfun/gigamesh that received 1 comment

Update the deploy logic to explicitly prevent bad intermediate states

Update the deploy logic to explicitly prevent bad intermediate states. See the inline comment for details.

+6 −2 1 comment

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

You can’t perform that action at this time.