Rankings
Badges
/
yav
Rankings
Badges
Overview
Ranks
Repositories
Languages
Iavor S. Diatchki
@yav
Refresh
Open GitHub
null
Profile age: over 17 years
Updated 14 days ago
182 followers • 1 following
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 1
Persona
Influencer
#64,540
#935,987
#58,590
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
graphmod
184
31
updated about 1 year ago • age about 17 years
Haskell
100.0%
pretty-show
57
15
updated over 2 years ago • age over 16 years
Haskell
79.9%
Yacc
14.9%
CSS
3.2%
JavaScript
2.0%
type-nat-solver
51
5
updated over 4 years ago • age almost 11 years
Haskell
100.0%
dump-core
45
8
updated almost 4 years ago • age almost 9 years
Haskell
56.2%
JavaScript
35.8%
CSS
7.9%
presburger
30
10
updated 6 months ago • age over 16 years
Haskell
100.0%
View all 28 repositories
Last Contributions
2025
cryptol
~7 PRs
+1,062
-412
Haskell
1,176
128
26
crucible
2 PRs
+342
-160
Haskell
743
46
7
saw-script
2 PRs
+397
-186
Haskell
478
77
14
what4
1 PR
+17
-12
Haskell
168
13
cerberus
3 PRs
+825
-479
OCaml
69
37
View all contributions
Latest Updates
02 Sep 2025
Followers Count:
180
182
05 Aug 2025
Followers Count:
179
180
22 Jul 2025
Followers Count:
180
179
08 Jul 2025
Followers Count:
178
180
10 Jun 2025
Followers Count:
177
178
02 Jan 2025
First seen
Subscribe to yav's GitHub rank updates in your messenger
WhatsApp
Telegram
