• 1
• 0
• 3

afxvivi/Qt_samples forked from jie-xio/Qt_samples

学习或者博客中Qt代码

• 1
• 0
• 152

afxvivi/third_party_flutter forked from OpenHarmony/third_party_flutter

关闭

Third-party open-source software flutter | 三方开源软件flutter

• 1
• 0
• 0

afxvivi/MSI-B360M-MORTAR-IMACPRO-EFI

MSI-B360M-MORTAR-IMACPRO-EFI

• 1
• 0
• 0

afxvivi/MSI-B360-10.14.6-EFI

Hackintosh EFI FILE

• 1
• 0
• 0

afxvivi/corral

solver for the reachability modulo theories problem

• 1
• 0
• 0

afxvivi/boogie

Boogie

• 1
• 0
• 0

afxvivi/z3

The Z3 Theorem Prover

• 1
• 0
• 0

afxvivi/libgdiplus

C-based implementation of the GDI+ API

• 1
• 0
• 0

afxvivi/mono

Mono open source ECMA CLI, C# and .NET implementation.

• 1
• 0
• 0

afxvivi/smack

SMACK Software Verifier and Verification Toolchain

• 1
• 0
• 0

afxvivi/Asus-Vivobook-S510UA-High-Sierra-10.13-Hackintosh

Asus Vivobook S510UA BQ414T Running Mac OS X 10.14

• 2
• 27
• 10

afxvivi/damaiAuto

基于python和selenium实现的大麦网自动刷新抢票脚本

• 1
• 0
• 0

afxvivi/test_pages

• 1
• 0
• 0

afxvivi/sample

这是一个演示创建存储库的示例描述

• 1
• 0
• 0

afxvivi/git-start

这是一个 Git 学习使用的Git仓库。