Automated generation of planar geometry olympiad problems
☆107May 3, 2026Updated last month
Alternatives and similar repositories for GeoGen
Users that are interested in GeoGen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- OTIS course management system☆46Updated this week
- An online math contest platform☆21Jun 5, 2026Updated last week
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- Asymptote preprocessor☆19Jun 2, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆25Aug 5, 2021Updated 4 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆135Jun 7, 2026Updated last week
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 2 weeks ago
- Formal geometric problem solver based on FormalGeo.☆19Apr 18, 2024Updated 2 years ago
- ☆13May 3, 2023Updated 3 years ago
- Kiite Cafeで好きな曲が流れる1分前に通知するDiscordBotです☆10May 5, 2024Updated 2 years ago
- O(n log n) algorithm finding solutions of Erdős-Ginzburg-Ziv theorem.☆14Aug 18, 2022Updated 3 years ago
- Сборник статей по спортивному программированию 2.0☆23Jan 19, 2022Updated 4 years ago
- My CP stuff☆22Mar 6, 2026Updated 3 months 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.
- A program to analyze an image-series for exoplanet transits.☆16Sep 15, 2023Updated 2 years ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- MIT semester course planning app☆34Updated this week
- ISUCONの練習時に使えるベンチマーカーWebUI☆14Jul 4, 2025Updated 11 months ago
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- Checklist to Keep Track of Progress in Solving Mathematical Olympiad Problems☆12Jan 27, 2026Updated 4 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆51Updated this week
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 2 years ago
- Few-Shot Object Detection with Transformer☆10Jan 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- An Infinitely Large Napkin☆1,894Jun 8, 2026Updated last week
- ☆18Jan 8, 2024Updated 2 years ago
- probably☆14Oct 12, 2021Updated 4 years ago
- Catalog Of Math Problems Formalized In Lean☆246Updated this week
- A PyPI to PKGBUILD converter.☆74Jan 6, 2025Updated last year
- Virtual rating system for codeforces using codeforces API.☆28Apr 21, 2023Updated 3 years ago
- ☆10Dec 16, 2021Updated 4 years ago
- Bayesian Elo Rating estimator☆15Jul 2, 2015Updated 10 years ago
- 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.
- Rhythm Game made with OpenSiv3D☆22Aug 18, 2022Updated 3 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- Code for TPAMI 2020 paper - A Generalized Earley Parser for Human Activity Parsing and Prediction☆13Nov 23, 2020Updated 5 years ago
- A web UI that plots finite group Cayley Graphs in 3D☆21Oct 2, 2023Updated 2 years ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆40Sep 7, 2024Updated last year
- An easy to use decorator for persistent memoization in Python: like `functools.lrucache`, but results can be saved in any format to any s…☆20Mar 14, 2025Updated last year