George Pîrlea's repositories
shuttle
Shuttle is a library for testing concurrent Rust code
jepsen
A framework for distributed systems verification, with fault injection
getrandom
A small cross-platform library for retrieving random data from (operating) system source
mongo
The MongoDB Database
scylla
NoSQL data store using the seastar framework, compatible with Apache Cassandra
braft
An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
ivy-to-mypyvy
Convert an Ivy liveness problem to a mypyvy input file
raft
C implementation of the Raft consensus protocol
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Examples
A collection of TLA+ specifications of varying complexities
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ivy-mypyvy-syntax-highlighting
VSCode syntax highlighting extension for Ivy & mypyvy
click
The Click modular router: fast modular packet processing and analysis
charybdefs
ScyllaDB fault injection filesystem
Zilliqa
Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.
scilla
Scilla - A Smart Contract Intermediate Level Language
paxosstore
PaxosStore has been deployed in WeChat production for more than two years, providing storage services for the core businesses of WeChat backend. Now PaxosStore is running on thousands of machines, and is able to afford billions of peak TPS.
gozilliqa-sdk
Zilliqa golang sdk
toychain
A minimalistic blockchain consensus implemented and verified in Coq
vscode
Visual Studio Code