Gabriel Lewertowski's repositories
systemF-coq
Formalisation du système F hiérarchique avec Coq.
nominal-coq
Implémentation des ensembles nominaux dans Coq
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications — automate in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com/ansible/
calibre
The official source code repository for the calibre ebook manager
debops
DebOps - Your Debian-based data center in a box
habeascorpus
analyse un corpus de textes avec gensim, et fait des trucs avec
dotfiles
Fichiers de configuration
dotvim
vim config files
ecm
Factorisation d'entiers avec ECM
helm-ag
The silver searcher with helm interface
pandoc
Universal markup converter
pandoc-templates
Templates for pandoc, tagged to release
panflute
An Pythonic alternative to John MacFarlane's pandocfilters, with extra helper functions