Yu Guo (gy001)

gy001

Geek Repo

Company:@sec-bit

Location:Suzhou JS, P.R.China

Github PK Tool:Github PK Tool


Organizations
sec-bit

Yu Guo's repositories

Language:RustStargazers:38Issues:2Issues:0
Language:PythonStargazers:10Issues:0Issues:0

finitefields-by-examples

about finite fields

Language:Jupyter NotebookStargazers:8Issues:1Issues:0
Language:TypeScriptStargazers:1Issues:0Issues:0
Language:CSSStargazers:0Issues:1Issues:0

uiautomator

Python wrapper of Android uiautomator test tool.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

v2-core

🎛 Core smart contracts of Uniswap V2

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

veriFTL

Formal model and verification of FTLs

Language:CoqStargazers:0Issues:2Issues:0

vrtos

a formal model for RTOS

License:MITStargazers:0Issues:1Issues:0