howard36 / probase
An online math contest platform
☆19Updated last month
Alternatives and similar repositories for probase:
Users that are interested in probase are comparing it to the libraries listed below
- OTIS course management system☆41Updated this week
- Olympiad problem database☆48Updated this week
- Automated generation of planar geometry olympiad problems☆87Updated last year
- Source files for https://web.evanchen.cc☆45Updated last week
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- Asymptote preprocessor☆12Updated 2 years ago
- orz☆15Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- A collection of my solutions to various informatics olympiad problems☆49Updated last year
- repository of competitive programming codes☆3Updated 3 years ago
- ☆8Updated 4 months ago
- A minimal setup required script to improve AoPS☆9Updated 10 months ago
- A virtual Stock Market based off of CodeForces rating☆34Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- Exponent pair database☆42Updated this week
- Olympiad GeoGuessr☆17Updated last week
- Tools to manage problem packages using the Kattis problem package format.☆113Updated this week
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- We promote competitive programming among students through resources, classes, outreach, and contests.☆29Updated this week
- Server to host lean games.☆246Updated this week
- An introduction to theorem proving in Lean for the impatient.☆150Updated 2 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆76Updated this week
- Search for the K12 neighborly polyhedron.☆108Updated 3 months ago
- ☆190Updated 2 weeks ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆51Updated 3 months ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Catalog Of Math Problems Formalized In Lean☆141Updated this week
- Debug and visualize computational geometry problems☆110Updated 2 years ago
- The efficient digital whiteboard.☆84Updated last year