dominique-unruh / qrhl-toolView external linksLinks
Proof assistant for qRHL
☆22Feb 5, 2026Updated last week
Alternatives and similar repositories for qrhl-tool
Users that are interested in qrhl-tool are comparing it to the libraries listed below
Sorting:
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- ☆11Nov 21, 2022Updated 3 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- Examples for EasyCrypt Lectures☆28Jan 28, 2026Updated 2 weeks ago
- ☆16Feb 6, 2026Updated last week
- Implementation of the SOTA Transformer architecture from PaLM - Scaling Language Modeling with Pathways in JAX/Flax☆14Jun 22, 2022Updated 3 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Jan 20, 2023Updated 3 years ago
- Open source implementation of quantum internet simulation package☆106Feb 11, 2026Updated last week
- ☆15Jan 23, 2026Updated 3 weeks ago
- ☆17Aug 26, 2025Updated 5 months ago
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last week
- ☆23Sep 12, 2025Updated 5 months ago
- OpenAI's cartpole env solver.☆18Nov 20, 2018Updated 7 years ago
- ☆18Updated this week
- ☆21Oct 1, 2022Updated 3 years ago
- A dynamically executed quantum-classical hybrid runtime.☆23Jul 1, 2025Updated 7 months ago
- A Small Quantum Intermediate Representation☆91Jul 30, 2025Updated 6 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- Crypto library☆67Dec 9, 2025Updated 2 months ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 4 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Binder repository of interactive tutorial notebooks for pyQuil and Forest.☆29Feb 5, 2022Updated 4 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- Coq plugin for monomorphization and C code generation☆39Jan 16, 2026Updated last month
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆39May 13, 2025Updated 9 months ago
- A simple C++ COLLADA parser and OpenGL viewer, DevIL texture loading with a test QT interface.☆10Jul 22, 2012Updated 13 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- ☆36Mar 5, 2025Updated 11 months ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Here, I provided the solution for exercises of IBM Quantum Challenge 2020☆10Oct 27, 2020Updated 5 years ago
- 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
- ☆11Apr 28, 2023Updated 2 years ago
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago