Rankings
Badges
/
master-q
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kiwamu Okabe
@master-q
Refresh
Open GitHub
🇯🇵 Japan
METASEPI DESIGN
Profile age: over 15 years
Updated 4 days ago
100 followers • 141 following
Contacts
kiwamu@gmail.com
https://www.patreon.com/metasepi
Organizations
Repositories
carettah
9
3
updated about 8 years ago • age over 11 years
Haskell
100.0%
masterq-docs
8
2
updated almost 2 years ago • age over 14 years
TeX
77.3%
ATS
12.2%
Ruby
5.4%
Makefile
2.8%
R
2.3%
readPurelyFunctionalDataStructures
6
1
updated almost 13 years ago • age about 14 years
OCaml
82.3%
Haskell
17.7%
Contributions
2024
lv_binding_rust
1 PR
+17
-16
Rust
841
83
7
2021
z3
1 PR
+2
-2
C++
11,443
1,569
50
rms-support-letter.github.io
1 PR
+2
-0
Python
2,302
4,196
2020
cpubook-code
2 PRs
+525
-9
SystemVerilog
11
8
2019
verifast
1 PR
+8
-1
Rust
440
68
13
atspkg
1 PR
+24
-24
Haskell
42
7
223
treyja-ruby
1 PR
+3
-3
Ruby
0
0
2018
karamel
1 PR
+11
-0
OCaml
480
67
1
verifast
~6 PRs
+237
-30
Rust
440
68
13
2017
flrc
1 PR
+35
-1
Standard ML
818
34
Show more
