Rankings
Badges
/
eldesh
Rankings
Badges
Overview
Ranks
Repositories
Languages
eldesh
@eldesh
Refresh
Open GitHub
🇯🇵 Tokyo
Profile age: about 15 years
Updated 13 days ago
27 followers • 62 following
Contacts
nephits@gmail.com
http://d.hatena.ne.jp/eldesh
Organizations
Repositories
iter-zig
9
3
updated almost 3 years ago • age about 3 years
Zig
100.0%
sha2_sml
4
1
updated over 1 year ago • age almost 8 years
Standard ML
100.0%
sha3_sml
1
0
updated about 1 year ago • age over 4 years
Standard ML
100.0%
semverq
1
0
updated over 3 years ago • age over 3 years
Rust
74.1%
Dockerfile
16.4%
Shell
9.6%
aobench_sml
1
2
updated over 5 years ago • age almost 12 years
Standard ML
76.5%
C
20.0%
Shell
3.5%
mlyacc-polyml
1
0
updated over 4 years ago • age over 5 years
Standard ML
98.2%
Lex
1.2%
Makefile
0.5%
coq-refman-ja
0
0
updated over 3 years ago • age almost 6 years
Makefile
58.1%
Dockerfile
35.7%
HTML
6.3%
basic_iter.py
0
0
updated over 3 years ago • age over 3 years
Python
99.0%
Makefile
1.0%
Contributions
2025
dockworker
~6 PRs
+11
-8
Rust
66
35
istari
1 PR
+102
-71
Coq
13
3
rpi-mailbox
2 PRs
+6
-9
Rust
7
6
actcast-app-examples
1 PR
+63
-31
Python
5
0
actfw-raspberrypi
3 PRs
+21
-13
Python
3
0
4
actfw-core
3 PRs
+16
-3
Python
3
0
12
2024
ante
1 PR
+176
-89
Rust
2,154
100
2
granule
1 PR
+1
-1
Haskell
638
39
16
dockworker
1 PR
+153
-3
Rust
66
35
actcast-app-examples
1 PR
+1
-1
Python
5
0
Show more
