howard36 / probaseLinks
An online math contest platform
☆20Updated 2 months ago
Alternatives and similar repositories for probase
Users that are interested in probase are comparing it to the libraries listed below
Sorting:
- OTIS course management system☆40Updated this week
- Olympiad problem database☆49Updated 3 weeks ago
- Source files for https://web.evanchen.cc☆48Updated 2 weeks ago
- Automated generation of planar geometry olympiad problems☆91Updated last year
- Asymptote preprocessor☆14Updated 2 weeks ago
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- Exponent pair database☆57Updated this week
- orz☆15Updated 2 years ago
- Olympiad GeoGuessr☆16Updated 2 months ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆46Updated this week
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- A LaTeX Typesetting Game☆252Updated 2 months ago
- Search for the K12 neighborly polyhedron.☆111Updated 6 months ago
- ☆8Updated 7 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆84Updated this week
- Catalog Of Math Problems Formalized In Lean☆166Updated this week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆56Updated 7 months ago
- Natural Number Game☆178Updated 3 months ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- A minimal setup required script to improve AoPS☆9Updated last year
- Server to host lean games.☆277Updated this week
- Kattis problem package format specification☆12Updated 3 weeks ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆175Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- competitive programming folder☆30Updated this week
- ☆306Updated 2 months ago
- Python implementation of the monster group☆48Updated 3 weeks ago
- Advanced algorithm and data structure library in C++☆67Updated 4 years ago