Language Breakdown
Lines of code distribution across 57 owned repositories
T-Shaped Developer
T-shapedDeep in Haskell with broad versatility
Collaboration Network
Global Impact visualization
Repos
154
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
jake
@riz0id
Oskar Wickström
@owickstrom
Phil Freeman
@paf31
Dominic Orchard
@dorchard
Vilem Liepelt
@buggymcbugfix
Top Repositories
The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
A toy symbolic algebra / calculus library in Haskell
Strongly typed implementation of System DC, the core language for Dependent Haskell
Towards a functional exocortex
incremental UI in Rust
An experiment in using a theorem prover to find interesting new monads
The core type theory from the first chapter of Ulf Norell's (Agda) thesis
Slowly-being-migrated-to configuration for my laptop
My configuration for the Yi editor.
Notes and solutions to math exercises I write up for myself.
Open Source Impact
Contributions to external projects
No external contributions found.