Pinned Repositories
example-2pc
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
postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see http://wiki.postgresql.org/wiki/Submitting_a_Patch
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.
sedeve-kit
Specification-Driven Development Kit
tla_state
tlaplus-specification
TLA+ specification
ybbh's Repositories
ybbh/tla_state
ybbh/example-2pc
ybbh/lede
Lean's LEDE source
ybbh/mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
ybbh/ofp
OpenFastPath project
ybbh/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see http://wiki.postgresql.org/wiki/Submitting_a_Patch
ybbh/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.
ybbh/raft-rs
Raft distributed consensus algorithm implemented in Rust.
ybbh/scupt-util
scupt-util
ybbh/sedeve-kit
Specification-Driven Development Kit
ybbh/tddb
ybbh/tla_symmetry_test
ybbh/tlaplus-specification
TLA+ specification
ybbh/scupt-fuzzy
Fuzz testing library for distributed systems.
ybbh/scupt-net
scupt network
ybbh/scupt-raft
ybbh/SedeveModules
ybbh/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ybbh/tlaplus2pc
ybbh/tpcc-mysql