Language Breakdown
Lines of code distribution across 63 owned repositories
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
Collaboration Network
Global Impact visualization
Repos
83
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Naïm Camille Favier
@ncfavier
Sjoerd Visscher
@sjoerdvisscher
Loïc Pujet
@loic-p
Sam Toth
@samtoth
Yulong Huang
@H-Yulong
Top Repositories
Allows the creation of recurring tasks in Notion.
A functional language with dependent types and customisable type representations
Synthetic Tait computability formalisation attempts
A dependently-typed language with unboxed data.
Allows the creation of recurring tasks in Notion using the official API.
The Fluid programming language, for experimenting with automated refactoring for dependent types.
Computational erasure as a SOGAT
A dependently-typed language with unboxed data
A simple but powerful TypeScript-based dot-file manager.
Open Source Impact
Contributions to external projects
