Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Zimmi48
A curated list of projects in awesome lists by Zimmi48 .
https://github.com/zimmi48/transfer
Automatic transfer of theorems along isomorphisms in Coq
Last synced: 10 Oct 2024
https://github.com/zimmi48/coq-jupyter-environment
A binder environment relying on Conda to install Coq and the coq_jupyter kernel.
Last synced: 06 Nov 2024
https://github.com/zimmi48/thesis
Notebooks from my PhD thesis
empirical-software-engineering jupyter-notebook reproducible-research
Last synced: 06 Nov 2024
https://github.com/zimmi48/test-pedago
Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises
Last synced: 06 Nov 2024
https://github.com/zimmi48/zimmi48.github.io
Personal web page and blog
github-pages jekyll personal-blog personal-website
Last synced: 06 Nov 2024
https://github.com/zimmi48/touch-snake
A modern and touch-friendly version of the classic game of snake
Last synced: 06 Nov 2024
https://github.com/zimmi48/impact-of-switching-bug-trackers
Source and supporting data for "Impact of switching bug trackers: a case study on a medium-sized open source project"
binder-ready case-study github jupyter-notebook reproducible-research research-paper science software-engineering
Last synced: 06 Nov 2024
https://github.com/zimmi48/nixpkgs-issues
Analysis on nixpkgs issue lifetime.
data-analysis github-api nixpkgs
Last synced: 06 Nov 2024
https://github.com/zimmi48/ttt2017
Abstract and slides for talk at TTT2017
coq-tactic research-paper slides
Last synced: 06 Nov 2024
https://github.com/zimmi48/certified-origin
Limit to one pusher thanks to certified-origin GitHub status check
Last synced: 06 Nov 2024