Language Breakdown
Lines of code distribution across 8 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Collaboration Network
Global Impact visualization
Repos
28
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Melanie Taprogge
@melanie-taprogge
Michael Rawson
@MichaelRawson
laurakovacs
@laurakovacs
daniel gratzer
@jozefg
Filip Koprivec
@jO-Osko
Top Repositories
A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.
A template for writing thesis in kaobook style
Smart contract specification language
The Vampire Theorem Prover
Projektna naloga pri predmetu Uvod v programiranje na Fakulteti za matematiko in fiziko.
Projekt vislice na vajah iz predmeta Uvod v Programiranje
Open Source Impact
Contributions to external projects
