Théo Zimmermann
@Zimmi48Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.
Language Breakdown
Lines of code distribution across 23 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Collaboration Network
Global Impact visualization
Repos
241
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Luj
@JulienMalka
Cyril Cohen
@CohenCyril
Gregor Martynus
@gr2m
Julian Coolen
@jtcoolen
Denis Merigoux
@denismerigoux
Top Repositories
Automatic transfer of theorems along isomorphisms in Coq
A binder environment relying on Conda to install Coq and the coq_jupyter kernel.
Notebooks from my PhD thesis
Source and supporting data for "Impact of switching bug trackers: a case study on a medium-sized open source project"
Archive for all Coq related OPAM packages organized in various repositories
Play with logic by dragging and dropping formulae (only with compatible recent browsers)
A modern and touch-friendly version of the classic game of snake
Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises
Open Source Impact
Contributions to external projects
