Project Euler references (NO SOLUTIONS)
☆21Dec 29, 2025Updated 6 months ago
Alternatives and similar repositories for project-euler
Users that are interested in project-euler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆11May 14, 2026Updated 2 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Cmd line tool to transfer files to and from M4 board via WiFi☆13Feb 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Embedded algebraic number fields☆14Jul 6, 2026Updated 2 weeks ago
- ☆15Apr 1, 2026Updated 3 months ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- A simple spaced repetition system software in PHP.☆20Jan 14, 2018Updated 8 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Curso Git Mastermind☆22Aug 20, 2024Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated last month
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆31Jul 8, 2026Updated last week
- 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.
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 5 months ago
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- Linter component for Isabelle.☆23May 4, 2026Updated 2 months ago
- Formalizing results about the Mandelbrot set in Lean☆30Dec 31, 2025Updated 6 months ago
- ☆21Jan 22, 2026Updated 6 months ago
- Formal verification of parts of the Stacks Project in Lean☆23Sep 24, 2021Updated 4 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆31Jun 27, 2026Updated 3 weeks ago
- To check whether runs of numbers can be organised into sequences where every consecutive pair of numbers adds to a square. And plot the r…☆44Jan 28, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 5 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆40Mar 24, 2023Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- Lantern chained server implemented using Apache Traffic Server☆18Sep 21, 2015Updated 10 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Oct 13, 2023Updated 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32May 1, 2026Updated 2 months ago
- A tool for manipulating bibtex files as s-expressions☆33Oct 27, 2018Updated 7 years ago
- 🚀 Sum of the primes below x☆41Jun 17, 2022Updated 4 years ago
- Let's translate works of Grothendieck☆34Aug 13, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆50May 15, 2023Updated 3 years ago
- Homebrew formulae for formal methods☆37Jul 28, 2025Updated 11 months ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- a simple GUI internet viedo downloader☆31Feb 8, 2017Updated 9 years ago
- Schemes in Lean (v2)☆45Jul 30, 2020Updated 5 years ago
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆54Apr 6, 2020Updated 6 years ago