blipp
Follow
-
documentation Public
Forked from nextcloud/documentation📘 Nextcloud documentation
JavaScript Other UpdatedMar 26, 2025 -
planify Public
Forked from alainm23/planifyTask manager with Todoist & Nextcloud support designed for GNOME
Vala GNU General Public License v3.0 UpdatedFeb 25, 2025 -
cryptoverif-completion Public
Line Editing, History and Basic Completion for CryptoVerif's Interactive Mode
-
draft-connolly-cfrg-hpke-mlkem Public
Forked from dconnolly/draft-connolly-cfrg-hpke-mlkemInternet draft for pure post-quantum ciphersuites for HPKE (RFC9180) based on ML-KEM-768 and ML-KEM-1024.
Makefile Other UpdatedMar 28, 2024 -
easycrypt-doc Public
Forked from EasyCrypt/easycrypt-docEasyCrypt documentation
TeX UpdatedFeb 22, 2024 -
cryptoverif-vscode Public
Forked from georgio/proverif-vscodeGNU General Public License v3.0 UpdatedJan 26, 2023 -
HACS-workshop.github.io Public
Forked from HACS-workshop/HACS-workshop.github.ioHigh Assurance Cryptographic Software
HTML UpdatedJan 10, 2023 -
draft-celi-wiggers-tls-authkem Public
Forked from kemtls/draft-celi-wiggers-tls-authkemMakefile Other UpdatedJul 8, 2022 -
-
org.project60.sepa Public
Forked from Project60/org.project60.sepaSEPA direct debit integration with civicrm
PHP UpdatedJan 14, 2022 -
soutenance Public
Forked from denismerigoux/soutenanceVérification de la procédure de soutenance de thèse
OCaml UpdatedDec 16, 2021 -
medito-app Public
Forked from meditohq/medito-appThe Medito app is a 100% free meditation app built with flutter. The app is available on Android and iOS.
Dart Other UpdatedDec 6, 2021 -
nextcloud-tools Public
Forked from syseleven/nextcloud-toolsThis project contains tools to operate Nextcloud.
PHP GNU Affero General Public License v3.0 UpdatedOct 30, 2021 -
knausj_talon Public
Forked from talonhub/communityConfig for talon for Mac, Windows and Linux. Very much in progress.
Python MIT License UpdatedSep 17, 2021 -
draft-irtf-cfrg-hpke Public
Forked from cfrg/draft-irtf-cfrg-hpkeHybrid Public Key Encryption
Makefile Other UpdatedAug 16, 2021 -
Hackerspace-Design-Patterns Public
Forked from larsweiler/Hackerspace-Design-PatternsLaTeX-Beamer Sources for the Hackerspace Design-Patterns
UpdatedJun 15, 2021 -
doctolib-covid Public
Forked from bntan/doctolib-covidVaccination appointments on Doctolib
Python UpdatedMay 12, 2021 -
qmk-neo2 Public
Forked from yeldiRium/qmk-ergodox-ez-neo2QMK Firmware layout intended to be used as a git submodule.
C UpdatedApr 25, 2021 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedMar 31, 2021 -
-
arxiv-latex-cleaner Public
Forked from google-research/arxiv-latex-cleanerarXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Python Apache License 2.0 UpdatedMar 3, 2021 -
-
YaLafi Public
Forked from torik42/YaLafiYet another LaTeX filter
Python GNU General Public License v3.0 UpdatedJan 1, 2021 -
IP1-Python Public
Anki cards complementary to the introductory programming course IP1-Python at Université de Paris
UpdatedSep 6, 2020 -
protocoleexquis Public
A Cryptographic Multi-Party Computation Party Game
CSS GNU Affero General Public License v3.0 UpdatedAug 23, 2020 -
women-violence-and-technology Public
Forked from claucece/women-violence-and-technologyA place for the information that we find around how technology is used to enhance violence against women
UpdatedAug 10, 2020 -
-
-
proximity-tracing-survey Public
This repository serves to track a survey of proximity tracing proposals:
UpdatedApr 24, 2020 -
FairEmail Public
Forked from M66B/FairEmailFully featured, open source, privacy friendly email app for Android
Java GNU General Public License v3.0 UpdatedMar 15, 2020