Ramana Kumar

@xrchz

Open GitHub

🇬🇧 London

Profile age: almost 16 years

Updated 9 days ago

127 followers • 4 following

Contacts

https://xrchz.net

Organizations

Profile Overview

Global United Kingdom

Global Rank

Master 3

Persona

Influencer

#156,672

#704,175

#90,696

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

rocketarb

139

updated almost 2 years ago • age about 3 years

JavaScript88.3%

Vyper5.8%

Dockerfile2.3%

Shell2.0%

Makefile1.5%

hodlem

updated over 2 years ago • age over 2 years

Vyper34.9%

JavaScript34.5%

Python26.5%

HTML2.2%

CSS1.8%

beeminder-clock

updated about 12 years ago • age about 12 years

Shell100.0%

rocketsplit

updated about 1 year ago • age over 2 years

JavaScript42.7%

Python26.8%

Vyper14.7%

CSS13.0%

HTML3.0%

isabelle-opentheory

updated over 6 years ago • age about 10 years

Isabelle51.6%

Standard ML48.4%

View all 12 repositories

Last Contributions

2025
HOL
~7 PRs +742-82
Standard ML
694
159
8
ethereum_formal_verification_overview
2 PRs +3-0
335
35
verifereum
~10 PRs +843-1,196
Standard ML
28
9
RPIPs
2 PRs +46-4
HTML
20
38
vyper-hol
1 PR +345-59
Standard ML
11
0

View all contributions

Latest Updates

14 Oct 2025
Followers Count:128 127
02 Sep 2025
Followers Count:127 128
04 Jan 2025
First seen

Subscribe to xrchz's GitHub rank updates in your messenger

WhatsApp Telegram