A software package for analyzing Calabi-Yau manifolds.
☆40Mar 6, 2026Updated this week
Alternatives and similar repositories for cytools
Users that are interested in cytools are comparing it to the libraries listed below
Sorting:
- Teichmüller dynamics in SageMath☆14Mar 2, 2026Updated last week
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated last year
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- The context-free grammar defining the snarXiv (http://snarxiv.org)☆14May 26, 2019Updated 6 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- A review article on conformal field theory☆20Updated this week
- Learning platform for category theory in python☆17Updated this week
- ☆17Jul 26, 2020Updated 5 years ago
- ACT community resources☆26Oct 3, 2019Updated 6 years ago
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- Globular☆39Aug 22, 2018Updated 7 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆412Mar 1, 2026Updated last week
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆22Sep 5, 2019Updated 6 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…☆26Feb 10, 2026Updated 3 weeks ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- phantom types☆39Jan 3, 2026Updated 2 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆74Feb 1, 2026Updated last month
- 🔎 Neural Network Quantum State Tomography (based on https://www.nature.com/articles/s41567-018-0048-5)☆23Jul 9, 2018Updated 7 years ago
- ☆27May 6, 2024Updated last year
- Lectures notes from Advanced QFT lecture series given by Dr. Tobias Osborne shared on Youtube: https://bit.ly/2Vqwb0t☆30Jul 7, 2023Updated 2 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆115Updated this week
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- ☆65Sep 13, 2022Updated 3 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- ☆10Dec 3, 2019Updated 6 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 10 months ago
- A code to evolve matter on curved spacetimes with an analytic time and space dependence, e.g. black holes☆12Jan 20, 2025Updated last year
- ☆12Feb 18, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆87Sep 30, 2025Updated 5 months ago
- Formal specifications of the Cardano ledger☆49Updated this week
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago