vEnhance / otis-webLinks
OTIS course management system
☆43Updated this week
Alternatives and similar repositories for otis-web
Users that are interested in otis-web are comparing it to the libraries listed below
Sorting:
- Olympiad problem database☆53Updated last week
- Automated generation of planar geometry olympiad problems☆95Updated 2 years ago
- Source files for https://web.evanchen.cc☆53Updated last week
- An online math contest platform☆21Updated 4 months ago
- orz☆15Updated 2 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- Olympiad GeoGuessr☆17Updated 5 months ago
- A collection of my solutions to various informatics olympiad problems☆51Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆123Updated this week
- competitive programming folder☆30Updated 3 weeks ago
- We promote competitive programming among students through resources, classes, outreach, and contests.☆29Updated this week
- Competitive Programming Solutions☆10Updated 4 years ago
- Database for International Physics Olympiads☆11Updated last month
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆240Updated this week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 2 months ago
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆42Updated 2 years ago
- A virtual Stock Market based off of CodeForces rating☆34Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- 💧 Liquid Tensor Experiment☆205Updated last year
- MIT semester course planning app☆30Updated this week
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Asymptote preprocessor☆17Updated 2 months ago
- Catalog Of Math Problems Formalized In Lean☆191Updated this week
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆75Updated last month