Popular repositories Loading

1. Specula Specula Public

   Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

   Python 88 13

2. SysMoBench SysMoBench Public

   SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

   TLA 11 1

3. raft raft Public

   Forked from etcd-io/raft

   Raft library for maintaining a replicated state machine

   Go

4. hashicorp-raft hashicorp-raft Public

   Forked from hashicorp/raft

   Golang implementation of the Raft consensus protocol

   Go

5. sofa-jraft sofa-jraft Public

   Forked from sofastack/sofa-jraft

   A production-grade java implementation of RAFT consensus algorithm.

   Java

6. braft braft Public

   Forked from baidu/braft

   An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

   C++