Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/zhengpushi

Badges

Overview
Ranks
Repositories
Languages

Zhengpu Shi

@zhengpushi

🇨🇳 Jiangsu province, China

Suzhou City University

Profile age: almost 6 years

Updated 12 days ago

2 followers • 31 following

Contacts

zhengpushi@szcu.edu.cn

https://zhengpushi.github.io

Repositories

5

1

7

updated about 1 year ago • age almost 3 years

Coq97.6%

OCaml2.0%

Shell0.2%

Makefile0.1%

Standard ML0.1%

Contributions

2024
opam
3 PRs +144-0
OCaml
149
174
2023
opam
2 PRs +100-0
OCaml
149
174