Automated generation of planar geometry olympiad problems
☆110May 3, 2026Updated 3 months ago
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:
- An online math contest platform☆20Jun 5, 2026Updated 2 months ago
- Olympiad problem database☆61Jul 22, 2026Updated 2 weeks ago
- ☆25Aug 5, 2021Updated 5 years ago
- パ研合宿 2021/2022 レクリエーション フロントエンド☆12Mar 27, 2023Updated 3 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 2 months ago
- 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.
- Java Geometry Expert☆51Feb 1, 2026Updated 6 months ago
- Notes for GCE 'A' Levels 9597 H2 Computing☆17Aug 14, 2020Updated 5 years ago
- ☆45Feb 4, 2026Updated 6 months ago
- Get prettier, more readable USACO Solutions!☆13Feb 15, 2022Updated 4 years ago
- ☆13May 3, 2023Updated 3 years ago
- O(n log n) algorithm finding solutions of Erdős-Ginzburg-Ziv theorem.☆14Aug 18, 2022Updated 3 years ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆64Jan 9, 2025Updated last year
- A program to analyze an image-series for exoplanet transits.☆16Sep 15, 2023Updated 2 years ago
- My CP stuff☆22Jun 26, 2026Updated last month
- 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.
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆177Mar 29, 2025Updated last year
- MIT semester course planning app☆34Updated this week
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.☆43Aug 20, 2025Updated 11 months ago
- ISUCONの練習時に使えるベンチマーカーWebUI☆14Jul 4, 2025Updated last year
- Converts sections of an excalidraw file to a PDF☆13Jan 29, 2024Updated 2 years ago
- dstll gives you a high level overview of various constructs in your code☆20Jun 8, 2026Updated 2 months ago
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- Repository of knowledge learnt, ranging from Computer Science to Mathematics☆39Dec 6, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Screams when you write `unsafe` on Rust.☆13Nov 7, 2021Updated 4 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆43Jul 1, 2026Updated last month
- Experiments on GPT-3's ability to fit numerical models in-context.☆14Aug 11, 2022Updated 3 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- Official github repo of G-LLaVA☆154Feb 20, 2025Updated last year
- Code for Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding☆25Dec 6, 2022Updated 3 years ago
- ☆18Jan 8, 2024Updated 2 years ago
- An Infinitely Large Napkin☆1,945Jul 22, 2026Updated 2 weeks ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Virtual rating system for codeforces using codeforces API.☆28Apr 21, 2023Updated 3 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16Jul 29, 2026Updated last week
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆252Updated this week
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- Move your newsletters outside of your inbox. Focus on and learn from the content you love in a distraction-free reading space.☆13Oct 20, 2021Updated 4 years ago
- (WIP) A benchmark to see how well AI agents autonomously make money.☆15Jul 17, 2025Updated last year