☆27Aug 5, 2021Updated 5 years ago
Alternatives and similar repositories for geo-model-builder
Users that are interested in geo-model-builder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 15, 2025Updated last year
- ☆20May 14, 2024Updated 2 years ago
- The implement of geometric solver PGPSNet☆30Jul 8, 2026Updated 2 months ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆58Jun 3, 2026Updated 3 months ago
- ☆23Jan 14, 2026Updated 8 months 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.
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆64Jan 9, 2025Updated last year
- Supplementary materials for our SIGGRAPH 2022 paper☆28Apr 28, 2022Updated 4 years ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆141Aug 10, 2026Updated last month
- 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
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- ☆13Jul 27, 2026Updated last month
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆178Mar 29, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Official github repo of G-LLaVA☆154Feb 20, 2025Updated last year
- Automated generation of planar geometry olympiad problems☆111May 3, 2026Updated 4 months ago
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- The Noperthedron does not have Rupert Property: a proof in Lean4☆18Updated this week
- ☆13Oct 31, 2021Updated 4 years ago
- garbled-snark-verifier repository☆18May 27, 2026Updated 3 months ago
- ☆10Jul 22, 2020Updated 6 years ago
- Asymptote preprocessor☆19Jul 22, 2026Updated last month
- 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.
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- ☆38Jun 30, 2026Updated 2 months ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- Bayesian Elo Rating estimator☆14Jul 2, 2015Updated 11 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- An online math contest platform☆20Updated this week
- Interactive neural theorem proving in Lean☆135Mar 24, 2022Updated 4 years ago
- ☆26Jun 28, 2024Updated 2 years ago
- Official repository for “Reasoning in the Dark: Interleaved Vision-Text Reasoning in Latent Space”☆18Jan 27, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆18Jan 13, 2025Updated last year
- When should you berserk in lichess arena tournament games?☆21May 28, 2022Updated 4 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago
- Analysing ML conference data and plotting interesting statistics.☆11Aug 4, 2023Updated 3 years ago
- ☆48Oct 31, 2025Updated 10 months ago
- Simple chess AI built using python and flask.☆13Sep 15, 2022Updated 4 years ago
- ☆11Oct 27, 2020Updated 5 years ago