Language Breakdown
Lines of code distribution across 118 owned repositories
Generalist Developer
G-shapedVersatile across many languages and paradigms
Collaboration Network
Global Impact visualization
Repos
128
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Nikolai Kudasov
@fizruk
ryan
@ryankeleti
Taichi Uemura
@uemurax
favonia
@favonia
Ambroise
@amblafont
Top Repositories
A statically-typed programming language based on "F-ing modules"
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
Full implementation of F-ing Modules, with the power of sequent calculus
An interpreter of F-ing modules
Tutorial on implementing an ML-like module system
Some rudimentary proofs on subtyping
Univalent categories, displayed categories, and fibrations
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
A MixML typechecker, written in Standard ML
Type systems written in 1ML
Open Source Impact
Contributions to external projects
No external contributions found.