Rankings
Badges
/
xrchz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ramana Kumar
@xrchz
Refresh
Open GitHub
🇬🇧 London
Profile age: almost 16 years
Updated 10 days ago
127 followers • 4 following
Contacts
https://xrchz.net
Organizations
Repositories
rocketarb
139
26
updated almost 2 years ago • age about 3 years
JavaScript
88.3%
Vyper
5.8%
Dockerfile
2.3%
Shell
2.0%
Makefile
1.5%
hodlem
20
5
updated over 2 years ago • age over 2 years
Vyper
34.9%
JavaScript
34.5%
Python
26.5%
HTML
2.2%
CSS
1.8%
beeminder-clock
5
0
updated about 12 years ago • age about 12 years
Shell
100.0%
rocketsplit
4
3
updated about 1 year ago • age over 2 years
JavaScript
42.7%
Python
26.8%
Vyper
14.7%
CSS
13.0%
HTML
3.0%
isabelle-opentheory
3
2
updated over 6 years ago • age about 10 years
Isabelle
51.6%
Standard ML
48.4%
MM76
2
0
updated about 15 years ago • age about 15 years
ssl
1
0
updated almost 12 years ago • age about 12 years
Standard ML
100.0%
bbjs
1
1
updated over 2 years ago • age over 2 years
JavaScript
100.0%
standalone-tactics
1
0
updated over 13 years ago • age about 14 years
Standard ML
100.0%
rockettheft
1
1
updated 9 months ago • age about 2 years
JavaScript
53.4%
Python
46.6%
Show more - 10 of 12 shown
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
formalverification.xyz
1 PR
+70
-0
TypeScript
10
9
regression
1 PR
+1
-1
Standard ML
3
9
2024
cakeml
2 PRs
+1
-15,535
Standard ML
1,085
90
59
ape
1 PR
+4
-1
Python
1,008
168
166
noble-curves
1 PR
+6
-0
TypeScript
840
81
44
Show more
