Minneapolis, MN
9
Followers
7
Following
45
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 13 owned repositories
974K
Total LOC
TypeScript
318,119 lines
32.7%
N/A
Rust
286,585 lines
29.4%
N/A
Java
98,444 lines
10.1%
N/A
CSS
82,148 lines
8.4%
N/A
Emacs Lisp
49,897 lines
5.1%
N/A
Other
138,491 lines
14.2%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: TypeScript & Rust
TypeScript
Rust
Java
CSS
Emacs Lisp
Collaboration Network
Global Impact visualization
Repos
46
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
1,089
Contributions
306
Commits
18
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
7 total
sorawee
@sorawee
Brandon Ly
@branberry
michael
@mzhang28
Sam Fountain
@SamuelFountain
Nathan Guermond
@nguermond
Synced via GitHub
Top Repositories
pl-conf
2
0
TypeScript
abella-vscode
VSCode Extension for Abella
1
0
TypeScript
teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
1
1
C
HOU
Higher Order Unification implemented in in Nipkow's described method
1
0
OCaml
cjohnson19.github.io
Personal website & blog
1
0
SCSS
moss-fmt
Format submission zips in a way Moss understands
1
0
Rust
vscode-org-mode
Emacs Org Mode for Visual Studio Code
0
0
TypeScript
gcp-firebase-tutorial
0
0
JavaScript
CSStipendRankings
https://csstipendrankings.org
0
0
HTML
proton-mail-mcp
An MCP for Proton Mail using Proton Mail Bridge
0
0
Rust
Open Source Impact
Contributions to external projects
62 merged PRs
microsoft/vscode-docs
6542
vscode-org-mode/vscode-org-mode
1726
leanprover/lean4
8221
cedar-policy/cedar-docs
35
CSStipendRankings/CSStipendRankings
225
adelfa-prover/adelfa
4
adelfa-prover/adelfa-docs
0
adelfa-prover/adelfa-vscode
0
2025-mwpls/2025-mwpls.github.io
1
Contributed to 9 repositories