Automated generation of planar geometry olympiad problems
☆111May 3, 2026Updated 4 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☆47Updated this week
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 months ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆38Updated this week
- The efficient digital whiteboard.☆88Sep 4, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A collection of online resources that I found useful for Ph.D. students☆18Apr 14, 2022Updated 4 years ago
- Java Geometry Expert☆52Updated this week
- Notes for GCE 'A' Levels 9597 H2 Computing☆17Aug 14, 2020Updated 6 years ago
- Backup of the sources for my SJPO Teaching Notes☆11Apr 15, 2019Updated 7 years ago
- ☆18Aug 17, 2024Updated 2 years ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆58Jun 3, 2026Updated 3 months ago
- competitive programming folder☆31May 2, 2026Updated 4 months ago
- Files for the MO Server☆10May 13, 2021Updated 5 years ago
- ☆10Sep 7, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A program to analyze an image-series for exoplanet transits.☆16Sep 15, 2023Updated 3 years ago
- ISUCONの練習時に使えるベンチマーカーWebUI☆14Jul 4, 2025Updated last year
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆54Updated this week
- 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☆38Dec 6, 2024Updated last year
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- AtCoderの問題を管理できるツールです。☆13Oct 1, 2021Updated 4 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆44Jul 1, 2026Updated 2 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆28Aug 16, 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.
- 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
- Implementation of the LOSSGRAD optimization algorithm☆15Mar 21, 2019Updated 7 years ago
- Virtual rating system for codeforces using codeforces API.☆28Apr 21, 2023Updated 3 years ago
- probably☆14Oct 12, 2021Updated 4 years ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆59Apr 17, 2021Updated 5 years ago
- Catalog Of Math Problems Formalized In Lean☆255Updated this week
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- Efficient Conway's Game of Life implemented in Python using NumPy.☆14May 1, 2024Updated 2 years 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.
- 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
- A PyPI to PKGBUILD converter.☆73Jan 6, 2025Updated last year
- Rhythm Game made with OpenSiv3D☆22Aug 18, 2022Updated 4 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
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆38Feb 9, 2024Updated 2 years ago
- Trainer for the AMC math competition☆14Sep 12, 2026Updated last week
- Code for TPAMI 2020 paper - A Generalized Earley Parser for Human Activity Parsing and Prediction☆13Nov 23, 2020Updated 5 years ago