Language Breakdown
Lines of code distribution across 45 owned repositories
Pi-Shaped Developer
π-shapedTwo strong pillars: MDX & JavaScript
Collaboration Network
Global Impact visualization
Repos
116
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Nadim Kobeissi
@nadimkobeissi
Ethan Buchman
@ebuchman
Anton Baliasnikov
@antonbaliasnikov
Arun Dhyani
@dhyaniarun1993
Adrian Sutton
@ajsutton
Top Repositories
Monorepo of tools for using the halo2 proving system in-browser using WASM.
Implementation of PLUME: nullifier friendly signature scheme on ECDSA
Compiling Noir to R1CS with witness generation and automatic differentiation binaries
Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.
A toolkit for polynomial IOPs (PIOPs)
Claude Code skill that converts cryptographic IOP papers into structured protocol specifications
A computable model of Polynomials in Lean.
Open Source Impact
Contributions to external projects
