Automatic solver for plane geometry problems.
☆25Mar 25, 2026Updated this week
Alternatives and similar repositories for GenesisGeo
Users that are interested in GenesisGeo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic solver for plane geometry problems.☆88Feb 24, 2026Updated last month
- ILAng documentation☆10Nov 2, 2025Updated 4 months ago
- code for "EMS: 3D Eyebrow Modeling from Single-view Images"(SIGGRAPH Asia 2023)☆13May 3, 2025Updated 10 months ago
- C++ implementation with Python bindings of analytic forward and inverse kinematics for the Universal Robots.☆14Jan 5, 2026Updated 2 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- 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.
- CSCS User Lab Day – Meet the Swiss National Supercomputing Centre☆13Sep 12, 2025Updated 6 months ago
- ☆13Feb 17, 2025Updated last year
- Linux distribution for space-grade robotics on the BeagleV-Fire RISC-V platform + FPGA support☆21Dec 24, 2025Updated 3 months ago
- ☆27Jun 6, 2023Updated 2 years ago
- ☆17Mar 26, 2025Updated last year
- Use metric learning to cluster images and run similar image queries☆17Jun 13, 2017Updated 8 years ago
- 最优化方法、凸优化课程作业代码☆17Jan 31, 2020Updated 6 years ago
- ☆20Dec 29, 2014Updated 11 years ago
- Block-Recurrent Dynamics in ViTs 🦖☆34Dec 24, 2025Updated 3 months 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.
- A mobile GUI search engine using a vision-language model☆14May 5, 2025Updated 10 months ago
- ☆31Feb 24, 2026Updated last month
- ☆10Feb 6, 2025Updated last year
- The Student Cluster Guide, tutorial 2 of ETH's Digital Humans 2024 course.☆10Jul 26, 2025Updated 8 months ago
- ☆15Mar 12, 2024Updated 2 years ago
- ☆14Mar 22, 2024Updated 2 years ago
- Using e-graphs for logic synthesis (ICCAD'25)☆33Mar 19, 2026Updated last week
- MCP Atlas☆50Mar 18, 2026Updated last week
- Temporal Word Analogies in Python☆18Aug 2, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆20Aug 13, 2024Updated last year
- Repository for the ACL 2024 conference website☆18Feb 3, 2025Updated last year
- ☆13Mar 15, 2026Updated last week
- Code for safety test in "Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates"☆22Sep 21, 2025Updated 6 months ago
- Code Prompting Elicits Conditional Reasoning Abilities in Text+Code LLMs. EMNLP 2024☆27Nov 13, 2024Updated last year
- Luthier, a GPU binary instrumentation tool for AMD GPUs☆27Updated this week
- Deep learning for solving and estimating dynamic macro-finance models☆19Aug 23, 2025Updated 7 months ago
- Here we provide and collect many functions to generate math problem and step by step solutions for LLM training☆18Jun 21, 2023Updated 2 years ago
- [AAAI 2026 main] AutoLink: Autonomous Schema Exploration and Expansion for Scalable Schema Linking in Text-to-SQL at Scale☆48Jan 11, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- RISC-V vector and tensor compute extensions for Vortex GPGPU acceleration for ML workloads. Optimized for transformer models, CNNs, and g…☆22Apr 25, 2025Updated 11 months ago
- An advanced circuit-based sat solver☆36Feb 24, 2025Updated last year
- Greek/English version of Euclid's Elements☆50Mar 4, 2026Updated 3 weeks ago
- Code for "Mitigating Catastrophic Forgetting in Large Language Models with Self-Synthesized Rehearsal" (ACL 2024)☆16Oct 21, 2024Updated last year
- PropSegmEnt is an annotated dataset for segmenting English text into propositions, and recognizing proposition-level entailment relations…☆21Dec 21, 2022Updated 3 years ago
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 3 months ago
- RISC-V-based many-core neuromorphic architecture☆16Aug 3, 2025Updated 7 months ago