Pinned Loading

1. summerset summerset Public

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

   Rust 19 4

2. madkv madkv Public

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

   Rust 5 7

3. hux-kernel hux-kernel Public

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

   C 70 3

4. codetective codetective Public

   Takes code, gives AI authorship detection in five clicks 🔎

   Rust 5

5. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 3.1k 271

6. garner garner Public

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

   C++ 4