howard36 / probaseLinks
An online math contest platform
☆19Updated 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 last week
- Olympiad problem database☆49Updated this week
- Source files for https://web.evanchen.cc☆45Updated this week
- Automated generation of planar geometry olympiad problems☆91Updated last year
- Asymptote preprocessor☆14Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- A LaTeX Typesetting Game☆249Updated 2 months ago
- Olympiad GeoGuessr☆16Updated 2 months ago
- orz☆15Updated 2 years ago
- Kattis problem package format specification☆12Updated last week
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆55Updated 6 months ago
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- A minimal setup required script to improve AoPS☆9Updated last year
- Exponent pair database☆53Updated this week
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆83Updated this week
- Source code for a video on computing Fibonacci numbers efficiently☆117Updated 6 months ago
- Natural Number Game☆167Updated 2 months ago
- ☆87Updated last year
- repository of competitive programming codes☆3Updated 3 years ago
- Chess engine in 4KB☆25Updated 3 weeks ago
- Search for the K12 neighborly polyhedron.☆111Updated 5 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- champagne☆31Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Complicated math expression generator☆102Updated 11 months ago
- ☆307Updated 2 months ago
- A UCI-compatible chess engine, written in Rust. Currently in developlent.☆27Updated last year