Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
☆11Jan 22, 2026Updated last month
Alternatives and similar repositories for hodge-diamond-cutter
Users that are interested in hodge-diamond-cutter are comparing it to the libraries listed below
Sorting:
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 6 months 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
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆30Apr 3, 2024Updated last year
- Kanban Tool Extension Development Kit☆10Feb 27, 2019Updated 7 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- Front-end templating, build, and deploy for VA.gov CMS content.☆13Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- VETA - A simple tool do evaluate variant predictors☆11Jun 17, 2024Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- WordPress plugin to allow users to set their desired Gutenberg sidebar width.☆11Feb 23, 2025Updated last year
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Metropolitan Segment Traffic Speeds from Massive Floating Car Data in 10 Cities☆12May 22, 2023Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- ☆10Apr 12, 2021Updated 4 years ago
- Redux extension inspired by Domain Driven Design principles☆12Jan 15, 2018Updated 8 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- ☆10Apr 16, 2021Updated 4 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Analysis of data from the videogame/eSport League of Legends☆12Nov 4, 2019Updated 6 years ago
- Simple TTF rasterizer☆11Mar 29, 2020Updated 5 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Run optical character recognition with PyTesseract from the FiftyOne App!☆11Apr 5, 2024Updated last year
- A CLI dictionnary app. Create your own dictionnary and save everything you want. Anything but text only :)☆11Jul 5, 2022Updated 3 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Thirty stories about the Land Registry price paid open data set☆15Dec 3, 2014Updated 11 years ago
- Source code and data for More food, more water, less carbon? Costs and benefits of global land-use optimality☆11Sep 21, 2023Updated 2 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- A rangeset utility for python☆14Dec 12, 2023Updated 2 years ago
- A Prometheus exporter for PMS5003 Particulate Matter/Air Quality sensors.☆11Apr 2, 2025Updated 11 months ago
- A python library for calculating semantic similarity between patients in N3C☆14Oct 5, 2022Updated 3 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Arakhnê Foundation Classes☆14Mar 2, 2026Updated last week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year