Project Euler references (NO SOLUTIONS)
☆21Oct 16, 2026Updated 2 weeks 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:
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 13 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆12Sep 28, 2026Updated last month
- ☆15Dec 31, 2022Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Solutions to crackmes☆18May 22, 2015Updated 11 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- code and dataset of EMNLP 2020 paper "PARADE: A New Dataset for Paraphrase Identification Requiring Computer Science Domain Knowledge"☆12Nov 6, 2020Updated 5 years ago
- Competitive Programming Library & Solutions☆17Dec 22, 2021Updated 4 years ago
- ☆15Updated this week
- Embedded algebraic number fields☆15Aug 17, 2026Updated 2 months ago
- ☆11Dec 7, 2020Updated 5 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- Azure OpenAI 프롬프톤☆11Sep 23, 2024Updated 2 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.
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆16Mar 2, 2021Updated 5 years ago
- A simple spaced repetition system software in PHP.☆20Jan 14, 2018Updated 8 years ago
- Ruby client for Cocktails API☆47Oct 3, 2024Updated 2 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 5 months ago
- Rails information and cheatsheets.☆10Apr 17, 2015Updated 11 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 6 years ago
- ☆25Apr 21, 2021Updated 5 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- Who has the Longest Streak on GitHub?☆13Jan 14, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An Stack Based Programming Language (Compiler + VM)☆29Jan 5, 2022Updated 4 years ago
- Inquiry Based Numerical Methods Textbook☆21Jan 2, 2022Updated 4 years ago
- Action sequence prediction for arbitrary chemical equations☆27Mar 29, 2021Updated 5 years ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- ringzer0team challange solutions☆32Jan 15, 2016Updated 10 years ago
- Eudyptula challenge☆10Jun 13, 2014Updated 12 years ago
- Steps towards a PDF renderer for cmark using libharu☆14Jul 23, 2015Updated 11 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- anti-America-hegemony, do NOT be what you do not want!☆11Jan 29, 2024Updated 2 years ago
- ☆20Jan 22, 2026Updated 9 months ago
- RestBlockDriver☆13Aug 9, 2020Updated 6 years ago
- 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
- Formal verification of parts of the Stacks Project in Lean☆23Sep 24, 2021Updated 5 years ago
- Linter component for Isabelle.☆23Updated this week
- Plektos is a decentralized meetup, events, and calendar platform built on Nostr.☆16Sep 6, 2026Updated last month