Pinned Loading

1. toast toast Public

   Containerize your development and continuous integration environments. 🥂

   Rust 1.6k 39

2. typical typical Public

   Data interchange with algebraic data types.

   Rust 754 13

3. tagref tagref Public

   Tagref helps you manage cross-references in your code.

   Rust 216 9

4. docuum docuum Public

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

   Rust 670 43

5. proofs proofs Public

   My personal repository of formally verified mathematics.

   Rocq Prover 307 14

6. hashpass hashpass Public

   A simple password manager with a twist.

   TypeScript 119 21