Rankings
Badges
/
ranjitjhala
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ranjit Jhala
@ranjitjhala
Refresh
Open GitHub
🇺🇸 San Diego, CA
University of California, San Diego
Profile age: over 13 years
Updated 2 days ago
241 followers • 2 following
Contacts
jhala@cs.ucsd.edu
www.cs.ucsd.edu/~rjhala
https://twitter.com/ranjitjhala?lang=en
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#152,731
#826,188
#42,585
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
sprite-lang
150
12
updated about 1 month ago • age about 5 years
Haskell
88.3%
Reason
11.7%
haddock-annot
12
0
updated almost 10 years ago • age over 12 years
Haskell
98.1%
CSS
0.9%
JavaScript
0.4%
Shell
0.4%
Logos
0.3%
brick-tac-toe
12
2
updated almost 4 years ago • age about 4 years
Haskell
100.0%
hover-tooltips
4
2
updated about 10 years ago • age over 10 years
TypeScript
50.1%
JavaScript
49.9%
linter-hdevtools
3
3
updated about 9 years ago • age over 10 years
CoffeeScript
73.0%
CSS
27.0%
View all 8 repositories
Last Contributions
2025
liquidhaskell
~6 PRs
+6
-3
Haskell
1,265
149
15
flux
2 PRs
+31
-13
Rust
792
28
liquid-fixpoint
~7 PRs
+124
-111
Haskell
153
64
11
tock
2 PRs
+45
-36
Rust
0
0
2024
liquidhaskell
2 PRs
+1,739
-1,767
Haskell
1,265
149
15
View all contributions
Latest Updates
30 Oct 2025
Followers Count:
242
241
16 Oct 2025
Followers Count:
243
242
20 Aug 2025
Followers Count:
242
243
09 Jul 2025
Followers Count:
241
242
05 Jan 2025
First seen
Subscribe to ranjitjhala's GitHub rank updates in your messenger
WhatsApp
Telegram
