Language Breakdown
Lines of code distribution across 180 owned repositories
Pi-Shaped Developer
π-shapedTwo strong pillars: Nix & Haskell
Collaboration Network
Global Impact visualization
Repos
495
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Jun Matsushita
@jmatsushita
Agustín Mista
@agustinmista
Simon Archipoff
@simonArchipoff
Xavier Góngora
@ninioArtillero
Adam Smith
@adamsmasher
Top Repositories
📖 source material for Thinking with Types
Source material for Algebra-Driven Design
:pill: a GHC.Generics-based entity component system
:warning: tools for writing better type errors
:dancer: an applicative functor that seamlessly talks to HTML inputs
type level sets
🖼️ the compiling to closed categories compiler
:star: it's a starcraft clone but with a dope typesystem
Source material for Certainty by Construction
deprecated in favor of -XQualifiedDo
Open Source Impact
Contributions to external projects
