Wz Feng

@fengwz17

Open GitHub

🇨🇳 Beijing

Institute of Software, CAS

Profile age: over 8 years

Updated 23 days ago

64 followers • 62 following

Contacts

fengwz17@outlook.com

https://fengwz17.github.io

Repositories

Clash-For-Ubuntu

updated over 2 years ago • age about 3 years

DivMulFormalVerifier

updated about 3 years ago • age about 3 years

C++91.9%

CMake8.1%

divider-stainless

updated 11 months ago • age over 2 years

Scala100.0%

LLVM-Project

updated almost 5 years ago • age about 5 years

EPMC-POMDP

updated over 4 years ago • age almost 5 years

Java100.0%

TACAS-22-Artifact-Evaluation

updated almost 4 years ago • age almost 4 years

COLA

updated almost 4 years ago • age over 4 years

Jupyter Notebook59.7%

Shell27.9%

C++11.3%

Python0.8%

M40.3%

Contributions

2024
ccf-deadlines
2 PRs +25-0
Rust
8,038
536