Alternatives and similar repositories for project-euler

Users that are interested in project-euler are comparing it to the libraries listed below

• vEnhance / von
  Olympiad problem database
  ☆53Updated last month
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆98Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆58Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆917Updated last week
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆116Updated 3 years ago
• kimwalisch / primecount
  🚀 Fast prime counting function library
  ☆339Updated last week
• lucky-bai / projecteuler-solutions
  Numerical answers to all Project Euler problems
  ☆352Updated 2 weeks ago
• alwayswimmin / cs_guide
  Collection of Useful CS Algorithms
  ☆108Updated 8 years ago
• online-judge-tools / api-client
  API client to develop tools for competitive programming
  ☆77Updated last year
• wesley-a-leung / Resources
  Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…
  ☆42Updated 2 years ago
• cos65535 / ICPCLibrary
  C++ Library for ICPC
  ☆17Updated 9 years ago
• howard36 / probase
  An online math contest platform
  ☆22Updated last month
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated last week
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆53Updated 4 years ago
• yosupo06 / library-checker-problems
  The problem data (Test case generator, judge's solution, task, ...) of Library Checker
  ☆612Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆382Updated this week
• CodeTiger927 / USACO-Rating
  A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.
  ☆37Updated last year
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆425Updated 3 months ago
• baihacker / pe
  A C++ library for solving problems on Project Euler
  ☆41Updated last week
• FakePsyho / cpcontests
  Library of my solutions for various programming contests
  ☆95Updated 3 months ago
• hitonanode / cplib-cpp
  C++ competitive programming library
  ☆81Updated 2 weeks ago
• thecodingwizard / competitive-programming
  Solutions to various competitive programming problems I've solved. Check out the USACO Guide to improve at competitive programming!
  ☆85Updated 3 years ago
• ucf-programming-team / hackpack-cpp
  C++ Reference Code for Competitive Programming
  ☆22Updated last year
• ecnerwala / icpc-book
  Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book
  ☆230Updated 2 years ago
• fishy15 / competitive_programming
  competitive programming folder
  ☆30Updated 2 weeks ago
• roosephu / project-euler
  my source file for project euler
  ☆68Updated 5 years ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆235Updated 7 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆310Updated 10 months ago