@google
Washington, DC
41
Followers
38
Following
2
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 1 owned repositories
254K
Total LOC
C
183,002 lines
72.1%
N/A
GLSL
35,901 lines
14.1%
N/A
C++
17,721 lines
7.0%
N/A
Objective-C
8,761 lines
3.5%
N/A
Shell
7,807 lines
3.1%
N/A
Other
696 lines
0.3%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
C
GLSL
C++
Objective-C
Shell
Collaboration Network
Global Impact visualization
Repos
2
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
10
Contributions
0
Commits
0
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
38 total
Colin Ian King
@ColinIanKing
Keith
@Keith-wright
Elsa Adjei
@ElsaDevOps
Konstantinn Bonnet
@qwx9
Sigrid
@ftrvxmtrx
Synced via GitHub
Top Repositories
Proof-Flow
GitHub App for Lean 4 formalization projects. Contributors propose theorems via structured RFCs, maintainers approve them, and an AI agent (Aristotle or Claude) writes the Lean proof and opens a draft PR. Bridging the distance between human/AI collaboration in formal mathematics.
0
0
TypeScript
p0f
p0f repo fork for update
0
0
C
Open Source Impact
Contributions to external projects
0 merged PRs
No external contributions found.