AlphaGeometry2 symbolic engine (DDAR) with examples
☆80Jan 7, 2026Updated 5 months ago
Alternatives and similar repositories for alphageometry2
Users that are interested in alphageometry2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 2, 2026Updated 5 months ago
- In this project, I will provide examples of all major design patterns and demonstrate how they are implemented in PHP, Go, Js and Java.☆17Jan 29, 2026Updated 4 months ago
- Online Grocery Shopping store developed using HTML, CSS, Bootstrap and JavaScript.☆12Oct 23, 2020Updated 5 years ago
- HabitFlow — Build better habits, one day at a time. A modern and intuitive habit tracker with smart analytics, beautiful visualizations, …☆20Nov 8, 2025Updated 7 months ago
- ☆15Mar 12, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- no more 🐱🐱☆21Dec 15, 2025Updated 6 months ago
- This repository contains implementations of various machine learning algorithms in Jupyter Notebook format.☆24Jan 12, 2026Updated 5 months ago
- This is complete MERN E - Commerce With RazorPay Payment Gateway☆12Jun 3, 2024Updated 2 years ago
- ☆21Apr 16, 2025Updated last year
- STRODE: Stochastic Boundary Ordinary Differential Equation☆13Jul 20, 2021Updated 4 years ago
- The official repository of 'Unnatural Language Are Not Bugs but Features for LLMs'☆24May 20, 2025Updated last year
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- JSON formatter • JSON prettifier • JSON beautifier desktop app. Format messy JSON files instantly. Free JSON viewer and organizer for Win…☆35Jun 1, 2025Updated last year
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Adaptive P/ODE numerics with Grassmann element TensorField assembly☆15Feb 16, 2026Updated 3 months ago
- The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"☆22Apr 22, 2025Updated last year
- [ICML 2024] Probabilistic Conceptual Explainers (PACE): Trustworthy Conceptual Explanations for Vision Foundation Models☆19Sep 25, 2025Updated 8 months ago
- A client library for the https://nft.storage/ service.☆17Nov 29, 2021Updated 4 years ago
- ☆15Mar 29, 2026Updated 2 months ago
- The Dataset and Official Implementation for <Discursive Socratic Questioning: Evaluating the Faithfulness of Language Models’ Understandi…☆18Aug 7, 2024Updated last year
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆29Jul 24, 2025Updated 10 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 4 years ago
- MERN ECommerce Project☆18May 16, 2023Updated 3 years ago
- 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.
- Medium Access Control layer of 802.15.4☆14Nov 14, 2014Updated 11 years ago
- A Julia package to extend the notion of vectors and matrices☆17Jan 6, 2026Updated 5 months ago
- ☆16Apr 7, 2023Updated 3 years ago
- RTLMeter benchmark suite☆31Jun 6, 2026Updated last week
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- Infinite MERAs in Julia☆39Aug 21, 2021Updated 4 years ago
- curve stable coin JS implementation☆17Dec 21, 2022Updated 3 years ago
- Fourier transforms written in Julia☆21Jun 4, 2022Updated 4 years ago
- MIDAS Public Release☆11Nov 27, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [MM 2022] MM-ALT: A Multimodal Automatic Lyric Transcription System (Oral, Top paper award)☆21Mar 16, 2024Updated 2 years ago
- ☆20Nov 4, 2025Updated 7 months ago
- msfinance offers Pythonic way to download market data from morningstar.com☆17Feb 15, 2025Updated last year
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 7 years ago
- The Ultimate Layer for on-chain Computing and Verification☆24Jan 27, 2026Updated 4 months ago
- The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling☆43Dec 29, 2025Updated 5 months ago
- ☆17Nov 4, 2025Updated 7 months ago