YOSHIHIRO Imai

@yoshihiro503

Open GitHub

🇯🇵 Chiba, Japan

@proof-ninja, Inc

Profile age: almost 16 years

Updated 12 days ago

93 followers • 47 following

Contacts

y.imai@proof-ninja.co.jp

https://yoshihiro503.github.io/

Organizations

Repositories

ocamltter

updated about 7 years ago • age over 15 years

OCaml91.6%

Coq6.8%

Makefile1.3%

Shell0.4%

generaltan

updated over 9 years ago • age about 13 years

rocq-amidakuji

updated 4 months ago • age 8 months

Rocq Prover100.0%

aobench_haxe

updated over 13 years ago • age over 13 years

Haxe100.0%

coq2html

updated 9 months ago • age about 2 years

OCaml88.1%

CSS4.8%

Shell2.8%

Makefile2.4%

Roff2.0%

json_parser_ml

updated about 4 years ago • age about 13 years

OCaml100.0%

proofserver

updated over 11 years ago • age over 13 years

CSS50.8%

Verilog49.2%

analysis

updated 9 months ago • age about 1 year

Coq99.1%

Shell0.5%

Makefile0.2%

Nix0.1%

Python0.1%

rocqnavi-sample

updated 9 months ago • age 11 months

Makefile100.0%

monae

updated almost 2 years ago • age about 2 years

Coq99.9%

Makefile0.1%

Contributions

2025
analysis
~6 PRs +115-98
Rocq Prover
228
61
48
coq-elpi
1 PR +2-0
Rocq Prover
177
67
66
opam
3 PRs +121-0
OCaml
149
174
platform-docs
3 PRs +6-6
Rocq Prover
23
17
coq2html
2 PRs +126-120
OCaml
1
3
2024
analysis
1 PR +1-1
Rocq Prover
228
61
48
opam
1 PR +34-0
OCaml
149
174
coq2html
1 PR +1-0
OCaml
31
11
5
coq2html
~33 PRs +91-83
OCaml
1
3
2023
rocq
1 PR +1-1
OCaml
5,240
694
65