Guo Hua's repositories
lede
Lean's LEDE source
mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
ofp
OpenFastPath project
proxychains-ng
proxychains ng (new generation) - a preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies. continuation of the unmaintained proxychains project. the sf.net page is currently not updated, use releases from github release page instead.
raft-rs
Raft distributed consensus algorithm implemented in Rust.
scupt-util
scupt-util
sedeve-kit
Specification-Driven Development Kit
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus-specification
TLA+ specification