howard36 / probaseLinks
An online math contest platform
☆21Updated 4 months ago
Alternatives and similar repositories for probase
Users that are interested in probase are comparing it to the libraries listed below
Sorting:
- Source files for https://web.evanchen.cc☆53Updated this week
- Olympiad problem database☆53Updated last week
- Automated generation of planar geometry olympiad problems☆95Updated 2 years ago
- OTIS course management system☆43Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- A LaTeX Typesetting Game☆255Updated 4 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆661Updated last week
- ☆327Updated 4 months ago
- Analyze compressed chess pgn files to determine the rarest move☆308Updated 10 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- An Infinitely Large Napkin☆1,574Updated 2 weeks ago
- Natural Number Game☆204Updated 3 weeks ago
- Asymptote preprocessor☆17Updated 2 months ago
- Server to host lean games.☆309Updated last week
- A number guessing game with a p-adic twist.☆10Updated last year
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆57Updated 9 months ago
- Exponent pair database☆62Updated 2 weeks ago
- orz☆15Updated 2 years ago
- 🔍 Twizzle Search — a program to find algs and scrambles for twisty puzzles☆38Updated last week
- An introduction to theorem proving in Lean for the impatient.☆240Updated this week
- Complicated math expression generator☆104Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- Source code for a video on computing Fibonacci numbers efficiently☆130Updated 9 months ago
- A tutorial for solving the Rubik's Cube with as few moves as possible.☆31Updated 5 months ago
- Kattis problem package format specification☆12Updated this week
- Search for the K12 neighborly polyhedron.☆112Updated 8 months ago
- champagne☆31Updated last year
- 🚀 Fast prime counting function library☆335Updated last month
- Olympiad GeoGuessr☆17Updated 5 months ago
- competitive programming folder☆30Updated 3 weeks ago