AlphaGeometry2 symbolic engine (DDAR) with examples
☆49Jan 7, 2026Updated last month
Alternatives and similar repositories for alphageometry2
Users that are interested in alphageometry2 are comparing it to the libraries listed below
Sorting:
- Infinite MERAs in Julia☆39Aug 21, 2021Updated 4 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Here, I provided the solution for exercises of IBM Quantum Challenge 2020☆10Oct 27, 2020Updated 5 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- ☆10Jul 22, 2024Updated last year
- angle-sequence☆12Apr 3, 2020Updated 5 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- ☆13Updated this week
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Material for the course Theories of Quantum Matter at the University of Cambridge☆11Jan 20, 2023Updated 3 years ago
- Simple tutorial to get familiar with how to program quantum computers using Qiskit☆11Sep 9, 2019Updated 6 years ago
- CyanogenMod Linux Kernel☆13Sep 25, 2009Updated 16 years ago
- Tools I've written in Python which are useful/necessary for my research☆10Jul 3, 2018Updated 7 years ago
- Work towards creating a common JSON based format for compact network specification☆14Jan 6, 2026Updated 2 months ago
- Raw data for numerical experiments exploring integer factorization on NISQ devices☆10Aug 30, 2018Updated 7 years ago
- from linearized augmented plane waves to maximally localized Wannier functions☆12Dec 23, 2016Updated 9 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Multivariate Normal Hermite-Birkhoff Interpolating Splines in Julia☆10Apr 20, 2021Updated 4 years ago
- Post-Silicon Validation Tool based on REVERSI☆12Dec 10, 2025Updated 2 months ago
- Stochastic simulation of next-generation sequencing data from neutrally evolving tumors☆10Nov 9, 2016Updated 9 years ago
- Ab Initio Energies☆10Nov 22, 2025Updated 3 months ago
- msfinance offers Pythonic way to download market data from morningstar.com☆16Feb 15, 2025Updated last year
- Code for simulations in "Computational mechanisms of curiosity and goal-directed exploration"☆10May 22, 2020Updated 5 years ago
- ☆11Nov 21, 2022Updated 3 years ago
- ☆12Jan 12, 2015Updated 11 years ago
- Quick streamlit app using langchain and pyats☆11May 11, 2024Updated last year
- A Python library used to transfer files with QR codes. Input a file, get QR code images. Print, email, or otherwise share your codes. Re-…☆10Sep 15, 2019Updated 6 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Qiskit camp 2019 hackathon: Using QAOA for solving the graph coloring problem☆11May 21, 2019Updated 6 years ago
- RTLMeter benchmark suite☆29Feb 24, 2026Updated last week
- Official code for DPM : A Novel Training Method for Physics-Informed Neural Networks in Extrapolation☆10Nov 2, 2021Updated 4 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- ☆10Jan 15, 2022Updated 4 years ago
- Quantum Accelerated Genome Sequencing☆11Sep 7, 2021Updated 4 years ago
- Common support code for user-facing front end systems.☆12Updated this week
- Bazel plugin for the asdf version manager☆11Aug 10, 2023Updated 2 years ago