Badges

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

/Laplace-Demon

Badges

Overview
Ranks
Repositories
Languages

Zhicheng

@Laplace-Demon

🇫🇷 Paris

Profile age: about 5 years

Updated 6 days ago

12 followers • 80 following

Contacts

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

Repositories

5

1

updated over 1 year ago • age over 1 year

C58.5%

Coq34.3%

Yacc5.2%

Lex1.9%

Makefile0.1%

Contributions

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