Language Breakdown
Lines of code distribution across 65 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in C#
Collaboration Network
Global Impact visualization
Repos
69
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Michael Ramos
@backnotprop
tschnake
@tschnake
Andrej
@karpathy
Nicholas Carlini
@carlini
Steve Yegge
@steveyegge
Top Repositories
A bunch of theorems about algorithms, written in lean 4
An explorative math project
Adventure game project created using ChatGPT - an AI-based language model.
Experiments with json body serialization using Newtonsoft.Json vs System.Text.Json
This started out as trying to model stuff as types that kind of resemble ADTs, but now it's something else
A prettifier for malformatted dominion online (dominion.games) logs
A wrapper type to produce more readable test output
A game of dice
Open Source Impact
Contributions to external projects
No external contributions found.