Pinned Loading

1. sraft-rs sraft-rs Public

   An implementation of Raft. Used for distributed consensus (atomic broadcast), similar to Paxos, Apache Zookeeper's ZAB.

   Rust 1

2. verus-lang/verus verus-lang/verus Public

   Verified Rust for low-level systems code

   Rust 1.3k 76

3. argo-workflows argo-workflows Public

   Forked from argoproj/argo-workflows

   Workflow engine for Kubernetes

   Go 2

4. paxos-rs paxos-rs Public

   Formally verified implementation of Paxos for consensus in distributed systems.

   Rust 4

5. bitdb bitdb Public

   Implementation of the bitcask paper

   Rust

6. microc microc Public

   A (mostly) working C compiler

   Haskell 1