Language Breakdown
Lines of code distribution across 21 owned repositories
T-Shaped Developer
T-shapedDeep in Shell with broad versatility
Collaboration Network
Global Impact visualization
Repos
108
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Chris Fallin
@cfallin
Alex Gaynor
@alex
Greg Kroah-Hartman
@gregkh
Pete LeVasseur
@PLeVasseur
Gavin Gray
@gavinleroy
Top Repositories
agentic skills to write TLA+ specs or TLAPS proofs
This is a PatentLens scraper that was developed for academic purposes, in the context of a BI project.
A curated list of TLA+ resources.
TLA+ language support for Visual Studio Code
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Cargo subcommand for configuring Cargo projects for best performance.
The TLA⁺ Proof Manager
Distributed Async Await — Durable Executions, Dead Simple
Use Codex from Claude Code to review code or delegate tasks.
Open Source Impact
Contributions to external projects
