Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

coq coq-tactic library

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/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/accounting

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/coq-qanda

Last synced: 06 Nov 2024

https://github.com/zimmi48/sortir

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