Automated generation of planar geometry olympiad problems
☆108May 3, 2026Updated 2 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☆46Jun 29, 2026Updated last week
- Olympiad problem database☆59Jun 2, 2026Updated last month
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- Asymptote preprocessor☆19Jun 2, 2026Updated last month
- ☆25Aug 5, 2021Updated 4 years ago
- 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.
- Dot files for Evan Chen (Arch Linux on i3)☆137Jun 25, 2026Updated 2 weeks ago
- パ研合宿 2021/2022 レクリエーション フロントエンド☆12Mar 27, 2023Updated 3 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated last month
- A collection of online resources that I found useful for Ph.D. students☆18Apr 14, 2022Updated 4 years ago
- The efficient digital whiteboard.☆88Jun 19, 2026Updated 2 weeks ago
- Java Geometry Expert☆50Feb 1, 2026Updated 5 months ago
- Backup of the sources for my SJPO Teaching Notes☆10Apr 15, 2019Updated 7 years ago
- Get prettier, more readable USACO Solutions!☆13Feb 15, 2022Updated 4 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.
- competitive programming folder☆31May 2, 2026Updated 2 months 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
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- ☆16Mar 26, 2026Updated 3 months ago
- ☆14Jan 26, 2023Updated 3 years ago
- ☆18Aug 17, 2024Updated last year
- My CP stuff☆22Jun 26, 2026Updated last week
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- 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.
- MIT semester course planning app☆34Jul 1, 2026Updated last week
- 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 5 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆51Jul 3, 2026Updated last week
- An Infinitely Large Napkin☆1,926Updated this week
- Code for Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding☆25Dec 6, 2022Updated 3 years ago
- AtCoderの問題を管理できるツールです。☆13Oct 1, 2021Updated 4 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16May 27, 2020Updated 6 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.
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆58Apr 17, 2021Updated 5 years ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆246Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆66Jan 12, 2026Updated 5 months ago
- A PyPI to PKGBUILD converter.☆74Jan 6, 2025Updated last year
- Virtual rating system for codeforces using codeforces API.☆28Apr 21, 2023Updated 3 years ago
- Solutions to various math textbooks☆20May 11, 2015Updated 11 years ago