Rankings
Badges
/
ohad
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ohad Kammar
@ohad
Refresh
Open GitHub
null
Profile age: almost 15 years
Updated 12 days ago
66 followers • 9 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 3
Persona
Influencer
#325,478
#795,789
#193,563
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
collie
31
3
updated about 1 year ago • age about 4 years
Idris
98.7%
Makefile
1.3%
SIGPLAN-Most-Influential-POPL-Papers
11
1
updated over 10 years ago • age over 10 years
Python
100.0%
katla
6
0
updated 4 months ago • age over 4 years
Idris
100.0%
idris-setoid
6
2
updated 10 months ago • age about 3 years
Idris
100.0%
paella
5
0
updated 5 months ago • age over 1 year
Idris
100.0%
View all 10 repositories
Last Contributions
2025
katla
1 PR
+1
-1
Idris
21
8
europroofnet.github.io
1 PR
+7
-3
Ruby
13
64
2024
effects-bibliography
1 PR
+5
-0
1,081
90
system-litmus-harness
2 PRs
+1,561
-31
C
8
4
2023
Idris2
3 PRs
+463
-274
Idris
2,744
394
5
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
64
66
10 Jul 2025
Followers Count:
65
64
05 Jan 2025
First seen
Subscribe to ohad's GitHub rank updates in your messenger
WhatsApp
Telegram
