Benjamin Lipp's repositories
arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
doctolib-covid
Vaccination appointments on Doctolib
draft-connolly-cfrg-hpke-mlkem
Internet draft for pure post-quantum ciphersuites for HPKE (RFC9180) based on ML-KEM-768 and ML-KEM-1024.
draft-irtf-cfrg-hpke
Hybrid Public Key Encryption
easycrypt-doc
EasyCrypt documentation
Hackerspace-Design-Patterns
LaTeX-Beamer Sources for the Hackerspace Design-Patterns
HACS-workshop.github.io
High Assurance Cryptographic Software
i3-gnome-flashback
Support files for starting i3 in a GNOME-Flashback session
IP1-Python
Anki cards complementary to the introductory programming course IP1-Python at Université de Paris
knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
medito-app
The Medito app is a 100% free meditation app built with flutter. The app is available on Android and iOS.
nextcloud-tools
This project contains tools to operate Nextcloud.
org.project60.sepa
SEPA direct debit integration with civicrm
protocoleexquis
A Cryptographic Multi-Party Computation Party Game
proximity-tracing-survey
This repository serves to track a survey of proximity tracing proposals:
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
soutenance
Vérification de la procédure de soutenance de thèse
women-violence-and-technology
A place for the information that we find around how technology is used to enhance violence against women