matthewelse / british-informatics-olympiad
A collection of solutions to British Informatics Olympiad questions
☆18Updated 2 years ago
Alternatives and similar repositories for british-informatics-olympiad:
Users that are interested in british-informatics-olympiad are comparing it to the libraries listed below
- Contains python solutions for the British Informatics olympiad☆22Updated 7 months ago
- Unofficial solutions to the BIO. Will check and fully comment the answers in time. Solution suggestions are welcome!☆9Updated last year
- Source files for https://web.evanchen.cc☆45Updated this week
- Olympiad problem database☆48Updated last month
- A Manim Rendering Bot for Discord. Requires a Functioning Manim install.☆51Updated last year
- Automated generation of planar geometry olympiad problems☆86Updated last year
- Competitive Programming Solutions☆9Updated 3 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆43Updated this week
- My solution, analysis, and local test script for the Canadian Computing Competition☆12Updated 3 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆158Updated 11 months ago
- CSM 61A Worksheets in Latex☆13Updated this week
- WebGL Complex Function Plotter☆54Updated 4 months ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆77Updated 2 years ago
- OTIS course management system☆41Updated this week
- Collaboration / Topic requests for SoME☆211Updated last year
- Elevate your LeetCode experience with CodeGrind Bot: Compete on leaderboards, retrieve LeetCode problems, and track your progress! 🚀☆17Updated this week
- Results of the Tiny Chess Bot Challenge☆122Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆299Updated last week
- All contest materials for CALICO Fall '23, including solutions, editorials, tests, templates, and problem statements.☆32Updated last year
- Supercharge your Desmos graph creation and sharing experience with many convenient features☆87Updated last month
- Source code for a video on computing Fibonacci numbers efficiently☆101Updated 2 months ago
- ☆186Updated last week
- An online math contest platform☆18Updated 2 months ago
- A realtime collaborative IDE with code execution, intellisense, mobile support, and built-in USACO submissions.☆409Updated this week
- Source code for all the animations in my videos. Uses @3b1b's manim library☆166Updated 8 months ago
- Connect 4 Solver☆287Updated 4 years ago
- Group theory visualization software in the browser☆236Updated 11 months ago
- Server to host lean games.☆235Updated this week
- Tree Proof Generator☆161Updated 2 weeks ago
- Natural Number Game☆145Updated this week