Popular repositories

1. raft Public

   The consensus algorithm based on MIT6.824 has passed lab2 and lab3 tests in Golang

   Go 1

2. craft Public

   c implementation of raft consensus algorithm

   C 1

3. raft.tla Public

   Forked from jinlmsft/raft.tla

   TLA+ specification for the Raft consensus algorithm

   TLA 1

4. ocaml-raft Public

   Forked from heidihoward/ocaml-raft

   Implementation of Raft consensus algorithm

   OCaml

5. mysql-server Public

   Forked from mysql/mysql-server

   MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

   C++

6. schoolMIPS Public

   Forked from MIPSfpga/schoolMIPS

   CPU microarchitecture, step by step

   Verilog