Guo Hua (ybbh)

ybbh

Geek Repo

Company:China

Location:Shanghai

Github PK Tool:Github PK Tool

Guo Hua's repositories

Language:TLAStargazers:2Issues:0Issues:0

lede

Lean's LEDE source

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mysql-server

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

ofp

OpenFastPath project

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

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

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

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.

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

raft-rs

Raft distributed consensus algorithm implemented in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

scupt-util

scupt-util

Language:RustStargazers:0Issues:0Issues:0

sedeve-kit

Specification-Driven Development Kit

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TLAStargazers:0Issues:0Issues:0

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

tlaplus-specification

TLA+ specification

Language:TLALicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TLAStargazers:0Issues:1Issues:0
Language:TLALicense:MITStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0