Pinned Repositories
Asus-Vivobook-S510UA-High-Sierra-10.13-Hackintosh
Asus Vivobook S510UA BQ414T Running Mac OS X 10.14
Auto.js
A UiAutomator on android, does not need root access(安卓平台上的JavaScript自动化工具)
boogie
Boogie
corral
solver for the reachability modulo theories problem
damaiAuto
基于python和selenium实现的大麦网自动刷新抢票脚本
faceswap
Non official project based on original /r/Deepfakes thread. Many thanks to him!
HackBrowserData
Decrypt passwords/cookies/history/bookmarks from the browser. 一款可全平台运行的浏览器数据导出解密工具。
hello-world
Just another repository
learngit
libgdiplus
C-based implementation of the GDI+ API
stdvivi's Repositories
stdvivi/Asus-Vivobook-S510UA-High-Sierra-10.13-Hackintosh
Asus Vivobook S510UA BQ414T Running Mac OS X 10.14
stdvivi/Auto.js
A UiAutomator on android, does not need root access(安卓平台上的JavaScript自动化工具)
stdvivi/boogie
Boogie
stdvivi/corral
solver for the reachability modulo theories problem
stdvivi/damaiAuto
基于python和selenium实现的大麦网自动刷新抢票脚本
stdvivi/faceswap
Non official project based on original /r/Deepfakes thread. Many thanks to him!
stdvivi/HackBrowserData
Decrypt passwords/cookies/history/bookmarks from the browser. 一款可全平台运行的浏览器数据导出解密工具。
stdvivi/hello-world
Just another repository
stdvivi/learngit
stdvivi/libgdiplus
C-based implementation of the GDI+ API
stdvivi/lmms
Cross-platform music production software
stdvivi/MFCSport
珠海体育中心抢票MFC版
stdvivi/ModelDelegate
在QTableView中使用各种自定义委托 包括ComboBox、DoubleSpinBox、CheckBox以及设置列只读
stdvivi/mono
Mono open source ECMA CLI, C# and .NET implementation.
stdvivi/MSI-B360-10.14.6-EFI
Hackintosh EFI FILE
stdvivi/MSI-B360M-MORTAR-IMACPRO-EFI
MSI-B360M-MORTAR-IMACPRO-EFI
stdvivi/smack
SMACK Software Verifier and Verification Toolchain
stdvivi/z3
The Z3 Theorem Prover