☆25Aug 5, 2021Updated 4 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:
- ☆20May 14, 2024Updated 2 years ago
- The implement of geometric solver PGPSNet☆30Jul 8, 2026Updated 2 weeks ago
- ☆22Jan 14, 2026Updated 6 months ago
- Java Geometry Expert☆50Feb 1, 2026Updated 5 months ago
- Tool for euclidean geometry aware of logic☆91Jun 4, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆63Jan 9, 2025Updated last year
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆138Nov 25, 2025Updated 7 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated last month
- ☆12Feb 18, 2024Updated 2 years ago
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years 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…☆27Jun 26, 2026Updated 3 weeks ago
- Official github repo of G-LLaVA☆154Feb 20, 2025Updated last year
- A tool for drawing 2d diagrams, 3d knots, Seifert surfaces. Computes some knot properties and invariants.☆19Dec 12, 2021Updated 4 years ago
- 📖Curated list about reasoning abilitiy of MLLM, including OpenAI o1, OpenAI o3-mini, and Slow-Thinking.☆13Feb 7, 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.
- 3D Engine perspective projection with python - PYGAME☆16Feb 3, 2023Updated 3 years ago
- ☆13Oct 31, 2021Updated 4 years ago
- garbled-snark-verifier repository☆18May 27, 2026Updated last month
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆19Dec 16, 2025Updated 7 months ago
- Asymptote preprocessor☆19Jun 2, 2026Updated last month
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- ☆38Jun 30, 2026Updated 3 weeks ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆23Jun 12, 2025Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Interactive neural theorem proving in Lean☆133Mar 24, 2022Updated 4 years ago
- An online math contest platform☆20Jun 5, 2026Updated last month
- Official repository for “Reasoning in the Dark: Interleaved Vision-Text Reasoning in Latent Space”☆18Jan 27, 2026Updated 5 months ago
- A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface …☆17Dec 11, 2025Updated 7 months ago
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Jan 14, 2020Updated 6 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- [ACM MM2026] This is the official implementation of MedCCO☆17Jul 12, 2026Updated last week
- basic 3D simulation with pygame☆15Aug 2, 2022Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago
- 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.
- ☆47Oct 31, 2025Updated 8 months ago
- Analysing ML conference data and plotting interesting statistics.☆11Aug 4, 2023Updated 2 years ago
- ☆11Oct 27, 2020Updated 5 years ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆19Sep 3, 2025Updated 10 months ago
- Pretrained models for the ranking task described in Cats and Captions vs. Creators and the Clock (WWW 2017)☆11Apr 28, 2019Updated 7 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆42Jul 1, 2026Updated 3 weeks ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago