Rankings
Badges
/
ilyasergey
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ilya Sergey
@ilyasergey
Refresh
Open GitHub
🇸🇬 Singapore
National University of Singapore
Profile age: almost 16 years
Updated 9 days ago
245 followers • 8 following
Contacts
ilya@nus.edu.sg
http://ilyasergey.net
@ilyasergey
@ilyasergey.bsky.social
in/ilyasergey
Organizations
Profile Overview
Global
Singapore
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#114,160
#1,536,245
#41,210
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
pnp
173
19
updated over 4 years ago • age over 11 years
Coq
90.7%
TeX
9.0%
Makefile
0.3%
reachability
30
4
updated almost 10 years ago • age over 13 years
Scala
67.5%
Scheme
32.4%
JavaScript
0.1%
monadic-cfa
21
0
updated over 12 years ago • age over 13 years
Haskell
100.0%
plt-redex-fj
16
2
updated almost 13 years ago • age almost 13 years
Racket
100.0%
scilla-demo
8
2
updated almost 7 years ago • age almost 7 years
Shell
100.0%
View all 11 repositories
Last Contributions
2025
SIGPLAN.github.io
3 PRs
+91
-19
HTML
12
49
2024
SIGPLAN.github.io
2 PRs
+45
-32
HTML
12
49
2021
uplcg
1 PR
+41
-3
Haskell
20
6
2020
suslik
3 PRs
+3,774
-625
Scala
128
21
7
toychain
1 PR
+13
-8
Coq
113
12
3
View all contributions
Latest Updates
22 Sep 2025
Followers Count:
244
245
13 Jul 2025
Followers Count:
243
244
28 Apr 2025
Social Accounts:
twitter: @ilyasergey
twitter: @ilyasergey; bluesky: @ilyasergey.bsky.social; linkedin: in/ilyasergey
04 Jan 2025
First seen
Subscribe to ilyasergey's GitHub rank updates in your messenger
WhatsApp
Telegram
