The Sage implementation of a simulator for Regev's factoring algorithm, and of Ekerå–Gärtner's extensions to discrete logarithm finding, order finding and factoring via order finding.
☆21Oct 2, 2024Updated last year
Alternatives and similar repositories for regevnum
Users that are interested in regevnum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quantum ramblings and more☆25Nov 7, 2022Updated 3 years ago
- Qelm - Quantum Enhanced Language Model☆27Updated this week
- Examples to get started with IBM Functional Genomics Platform☆15Sep 17, 2025Updated last year
- ☆16Mar 2, 2026Updated 6 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- sb35☆20Feb 14, 2022Updated 4 years ago
- garbled-snark-verifier repository☆18May 27, 2026Updated 3 months ago
- Qiskit provider for Quantinuum backends.☆26Mar 13, 2025Updated last year
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆22Dec 16, 2025Updated 9 months ago
- ☆10Jan 21, 2021Updated 5 years ago
- Asymptote preprocessor☆19Jul 22, 2026Updated last month
- Quantum circuit analysis toolkit☆96Sep 9, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bayesian Elo Rating estimator☆14Jul 2, 2015Updated 11 years ago
- A provider which allows Qiskit to use the QCGPU simulator☆25Dec 13, 2019Updated 6 years ago
- An online math contest platform☆20Updated this week
- A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface …☆17Dec 11, 2025Updated 9 months ago
- This is a ray tracer I wrote for a univeristy assignment last year. I don't claim that it is fast or good code.☆13Sep 27, 2018Updated 7 years ago
- When should you berserk in lichess arena tournament games?☆21May 28, 2022Updated 4 years ago
- basic 3D simulation with pygame☆15Aug 2, 2022Updated 4 years ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆34Mar 9, 2026Updated 6 months ago
- A multidimensional scaling (MDS) and landmark multidimensional scaling (LMDS) implementation☆17Apr 10, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Darling's userspace kernel server (much like Wine's wineserver)☆18Dec 6, 2025Updated 9 months ago
- Simple chess AI built using python and flask.☆13Sep 15, 2022Updated 4 years ago
- GPU based, progressive rendering, Monte Carlo Path Tracing, Reflection/volume scattering models and materials☆19Jul 13, 2019Updated 7 years ago
- ☆31Nov 6, 2023Updated 2 years ago
- ☆28Feb 7, 2022Updated 4 years ago
- Library to extract text from HTML files☆11Dec 20, 2015Updated 10 years ago
- Catacomb 3-D (1991) by id Software, Inc.☆13Jun 5, 2014Updated 12 years ago
- A quantum circuit optimizer based on sum-over-paths representations☆26Nov 8, 2019Updated 6 years ago
- ☆26Aug 5, 2021Updated 5 years ago
- AI Agents on 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.
- Gameboy Color Emulator (libglfw frontend)☆14Oct 21, 2018Updated 7 years ago
- 📚 A Go library for MPRIS☆14Jul 5, 2023Updated 3 years ago
- Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more☆69Feb 25, 2026Updated 6 months ago
- Gravity Force 2 (1994) by Bits Productions☆11Jun 20, 2015Updated 11 years ago
- Return to Castle Wolfenstein Multiplayer GPL Source Release☆15Jan 31, 2012Updated 14 years ago
- Some files and samples related to quantum computing☆16Jan 9, 2019Updated 7 years ago
- A chess engine made for the infinitechess.org website that can play on an unbounded board.☆26Updated this week