Olympiad problem database
☆56May 15, 2026Updated last week
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)☆134May 15, 2026Updated last week
- OTIS course management system☆45Updated this week
- Source files for https://web.evanchen.cc☆65May 16, 2026Updated last week
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Apr 11, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automated generation of planar geometry olympiad problems☆106May 3, 2026Updated 2 weeks ago
- An Infinitely Large Napkin☆1,880May 16, 2026Updated last week
- Grid paper maker☆14Nov 16, 2019Updated 6 years ago
- 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☆18May 15, 2026Updated last week
- A simple OS☆12Apr 5, 2023Updated 3 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50May 13, 2026Updated last week
- Open-source number theory textbook☆65Aug 5, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🏆 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 10 years ago
- Libraries and tools for extracting Coq code to F#☆14Aug 16, 2013Updated 12 years ago
- Hardware-efficient learning of quantum many-body states. Code for simulating a U(1) lattice gauge theory and classifying topological orde…☆12Dec 8, 2022Updated 3 years ago
- Source code of Mathematical Surprises (open access)☆15Mar 24, 2025Updated last year
- ☆25Apr 2, 2020Updated 6 years ago
- A LaTeX Typesetting Game☆322Apr 29, 2026Updated 3 weeks ago
- Solutions to various math textbooks☆20May 11, 2015Updated 11 years ago
- Template for quantum research projects using Q#, Python, and LaTeX☆12Apr 30, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A math animation library based on the blender python api☆21May 15, 2026Updated last week
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- A vscode extension for designing AIGC applications.☆11Jan 15, 2024Updated 2 years ago
- 🍱 Soothing pastel theme for Bento☆28Nov 11, 2022Updated 3 years ago
- Personal blog about math and coding☆10May 6, 2026Updated 2 weeks ago
- ☆24Sep 22, 2021Updated 4 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 4 months ago
- Implementation of cryptographic attacks. Mainly reproduction of recent cryptographic papers.☆15Dec 4, 2024Updated last year
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Some useful utilities for OI written in C++.☆10Apr 13, 2022Updated 4 years ago
- 기상청 실시간 지진감시 클라이언트☆12Apr 28, 2024Updated 2 years ago
- ☆16Aug 28, 2014Updated 11 years ago
- My-CTF-Challenges☆15Sep 27, 2021Updated 4 years ago
- Catalog Of Math Problems Formalized In Lean☆243Updated this week
- ☆11Apr 27, 2024Updated 2 years ago
- An IBM OpenQASM 2.0 Parser Written In Rust☆28Oct 24, 2021Updated 4 years ago