Language Breakdown
Lines of code distribution across 50 owned repositories
T-Shaped Developer
T-shapedDeep in F# with broad versatility
Collaboration Network
Global Impact visualization
Repos
68
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Albina Nikiforova
@enjojoy
Houston Haynes
@houstonhaynes
Charles Hoskinson
@CharlesHoskinson
johnny5i
@bytewizard42i
Ariel Gómez Méndez
@arielgomezmendez
Top Repositories
Formal verification tool based on predicate calculus and supporting several programming languages
Design principles for structured functional programming
Declarative migrations for SQLite databases
GUI for interacting with small and large language models
HTTP proxy with per user download quotas
Miscellaneous problems and explorations
A Golang HTTP proxy library
LSP server for custom code snippets
Parsing, evaluating and textually representing predicates
Open Source Impact
Contributions to external projects
