LiamMcAllisterGroup / cytoolsView external linksLinks
A software package for analyzing Calabi-Yau manifolds.
☆38Feb 9, 2026Updated last 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☆14Feb 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
- A review article on conformal field theory☆20Updated this week
- ☆17Jul 26, 2020Updated 5 years ago
- Learning platform for category theory in python☆17Updated this week
- Deposited packages of the homalg project☆17Dec 23, 2025Updated last month
- Globular☆39Aug 22, 2018Updated 7 years ago
- ACT community resources☆24Oct 3, 2019Updated 6 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆408Updated this 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…☆24Updated this week
- phantom types☆39Jan 3, 2026Updated last month
- 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 2 weeks 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…☆114Updated this week
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- ☆64Sep 13, 2022Updated 3 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 9 months ago
- ☆10Dec 3, 2019Updated 6 years ago
- ☆11Feb 18, 2024Updated last year
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Feb 8, 2026Updated last week
- Formal specifications of the Cardano ledger☆50Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Real-space void locations from survey reconstruction☆11Oct 29, 2025Updated 3 months ago
- Python Symbolic Information Theoretic Inequality Prover☆47Jun 10, 2025Updated 8 months ago
- ☆11Sep 15, 2025Updated 5 months ago