Rankings
Badges
/
alastairreid
Rankings
Badges
Overview
Ranks
Repositories
Languages
Alastair Reid
@alastairreid
Refresh
Open GitHub
🇬🇧 Cambridge, United Kingdom
Intel
Profile age: over 10 years
Updated 13 days ago
202 followers • 1 following
Contacts
https://alastairreid.github.io/
@adreid@mastodon.social
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 2
Persona
Influencer
#140,709
#928,100
#52,290
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
mra_tools
134
24
updated almost 6 years ago • age over 8 years
Python
98.0%
Makefile
2.0%
asl-interpreter
45
38
1
updated about 1 month ago • age about 6 years
OCaml
78.8%
ASL
12.2%
C
5.2%
Python
2.2%
C++
1.6%
RelatedWork
11
5
updated over 1 year ago • age about 6 years
SCSS
68.2%
Python
17.0%
HTML
13.5%
TeX
0.8%
Makefile
0.6%
teensykey
7
1
updated over 9 years ago • age over 10 years
C++
90.5%
Makefile
9.5%
verifast-play
6
0
updated over 5 years ago • age over 5 years
C
100.0%
View all 7 repositories
Last Contributions
2025
xdsl
1 PR
+117
-0
Python
429
125
69
asl-interpreter
2 PRs
+311
-117
OCaml
24
5
6
xdsl-asl
2 PRs
+476
-26
Python
4
1
2024
asl-interpreter
~10 PRs
+198
-78
OCaml
24
5
6
2021
rust-verification-tools
~30 PRs
+19
-2
Rust
275
36
View all contributions
Latest Updates
11 Sep 2025
Followers Count:
201
202
28 Aug 2025
Followers Count:
199
201
31 Jul 2025
Followers Count:
198
199
17 Jul 2025
Followers Count:
196
198
05 Jan 2025
First seen
Subscribe to alastairreid's GitHub rank updates in your messenger
WhatsApp
Telegram
