PinnedLoading

1. toasttoastPublic

   Containerize your development and continuous integration environments. 🥂

   Rust 1.6k 40

2. typicaltypicalPublic

   Data interchange with algebraic data types.

   Rust 612 11

3. tagreftagrefPublic

   Tagref helps you manage cross-references in your code.

   Rust 198 9

4. docuumdocuumPublic

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

   Rust 624 34

5. proofsproofsPublic

   My personal repository of formally verified mathematics.

   Coq 295 12

6. hashpasshashpassPublic

   A simple password manager with a twist.

   TypeScript 117 22