Rankings
Badges
/
emina
Rankings
Badges
Overview
Ranks
Repositories
Languages
Emina Torlak
@emina
Refresh
Open GitHub
🇺🇸 Seattle
University of Washington
Profile age: over 14 years
Updated 3 days ago
316 followers • 0 following
Contacts
http://homes.cs.washington.edu/~emina/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Elite 3
Persona
Influencer
#6,932
#182,983
#5,200
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
rosette
669
79
10
updated 2 months ago • age about 11 years
Racket
76.0%
HTML
18.5%
TypeScript
4.6%
Python
0.4%
JavaScript
0.4%
kodkod
78
26
1
updated over 2 years ago • age about 10 years
Java
98.1%
Python
0.6%
HTML
0.6%
C++
0.5%
C
0.1%
Last Contributions
2025
cedar-spec
3 PRs
+33,648
-234
Lean
137
28
6
rfcs
1 PR
+471
-0
18
15
2024
cedar-spec
~16 PRs
+566
-6,338
Lean
137
28
6
rfcs
3 PRs
+271
-19
18
15
2023
cedar-spec
~7 PRs
+5,704
-503
Lean
137
28
6
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
314
316
21 Aug 2025
Followers Count:
313
314
07 Aug 2025
Followers Count:
315
313
24 Jul 2025
Followers Count:
313
315
10 Jul 2025
Followers Count:
311
313
06 Jan 2025
First seen
Subscribe to emina's GitHub rank updates in your messenger
WhatsApp
Telegram
