Language Breakdown
Lines of code distribution across 10 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Haskell
Collaboration Network
Global Impact visualization
Repos
19
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
A proof assistant for fitch-style natural deduction proofs.
A study project for my free time: Implementing a compiler in Haskell. The language 'dream' is heavily inspired by the programming language used at my universities compiler course.
🌐 A client-side routing example in miso
A small lambda calculus interpreter
The math library of Lean 4
:ramen: A tasty Haskell web framework
Implementing the paper "Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically" by Tarmo Uustalu and Varmo Vene in Agda
A new Categories library for Agda
Formalizing categorical definitions of specific monads on arbitrary categories.
Proving that a closure operator on posets is the same as a monad on the corresponding thin category
Open Source Impact
Contributions to external projects
