Language Breakdown
Lines of code distribution across 43 owned repositories
6.7M
Total LOC
OCaml
3,552,162 lines
53.0%
N/A
C
1,089,559 lines
16.3%
N/A
Python
472,094 lines
7.0%
N/A
JavaScript
286,565 lines
4.3%
N/A
Rocq Prover
253,901 lines
3.8%
N/A
Other
1,050,067 lines
15.7%
N/A
T
T-Shaped Developer
T-shapedDeep in OCaml with broad versatility
OCaml
C
Python
JavaScript
Rocq Prover
Collaboration Network
Global Impact visualization
Repos
83
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
1,003
Contributions
350
Commits
40
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
41 total
Zafir Rasyidi Taufik
@zafirr31
joehattori
@joehattori
Akito Sano
@Szkieletor37
sh-mug
@sh-mug
Eiichiro Sato
@gasin
Synced via GitHub
Top Repositories
osmium
A toy operating system written in Rust on RISC V(rv32im)
210
15
Rust
ctf_writeups
My CTF solver scripts (mainly pwn)
7
0
Python
libc-pwn
libc 2.* docker images with pwntools/peda/pwndbg/etc.
5
0
Shell
riscv-toolchain-docker
Dockerfile for building 32-bit version of Risc-V toolchain
4
0
Dockerfile
nageru
Simple CLI tool to post a file/dir/msg to your slack channel
4
0
Go
driver
3
1
C
hflmc2
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
2
0
OCaml
blog_os
https://os.phil-opp.com/
2
1
Rust
sig-hakatashi
1
0
Ruby
9-tiles
1
0
Vue
Open Source Impact
Contributions to external projects
90 merged PRs
rems-project/cerberus
88
rems-project/cn-pKVM-buddy-allocator-case-study
7
hopv/ocaml-hfl
1
rems-project/linux-tools
3
hopv/catalia
2
rems-project/cn-pKVM-hyp-allocator
1
rems-project/cn
51
chc-comp/chc-comp-2026
1
Contributed to 8 repositories