Pinned Repositories
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
communities
debops
DebOps - Your Debian-based data center in a box
gensim
Topic Modelling for Humans
habeascorpus
analyse un corpus de textes avec gensim, et fait des trucs avec
nominal-coq
Implémentation des ensembles nominaux dans Coq
portainer
Simple management UI for Docker
scripts-diplo
systemF-coq
Formalisation du système F hiérarchique avec Coq.
lewer's Repositories
lewer/gensim
Topic Modelling for Humans
lewer/scripts-diplo
lewer/systemF-coq
Formalisation du système F hiérarchique avec Coq.
lewer/nominal-coq
Implémentation des ensembles nominaux dans Coq
lewer/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/
lewer/calibre
The official source code repository for the calibre ebook manager
lewer/communities
lewer/debops
DebOps - Your Debian-based data center in a box
lewer/habeascorpus
analyse un corpus de textes avec gensim, et fait des trucs avec
lewer/portainer
Simple management UI for Docker
lewer/dotfiles
Fichiers de configuration
lewer/dotvim
vim config files
lewer/ecm
Factorisation d'entiers avec ECM
lewer/helm-ag
The silver searcher with helm interface
lewer/pandoc
Universal markup converter
lewer/pandoc-templates
Templates for pandoc, tagged to release
lewer/panflute
An Pythonic alternative to John MacFarlane's pandocfilters, with extra helper functions