Kazunari Tanaka

@tzskp1

Open GitHub

🇯🇵 Fukuoka, Japan

Profile age: over 10 years

Updated 1 day ago

8 followers • 5 following

Contacts

kazunari@kznr.dev

Repositories

sdg_coq

updated over 6 years ago • age over 6 years

Coq100.0%

codegen-examples

updated over 4 years ago • age over 5 years

Coq75.7%

C20.6%

OCaml2.1%

Ruby1.1%

Dockerfile0.5%

AI-Test

updated over 9 years ago • age about 10 years

C++72.9%

C27.1%

Contributions

2025
studio-graphql-api-example
2 PRs +12-27
JavaScript
0
0
2024
didcomm-rs
1 PR +1-3
Rust
1
0
1
nodex-didcomm
1 PR +1,385-2,366
Rust
0
0
4
2021
teleop_tools
1 PR +101-5
Python
218
155
geometry2
1 PR +4-4
C++
145
223
2019
monae
1 PR +68-53
Rocq Prover
74
15
29