Zilin Chen

@zilinc

Open GitHub

🇸🇬 Singapore

Profile age: over 11 years

Updated 12 days ago

10 followers • 8 following

Contacts

zilin.chen@ntu.edu.sg

zilinc.github.io

Profile Overview

Global Singapore

Global Rank

Beginner 4

Persona

Influencer

N/A

#1,301,747

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

PLV-RG

updated over 3 years ago • age over 4 years

Makefile44.9%

Coq41.2%

Agda13.9%

popl23-artefact

updated about 3 years ago • age about 3 years

Isabelle96.6%

C1.3%

Makefile1.3%

Python0.6%

Shell0.2%

Latest Updates

19 Feb 2025
Email:zilin.chen@unswalumni.com zilin.chen@ntu.edu.sg
Location:Australia Singapore
20 Jan 2025
First seen

Subscribe to zilinc's GitHub rank updates in your messenger

WhatsApp Telegram