Rankings
Badges
/
sorear
Rankings
Badges
Overview
Ranks
Repositories
Languages
sorear
@sorear
Refresh
Open GitHub
🇺🇸 United States
Profile age: over 16 years
Updated about 4 hours ago
101 followers • 2 following
Organizations
Repositories
niecza
153
15
updated about 7 years ago • age over 15 years
C#
58.3%
Perl 6
39.4%
C
1.2%
Perl
0.7%
JavaScript
0.4%
metamath-turing-machines
94
13
updated about 1 year ago • age over 9 years
Tcl
78.9%
Python
21.1%
smetamath-rs
26
6
updated over 2 years ago • age over 9 years
Rust
100.0%
smm
14
4
updated over 9 years ago • age over 10 years
JavaScript
99.5%
HTML
0.3%
Objective-C++
0.2%
libuv-rs
12
3
updated over 8 years ago • age almost 10 years
Rust
100.0%
libnethack
5
0
updated about 14 years ago • age about 14 years
C
98.9%
C++
0.6%
Nemerle
0.6%
NetHack-Monster-Spoiler
4
2
updated about 14 years ago • age over 16 years
Perl
100.0%
dalek-poller
3
2
updated almost 12 years ago • age almost 15 years
Perl
100.0%
riscv-musl
0
1
updated almost 4 years ago • age over 6 years
C
90.7%
Assembly
5.1%
C++
3.5%
Awk
0.4%
Makefile
0.3%
Contributions
2024
riscv-isa-manual
2 PRs
+15
-14
TeX
4,283
752
350
riscv-elf-psabi-doc
2 PRs
+60
-31
Python
802
178
177
2021
musl-wiki
1 PR
+1
-1
CSS
83
49
2020
seL4
2 PRs
+5
-0
C
5,069
716
28
riscv-isa-manual
1 PR
+26
-25
TeX
4,283
752
350
cakeml
3 PRs
+513
-156
Standard ML
1,082
90
58
meta-riscv
1 PR
+2
-3
BitBake
409
160
seL4_tools
2 PRs
+45
-9
C
50
97
sel4runtime
1 PR
+2
-2
C
14
30
regression
1 PR
+28
-7
Standard ML
3
9
Show more
