Pinned

1. toast Public

   Containerize your development and continuous integration environments. 🥂

   Rust 1.5k 36

2. typical Public

   Data interchange with algebraic data types.

   Rust 123 3

3. tagref Public

   Tagref helps you maintain cross-references in your code.

   Rust 131 2

4. docuum Public

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

   Rust 454 23

5. proofs Public

   My personal repository of formally verified mathematics.

   Coq 240 9

6. hashpass Public

   A simple password manager with a twist.

   TypeScript 112 19