Language Breakdown
Lines of code distribution across 15 owned repositories
Generalist Developer
G-shapedVersatile across many languages and paradigms
Collaboration Network
Global Impact visualization
Repos
26
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Nada Amin
@namin
ahrm
@ahrm
Philip Zucker
@philzook58
Emmet
@librephoenix
Josean Martinez
@josean-dev
Top Repositories
NeoVim configuration optimized for writing in LaTeX with AI integration for Avante, Lectic, and Claude-Code
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
Graduate seminar on the modern history of modal logic
An advanced introduction to first-order logic at MIT
NixOS config
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
An open-source, customizable intermediate logic textbook
A highly compressed collection of notes for a number of logical systems.
Open Source Impact
Contributions to external projects
