vEnhance / otis-web
OTIS course management system
☆41Updated this week
Alternatives and similar repositories for otis-web:
Users that are interested in otis-web are comparing it to the libraries listed below
- Olympiad problem database☆48Updated 2 weeks ago
- Automated generation of planar geometry olympiad problems☆86Updated last year
- An online math contest platform☆19Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆45Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- orz☆15Updated 2 years ago
- A minimal setup required script to improve AoPS☆9Updated 10 months ago
- A LaTeX Typesetting Game☆246Updated last month
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated last week
- Olympiad GeoGuessr☆17Updated this week
- competitive programming folder☆29Updated 3 weeks ago
- A collection of my solutions to various informatics olympiad problems☆49Updated last year
- ☆8Updated 4 months ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆40Updated 2 years ago
- repository of competitive programming codes☆3Updated 3 years ago
- Collection of Useful CS Algorithms☆98Updated 8 years ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆40Updated 2 years ago
- A realtime collaborative IDE with code execution, intellisense, mobile support, and built-in USACO submissions.☆413Updated this week
- We promote competitive programming among students through resources, classes, outreach, and contests.☆29Updated this week
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- Auxiliary stuff for article sources☆66Updated 3 months ago
- Server to host lean games.☆243Updated this week
- ☆14Updated 2 years ago
- A bunch of coding stuff☆21Updated 8 months ago
- Competitive Programming☆45Updated 2 weeks ago
- Catalog Of Math Problems Formalized In Lean☆139Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- Stocks with Codeforces ratings☆10Updated 2 years ago