Automated generation of planar geometry olympiad problems
☆107May 3, 2026Updated 3 weeks 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:
- Olympiad problem database☆56May 15, 2026Updated last week
- Asymptote preprocessor☆18May 15, 2026Updated last week
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- Dot files for Evan Chen (Arch Linux on i3)☆134May 15, 2026Updated last week
- Virtual notebook that Evan uses for his PhD thesis.☆12Apr 11, 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.
- 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
- ☆16Mar 26, 2026Updated last month
- ☆14Jan 26, 2023Updated 3 years ago
- Сборник статей по спортивному программированию 2.0☆23Jan 19, 2022Updated 4 years ago
- My CP stuff☆22Mar 6, 2026Updated 2 months ago
- GeoGebra Discovery☆27Apr 18, 2026Updated last month
- MIT semester course planning app☆34May 19, 2026Updated last week
- An Infinitely Large Napkin☆1,889Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- AtCoderの問題を管理できるツールです。☆13Oct 1, 2021Updated 4 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16May 27, 2020Updated 5 years ago
- [OpenEDM] Arc Generator Project☆20Apr 15, 2026Updated last month
- Implementation of the LOSSGRAD optimization algorithm☆15Mar 21, 2019Updated 7 years ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆57Apr 17, 2021Updated 5 years ago
- Catalog Of Math Problems Formalized In Lean☆243Updated this week
- Virtual rating system for codeforces using codeforces API.☆28Apr 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bayesian Elo Rating estimator☆15Jul 2, 2015Updated 10 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 6 years ago
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- Code of ACM MM 2023 Paper: A Symbolic Characters Aware Model for Solving Geometry Problems☆16Dec 27, 2023Updated 2 years ago
- https://straker.github.io/js13k-2018/☆11Sep 13, 2018Updated 7 years ago
- TnTT is Not a Tex Thesis Template for Tsinghua university (THU)...☆24May 11, 2026Updated 2 weeks ago
- TCS Studygroup☆67Jun 20, 2021Updated 4 years ago
- Minispec Hardware Description Language☆23Feb 11, 2024Updated 2 years ago
- A collection of free stuff you can get at the Massachusetts Institute of Technology.☆55Apr 16, 2025Updated last year
- 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.
- CEVAE(Causal Effect Variational AutoEncoder) written with pytorch and pyro.☆10Feb 15, 2021Updated 5 years ago
- algorithm implemention and also use as library☆27Nov 15, 2021Updated 4 years ago
- ☆19Apr 15, 2025Updated last year
- basic 3D simulation with pygame☆15Aug 2, 2022Updated 3 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- ☆12Oct 3, 2018Updated 7 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Jul 25, 2024Updated last year