Repository of the WIP draft-ietf-openpgp-pqc
☆21Feb 8, 2026Updated last month
Alternatives and similar repositories for draft-openpgp-pqc
Users that are interested in draft-openpgp-pqc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Feb 3, 2023Updated 3 years ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆18May 30, 2021Updated 4 years ago
- ☆13Sep 9, 2019Updated 6 years ago
- ☆19Jan 25, 2021Updated 5 years ago
- Toolset to build firmwares for InvizBox devices☆15May 9, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code and data for benchmarking post-quantum cryptography in TLS 1.3☆22Feb 10, 2021Updated 5 years ago
- ☆24Jul 7, 2022Updated 3 years ago
- Compare Nix derivations between base and PR branches using dix☆28Updated this week
- ☆10May 26, 2023Updated 2 years ago
- My Emacs configuration☆13Jun 30, 2024Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 3 weeks ago
- [wip] ssh agent for bitwarden☆12Sep 9, 2024Updated last year
- Patch attestation utility☆33Feb 13, 2026Updated last month
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- home-manager module POC for a tracker blocker on the command line☆11Feb 22, 2025Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Masked implementations of PQ schemes for the Cortex-M4.☆14Mar 11, 2026Updated 2 weeks ago
- Protect your copyright by poisoning AI crawlers.☆15Mar 27, 2025Updated last year
- DAWN (Debug Adapter with Nix)☆17Jan 1, 2024Updated 2 years ago
- ☆45Mar 23, 2026Updated last week
- Implementation of Lenstra-Lenstra-Lovász lattice basis reduction algorithm in Rust☆14Feb 24, 2022Updated 4 years ago
- ☆13Oct 18, 2024Updated last year
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Emacs config for ORG/Python/c/c++/Java☆13Apr 10, 2020Updated 5 years ago
- Higher-order Masking of AES-128 based on the Rivain and Prouff method, CPRR method and Common Shares with Random Reduction method.☆14May 13, 2017Updated 8 years ago
- эликсирпобеда.рф☆14Mar 2, 2025Updated last year
- Converts JS Bin object to a single file☆18Dec 12, 2018Updated 7 years ago
- 4-player card game in the browser with Gleam, React, and WebSockets☆15Feb 4, 2025Updated last year
- A collection of utilities to gain user path insights from exported FullStory data.☆12Sep 13, 2023Updated 2 years ago
- RISC-V Software Porting and Optimization Championship☆16Feb 27, 2026Updated last month
- Generate a Nix derivation on the fly using an LLM☆30Jun 14, 2025Updated 9 months ago
- Provides the STM32Cube MCU Component "cmsis_device_f3" of the STM32F3 series.☆11Apr 24, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Nix flake templates for Elixir projects☆24Jan 26, 2026Updated 2 months ago
- Tool for enc/dec huawei format password☆13Apr 24, 2023Updated 2 years ago
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Nov 5, 2025Updated 4 months ago
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- FIDO2 plugin for age(1)☆14Feb 5, 2021Updated 5 years ago
- ☆13Apr 24, 2024Updated last year
- Documentation for using Android Password Store☆13Mar 13, 2026Updated 2 weeks ago