Language Breakdown
Lines of code distribution across 24 owned repositories
Generalist Developer
G-shapedVersatile across many languages and paradigms
Collaboration Network
Global Impact visualization
Repos
48
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Vladimir Gladshtein
@volodeyka
Fabrizio Montesi
@fmontesi
Luisa Cicolini
@luisacicolini
Emilio Jesús Gallego Arias
@ejgallego
Léo Stefanesco
@ineol
Top Repositories
Agda developement of my BSc thesis "Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus"
Lean 4 programming language and theorem prover
Strongly typed simple imperative language with functional flovour for stream processing written in Haskell
Practice for NWERC
The Lean Computer Science Library (CSLib)
Open Source Impact
Contributions to external projects