Pinned

1. toast

   Containerize your development and continuous integration environments. 🥂

   Rust 691 16

2. proofs

   A selection of formal proofs in Coq.

   Coq 136 3

3. effects

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

   Haskell 98 9

4. hashpass

   A simple, stateless password manager for Chrome.

   JavaScript 86 18

5. tagref

   Tagref helps you refer to other locations in your codebase.

   Rust 2 1

6. docuum

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

   Rust 135 7