Rankings
Badges
/
kharus
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ruslan Khafizov
@kharus
Refresh
Open GitHub
🇸🇬 Singapore
@smucclaw
Profile age: almost 14 years
Updated 10 days ago
10 followers • 2 following
Contacts
ruslan.khafizov@gmail.com
Repositories
sigmakee
1
0
updated about 2 years ago • age about 5 years
Java
98.9%
Shell
0.5%
HTML
0.3%
Batchfile
0.2%
Lex
0.1%
sigma-hack
0
0
updated about 2 years ago • age over 2 years
Java
100.0%
tptp-antlr-hack
0
0
updated over 2 years ago • age over 2 years
Java
74.1%
HTML
12.8%
ANTLR
11.5%
OpenEdge ABL
1.7%
vampire
0
0
updated about 1 year ago • age over 4 years
C++
93.7%
SMT
3.6%
Python
1.3%
Shell
0.8%
OpenEdge ABL
0.6%
sumo
0
0
updated about 2 years ago • age over 2 years
HTML
75.0%
Shell
25.0%
TPTP-ANTLR
0
0
updated over 2 years ago • age over 2 years
Java
70.4%
HTML
14.6%
ANTLR
13.1%
OpenEdge ABL
1.9%
hack-sigma-utils
0
0
updated over 2 years ago • age over 2 years
Java
100.0%
SigmaUtils
0
0
updated over 2 years ago • age over 2 years
Java
100.0%
python-async
0
0
updated almost 2 years ago • age almost 2 years
Python
99.3%
HTML
0.7%
byrne-euclid
0
0
updated almost 3 years ago • age almost 3 years
TeX
100.0%
Show more - 10 of 18 shown
Contributions
2025
dsl
1 PR
+1,863
-1
Haskell
77
10
1
l4-ide
~6 PRs
+35
-4
Haskell
14
6
gsheet
~23 PRs
+25
-250
Python
1
1
2
vue-pure-pdpa
~32 PRs
+48
-93
TypeScript
0
2
2
2024
dsl
~6 PRs
+38
-99
Haskell
77
10
1
lag
2 PRs
+3,348
-361
TypeScript
1
0
gsheet
~51 PRs
+3
-704
Python
1
1
2
vue-pure-pdpa
~77 PRs
+79
-62
TypeScript
0
2
2
2023
byrne-euclid
1 PR
+38
-0
TeX
1,265
113
9
swish
2 PRs
+3
-3
Prolog
538
136
Show more
