Language Breakdown
Lines of code distribution across 10 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Scheme
Collaboration Network
Global Impact visualization
Repos
203
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
No followers yet.
Not following anyone yet.
Top Repositories
Nix scaffolding for ZeroToASIC students
Use programmable keyboard firmware with any keyboard.
Setup files for my tools, such as my Emacs init file.
(Work-in-Progress for SG2000, Ox64, Star64 and PinePhone) Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
A repo for exploring the software quality of electronic voting machines
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
A plugin for solving numeric constraints in GHC's type-checker
Build an entire Emacs configuration as a Nix package in a pure, reproducible way
A reverse proxy that exposes services on your tailnet (as their own tailscale participants)
Open Source Impact
Contributions to external projects
No external contributions found.