Pinned Loading

1. rithvikp/autocomp rithvikp/autocomp Public

   Scala 5

2. rollbaccine rollbaccine Public

   Linux kernel module using 2f+1 state machines to prevent rollback attacks in CVMs

   C 2

3. hydroflow hydroflow Public

   Forked from hydro-project/hydroflow

   Hydro's low-level dataflow runtime

   Rust

4. bud-paxos bud-paxos Public

   Experimenting with implementing things in bud

   Ruby 5

5. Autoscaling-Paxos Autoscaling-Paxos Public

   A Paxos protocol that is capable of scaling dynamically

   C++ 3 1

6. scalog/scalog-old scalog/scalog-old Public archive

   Go 5