Zhengpu Shi

@zhengpushi

Open GitHub

🇨🇳 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

Profile Overview

Global China

Global Rank

Beginner 4

Persona

Contributor

#1,321,916

#1,900,173

N/A

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

CoqMatrix

updated about 1 year ago • age almost 3 years

Coq97.6%

OCaml2.0%

Shell0.2%

Makefile0.1%

Standard ML0.1%

Last Contributions

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

View all contributions

Latest Updates

06 Mar 2025
Company:Nanjing University of Aeronautics and Astronautics Suzhou City University
Email:zhengpushi@nuaa.edu.cn zhengpushi@szcu.edu.cn
28 Jan 2025
First seen

Subscribe to zhengpushi's GitHub rank updates in your messenger

WhatsApp Telegram