Rankings
Badges
/
fetburner
Rankings
Badges
Overview
Ranks
Repositories
Languages
Masayuki Mizuno
@fetburner
Refresh
Open GitHub
🇯🇵 Tokyo
@wantedly
Profile age: almost 13 years
Updated 10 days ago
46 followers • 31 following
Contacts
http://fetburner.hatenablog.com
@fetburner
Repositories
sumiilab-tex
36
13
updated over 4 years ago • age over 11 years
TeX
88.4%
Shell
8.3%
Makefile
3.4%
coq-dijkstra
18
0
1
updated over 4 years ago • age over 4 years
Coq
100.0%
type-infer
17
0
1
updated over 4 years ago • age almost 8 years
Coq
100.0%
Udon
15
0
updated almost 10 years ago • age over 10 years
Standard ML
97.8%
Lex
2.2%
compelib
15
0
updated over 3 years ago • age over 8 years
OCaml
68.7%
Coq
31.3%
Coq2SML
6
0
updated almost 11 years ago • age over 11 years
OCaml
47.3%
Coq
40.6%
TeX
11.1%
Emacs Lisp
0.5%
C
0.4%
c-7-in-ocaml
5
0
updated about 8 years ago • age almost 9 years
OCaml
100.0%
min-caml
2
0
updated almost 9 years ago • age almost 11 years
OCaml
62.4%
C
12.0%
C++
11.8%
Assembly
7.0%
Scheme
6.7%
Contributions
2023
pb-serializer
2 PRs
+94
-7
Ruby
16
3
1
2022
EPGStation
1 PR
+2
-2
TypeScript
599
163
issue-creator
1 PR
+1
-1
Go
24
7
27
2021
opam
1 PR
+40
-0
OCaml
149
174
2020
opam
1 PR
+33
-0
OCaml
149
174
grpc_access_logging_interceptor
2 PRs
+8
-8
Ruby
19
1
grpc_opencensus_interceptor
2 PRs
+8
-8
Ruby
16
1
grpc_newrelic_interceptor
1 PR
+2
-2
Ruby
16
2
2019
cbn
1 PR
+570
-674
Coq
2
1
2017
jaw
1 PR
+124
-33
OCaml
40
5
Show more
