Rankings
Badges
/
ahorn
Rankings
Badges
Overview
Ranks
Repositories
Languages
@ahorn
Refresh
Open GitHub
🇬🇧 Oxford, UK
Profile age: about 17 years
Updated 7 days ago
71 followers • 2 following
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 1
Persona
Creator
#40,342
#391,578
#178,627
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
android-rss
527
173
updated about 5 years ago • age almost 15 years
Java
100.0%
cpp-channel
157
20
updated almost 11 years ago • age over 11 years
C++
85.6%
Shell
9.1%
Python
5.1%
Makefile
0.1%
Go
0.0%
linearizability-checker
67
3
updated over 10 years ago • age almost 11 years
C++
99.5%
Makefile
0.5%
xv6
51
10
updated over 11 years ago • age about 14 years
C
68.2%
Shell
15.8%
C++
10.5%
Assembly
3.4%
Perl
2.1%
smt-kit
Archived
39
4
updated almost 9 years ago • age over 12 years
C++
80.5%
C
7.9%
Shell
7.3%
Python
4.0%
JavaScript
0.3%
View all 10 repositories
Last Contributions
2018
wabt
1 PR
+3
-3
C++
7,607
772
38
2015
z3
1 PR
+550
-10
C++
11,443
1,569
50
jepsen
1 PR
+20
-12
Clojure
7,182
739
31
2014
klee
1 PR
+6
-1
C++
2,839
700
11
book
1 PR
+3
-3
TeX
2,104
373
1
View all contributions
Latest Updates
06 Sep 2025
Followers Count:
67
71
09 Aug 2025
Followers Count:
68
67
26 Jul 2025
Followers Count:
67
68
04 Jan 2025
First seen
Subscribe to ahorn's GitHub rank updates in your messenger
WhatsApp
Telegram
