blipp Goto Github PK
Name: Benjamin Lipp
Type: User
Company: MPI-SP: Max Planck Institute for Security and Privacy
Bio: Post-doctoral researcher • Computer-aided cryptography
Twitter: bblipp
Location: Bochum, Germany
Blog: benjaminlipp.de
Name: Benjamin Lipp
Type: User
Company: MPI-SP: Max Planck Institute for Security and Privacy
Bio: Post-doctoral researcher • Computer-aided cryptography
Twitter: bblipp
Location: Bochum, Germany
Blog: benjaminlipp.de
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
:triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX
Drupal based Intranet
Battleship game with own protocol and Terminal UI
Test fälle von pre-interop test:
Line Editing, History and Basic Completion for CryptoVerif's Interactive Mode
CryptoBib Database for Developers
Vaccination appointments on Doctolib
📘 Nextcloud documentation
Internet draft for pure post-quantum ciphersuites for HPKE (RFC9180) based on ML-KEM-768 and ML-KEM-1024.
Hybrid Public Key Encryption
Git mirror of Drupal's core CVS repository
EasyCrypt: Computer-Aided Cryptographic Proofs
EasyCrypt documentation
EU deliverable documentclass for LaTeX by Mary Ellen Foster and Ron Petrick
Fully featured, open source, privacy friendly email app for Android
LaTeX-Beamer Sources for the Hackerspace Design-Patterns
HACL*, a formally verified cryptographic library written in F*
High Assurance Cryptographic Software
An Implementation of homomorphic encryption
Mirror of HILTI/BinPAC++ repository at git://git.icir.org/hilti
HotCRP conference review software
Support files for starting i3 in a GNOME-Flashback session
Anki cards complementary to the introductory programming course IP1-Python at Université de Paris
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.