Check out my personal homepage athttps://josehu.com 😎

PinnedLoading

1. summersetsummersetPublic

   Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research 🌅

   Rust 12 2

2. madkvmadkvPublic

   Template of a Distributed Key-Value Store Project Series for Teaching Distributed Systems 🧑‍🏫

   Rust 4 3

3. hux-kernelhux-kernelPublic

   The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial) 💽

   C 70 3

4. Open-CAS/ocfOpen-CAS/ocfPublic

   Open CAS Framework

   C 177 81

5. tlaplus/Examplestlaplus/ExamplesPublic

   A collection of TLA⁺ specifications of varying complexities.

   TLA 1.3k 205

6. garnergarnerPublic

   Hierarchical Validation in OCC on a B+-tree Index 🌲

   C++ 4