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
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 about 13 years
Racket
100.0%
scilla-demo
8
2
updated almost 7 years ago • age almost 7 years
Shell
100.0%
YSC2229
8
0
updated over 1 year ago • age over 6 years
OCaml
84.1%
Haskell
12.4%
Python
3.0%
Makefile
0.5%
GHC-XAppFix
3
0
updated over 13 years ago • age over 13 years
Haskell
74.1%
C
21.8%
Perl
2.3%
Puppet
1.4%
Shell
0.4%
scilla-benchmarks
2
0
1
updated over 3 years ago • age over 6 years
Python
90.9%
Dockerfile
9.1%
coq-exercises
2
1
updated almost 11 years ago • age over 11 years
Coq
100.0%
GHC-XAppFix-BaseLibrary
1
0
updated over 13 years ago • age over 13 years
Haskell
91.5%
C
8.5%
Show more - 10 of 11 shown
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
2019
suslik
1 PR
+8,313
-254
Scala
128
21
7
2018
scilla
~9 PRs
+304
-254
OCaml
250
76
26
