Language Breakdown
Lines of code distribution across 4 owned repositories
143K
Total LOC
Astro
36,551 lines
25.6%
N/A
Rust
36,252 lines
25.4%
N/A
TypeScript
28,010 lines
19.6%
N/A
Lean
11,248 lines
7.9%
N/A
Shell
10,529 lines
7.4%
N/A
Other
20,237 lines
14.2%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: Astro & Rust
Astro
Rust
TypeScript
Lean
Shell
Collaboration Network
Global Impact visualization
Repos
19
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
74
Contributions
66
Commits
4
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
134 total
Han Damin
@miniex
Minsun Kim
@soon-haari
Ching-Yao Chuang
@chingyaoc
Ayush Satyam
@ayushsatyam146
Jack Gilcrest
@jp4g
Synced via GitHub
Top Repositories
ultrahonk_soroban_contract
Soroban contract for Ultrahonk Verifier
11
13
Rust
gkr-approx-sumcheck
Implementation of the Sum-Check Protocol for Approximate Computations within the GKR framework.
6
0
Python
lean_gaussianelimination
Verified Gaussian Elimination in Lean 4
1
0
Lean
indextree.github.io
Personal blog
0
1
Astro
sonobe
Experimental folding schemes library
0
0
Rust
o1js-matrix
0
0
TypeScript
indextree
README
0
0
circom-tfhe-rs
Circom to tfhe-rs
0
0
Jupyter Notebook
cm24-projects
0
0
chiquito
DSL for Halo2 circuits
0
0
Rust
Open Source Impact
Contributions to external projects
11 merged PRs
TornadoOpt/tornado-opt-backend
4
TornadoOpt/tornado-opt-withdraw
0
TornadoOpt/tornado-opt-frontend-new
0
Contributed to 3 repositories