Proof assistant for qRHL
☆22Feb 5, 2026Updated last month
Alternatives and similar repositories for qrhl-tool
Users that are interested in qrhl-tool are comparing it to the libraries listed below
Sorting:
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- A foundational framework for modular cryptographic proofs in Coq☆75Mar 3, 2026Updated last week
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- ☆11Nov 21, 2022Updated 3 years ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- Implementation of the SOTA Transformer architecture from PaLM - Scaling Language Modeling with Pathways in JAX/Flax☆14Jun 22, 2022Updated 3 years ago
- Examples for EasyCrypt Lectures☆28Jan 28, 2026Updated last month
- A BibTeX collection on Isogeny-based Cryptography☆18Jan 20, 2023Updated 3 years ago
- Open source implementation of quantum internet simulation package☆107Mar 3, 2026Updated last week
- ☆15Jan 23, 2026Updated last month
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆62Dec 12, 2022Updated 3 years ago
- ☆17Aug 26, 2025Updated 6 months ago
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last month
- ☆25Feb 18, 2026Updated 2 weeks ago
- Experiments with Universal Composability in EasyCrypt☆44Mar 3, 2026Updated last week
- ☆21Oct 1, 2022Updated 3 years ago
- OpenAI's cartpole env solver.☆18Nov 20, 2018Updated 7 years ago
- ☆18Feb 27, 2026Updated last week
- A dynamically executed quantum-classical hybrid runtime.☆23Jul 1, 2025Updated 8 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- ☆25Apr 24, 2022Updated 3 years ago
- Crypto library☆67Dec 9, 2025Updated 3 months ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 5 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Binder repository of interactive tutorial notebooks for pyQuil and Forest.☆30Feb 5, 2022Updated 4 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆33Sep 5, 2024Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Quantum implementation of elliptic curve primitives☆34May 20, 2022Updated 3 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 years ago
- A Mathematica package for multithreaded and GPU simulation of quantum computers☆38Feb 18, 2026Updated 2 weeks ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆39Dec 3, 2025Updated 3 months ago
- lattice-based digital signature scheme qTESLA☆31Nov 9, 2019Updated 6 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- Coq plugin for monomorphization and C code generation☆40Jan 16, 2026Updated last month
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- ☆35Mar 5, 2025Updated last year
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated 9 months ago