Language Breakdown
Lines of code distribution across 35 owned repositories
Pi-Shaped Developer
π-shapedTwo strong pillars: OCaml & Verilog
Collaboration Network
Global Impact visualization
Repos
137
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Zhiyuan Guo
@depctg
Karuna Grewal
@aakp10
Leon Schuermann
@lschuermann
Nada Amin
@namin
Shamus Li
@shamus-li
Top Repositories
A PPX deriver that automates differential testing for OCaml modules
A collaborative bibliography of papers related to property-based testing
Property-based testing for Lean via metaprogramming
A Rust implementation of the Urn data structure for efficient random sampling
Proving Brzozowski & Antimirov derivatives (and zippers) equivalent in Coq
A verification toolchain for Rust programs
A flattened AST for Bril + an interpreter over the flat file format
Stanford's CS 242 PL course (Fall 2019)
An opinionated OCaml starter template repo
Open Source Impact
Contributions to external projects
