Language Breakdown
Lines of code distribution across 20 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
Collaboration Network
Global Impact visualization
Repos
67
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Daniel Nouri
@dnouri
Enrico Borba
@enricozb
tintinweb
@tintinweb
Marcelo
@marceloeatworld
Kai Schmidt
@kaikalii
Top Repositories
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
an operating environment for linux (and anywhere nix runs)
The Void source packages collection
An embedding of linear classical System L in Rust
A modern reimagining of KornShell. Independent fork of ksh93u+m.
Library of the ##dependent distributed research support group
Papers on Math, Proof Theory, and Theory of Computation
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Personal suite of Pi extensions, skills, and prompt templates
Open Source Impact
Contributions to external projects
