Olympiad problem database
☆55Feb 10, 2026Updated last month
Alternatives and similar repositories for von
Users that are interested in von are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dot files for Evan Chen (Arch Linux on i3)☆133Updated this week
- OTIS course management system☆45Mar 17, 2026Updated last week
- Source files for https://web.evanchen.cc☆63Updated this week
- MIT 18.02 lecture notes on multivar☆27Mar 3, 2026Updated 3 weeks ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 6 months ago
- Automated generation of planar geometry olympiad problems☆103Feb 19, 2026Updated last month
- An Infinitely Large Napkin☆1,840Feb 12, 2026Updated last month
- Grid paper maker☆13Nov 16, 2019Updated 6 years ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆56Apr 17, 2021Updated 4 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- My personal LaTeX template, with sensible formatting and commands☆16Oct 5, 2022Updated 3 years ago
- Quantum ramblings and more☆25Nov 7, 2022Updated 3 years ago
- Asymptote preprocessor☆17Feb 10, 2026Updated last month
- competitive programming folder☆31Mar 16, 2026Updated last week
- All of my stuff pertaining to programming contests and preparing for them☆24Dec 4, 2022Updated 3 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated this week
- orz☆15Dec 8, 2022Updated 3 years ago
- A small repository containing my attempt to emulate the LaTeX beamer format within manim-slides.☆28Sep 23, 2025Updated 6 months ago
- Open-source number theory textbook☆64Aug 5, 2024Updated last year
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆40Sep 7, 2024Updated last year
- Anagram game for Android built with Unity☆11May 13, 2016Updated 9 years ago
- A collection of my solutions to various informatics olympiad problems☆50Aug 29, 2023Updated 2 years ago
- Find a seed by the positions of the structures and biome information☆13Sep 7, 2019Updated 6 years ago
- A LaTeX Typesetting Game☆262Mar 31, 2025Updated 11 months ago
- Solutions to various math textbooks☆19May 11, 2015Updated 10 years ago
- Order random boba☆14Jul 7, 2019Updated 6 years ago
- Not Enough SkyBlock UberItems Addon for Craftbukkit and Spigot, by Brandon (ThirtyVirus) Calabrese☆10Sep 21, 2023Updated 2 years ago
- ☆14Updated this week
- Continuous Matrix Product States in Julia☆30Sep 24, 2025Updated 5 months ago
- 매일 알고리즘 1문제를 풀어보던 카카오톡 오픈채팅방을 아카이브합니다. 현재 190명: 방문자 환영합니다.☆12Jun 26, 2023Updated 2 years ago
- Find cool seeds in minecraft☆15Feb 23, 2016Updated 10 years ago
- Collection of Useful CS Algorithms☆116Dec 31, 2016Updated 9 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- 기상청 실시간 지진감시 클라이언트☆12Apr 28, 2024Updated last year
- A blog introducing the idea of classical shadow tomography, and Hamiltonian-driven shadow tomography of quantum states(https://arxiv.org/…☆29May 28, 2021Updated 4 years ago
- Catalog Of Math Problems Formalized In Lean☆238Updated this week
- ☆11Apr 27, 2024Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago