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:
- OTIS course management system☆46Updated this week
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- An online math contest platform☆20Jun 5, 2026Updated 2 months ago
- Olympiad problem database☆61Jul 22, 2026Updated last month
- Asymptote preprocessor☆19Jul 22, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The implement of geometric solver PGPSNet☆30Jul 8, 2026Updated last month
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆38Aug 17, 2026Updated last week
- The efficient digital whiteboard.☆88Aug 22, 2026Updated last week
- Java Geometry Expert☆52Feb 1, 2026Updated 6 months ago
- ☆46Aug 19, 2026Updated last week
- Backup of the sources for my SJPO Teaching Notes☆11Apr 15, 2019Updated 7 years ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆58Jun 3, 2026Updated 2 months ago
- ☆14Jan 26, 2023Updated 3 years ago
- ☆13May 3, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆16Jul 29, 2026Updated last month
- Apps that run on modal.com☆13Sep 14, 2025Updated 11 months ago
- ☆10Jul 29, 2026Updated last month
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆178Mar 29, 2025Updated last year
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆54Updated this week
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆27Aug 16, 2026Updated 2 weeks ago
- Experiments on GPT-3's ability to fit numerical models in-context.☆14Aug 11, 2022Updated 4 years ago
- 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,955Aug 23, 2026Updated last week
- Can you write a shorter Javascript version of Conway's game of life?☆16Jul 29, 2026Updated last month
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆59Apr 17, 2021Updated 5 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆71Updated this week
- Catalog Of Math Problems Formalized In Lean☆253Updated this week
- 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.
- Efficient Conway's Game of Life implemented in Python using NumPy.☆14May 1, 2024Updated 2 years ago
- This workshop covers the swift for TensorFlow python interoperability and trains a model entirely in swift and then uses it in an IOS App…☆10Jul 31, 2019Updated 7 years ago
- GeoGebra Discovery☆30Jul 10, 2026Updated last month
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆38Feb 9, 2024Updated 2 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆12Mar 11, 2025Updated last year
- ☆22Jan 19, 2024Updated 2 years ago
- ☆10Dec 16, 2021Updated 4 years ago