Seattle
171
Followers
120
Following
43
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 27 owned repositories
4.0M
Total LOC
C++
1,067,141 lines
26.9%
N/A
C
605,746 lines
15.3%
N/A
Slash
596,572 lines
15.1%
N/A
Rust
486,177 lines
12.3%
N/A
TeX
356,808 lines
9.0%
N/A
Other
850,507 lines
21.5%
N/A
∞
Generalist Developer
G-shapedVersatile across many languages and paradigms
C++
C
Slash
Rust
TeX
Collaboration Network
Global Impact visualization
Repos
151
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
6 days
944
Contributions
418
Commits
61
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
120 total
k!
@kchanqvq
Rohan Yadav
@rohany
Mihai Budiu
@mihaibudiu
Eli Rosenthal
@ezrosent
Frank McSherry
@frankmcsherry
Synced via GitHub
Top Repositories
most-influential-pl-papers
Most influential papers in programming languages
59
0
Python
relational-ematching-benchmark
16
4
Rust
egraph-sqlite
egraph on top of sqlite
13
2
Racket
cgo2026-hardboiled-artifact
artifact of CGO 2026 paper: Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language. Based on Halide.
5
0
C++
peg
persistent e-graphs
4
0
Rust
modified-sc-by-eval
adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc
4
0
Haskell
szalinski-egglog
3
1
Rust
egglang
2
0
Racket
ruxl
2
1
Rust
Hatafun
Embedded Datafun in Haskell
2
0
Haskell
Open Source Impact
Contributions to external projects
203 merged PRs
uwplse/szalinski
55
egraphs-good/egglog
773
egraphs-good/extraction-gym
54
egraphs-good/egraph-serialize
17
egraphs-good/eggcc
93
philzook58/awesome-egraphs
337
egraphs-good/egglog-experimental
16
egraphs-good/egglog-backend
5
egraphs-good/egglog-demo
2
egraphs-good/egglog-tutorial
9
Contributed to 10 repositories