Zhicheng

@Laplace-Demon

Open GitHub

🇫🇷 Paris

Profile age: about 5 years

Updated 5 days ago

12 followers • 80 following

Contacts

https://laplace-demon.github.io/

Profile Overview

Global France

Global Rank

Adept 1

Persona

Contributor

#1,312,049

#1,393,600

#1,121,410

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

ProofGrader

updated over 1 year ago • age over 1 year

C58.5%

Coq34.3%

Yacc5.2%

Lex1.9%

Makefile0.1%

Last Contributions

2024
CompilerJobs
1 PR +7-0
HTML
670
71
owi
~9 PRs +3,877-316
OCaml
253
34

View all contributions

Latest Updates

05 Sep 2025
Website Url: https://laplace-demon.github.io/
Followers Count:11 12
14 Aug 2025
Followers Count:12 11
08 Jul 2025
Followers Count:11 12
20 Jan 2025
First seen

Subscribe to Laplace-Demon's GitHub rank updates in your messenger

WhatsApp Telegram