pbelmans / hodge-diamond-cutterView external linksLinks
Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
☆11Jan 22, 2026Updated 3 weeks ago
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 5 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…☆24Feb 10, 2026Updated last week
- 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
- ☆11Feb 18, 2024Updated 2 years ago
- Front-end templating, build, and deploy for VA.gov CMS content.☆13Updated this week
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- ☆10Apr 12, 2021Updated 4 years ago
- Metropolitan Segment Traffic Speeds from Massive Floating Car Data in 10 Cities☆12May 22, 2023Updated 2 years ago
- VETA - A simple tool do evaluate variant predictors☆11Jun 17, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- WordPress plugin to allow users to set their desired Gutenberg sidebar width.☆11Feb 23, 2025Updated 11 months ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- 30 Days of React challenge is a step by step guide to learn React in 30 days. These videos may help too: https://www.youtube.com/channe…☆13Jun 14, 2023Updated 2 years ago
- Redux extension inspired by Domain Driven Design principles☆12Jan 15, 2018Updated 8 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 8 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Analysis of data from the videogame/eSport League of Legends☆11Nov 4, 2019Updated 6 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- LF AI & Data Foundation related logos and artwork☆11Jan 30, 2026Updated 2 weeks ago
- NotePage is a web application that allows you to easily share code, text, or any content using a unique link.☆13Mar 23, 2024Updated last year
- Guess the Hacker News titles☆12Mar 24, 2022Updated 3 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 4 months ago
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- A python library for calculating semantic similarity between patients in N3C☆14Oct 5, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Hesh is fun with hashes! Eventually more, but this works for now☆12Sep 11, 2018Updated 7 years ago
- Julia API for interacting with Anki☆13Jun 7, 2021Updated 4 years ago
- Small utility scripts to handle dxf files☆10Apr 6, 2025Updated 10 months ago
- An efficient LinkedIn Messaging Bot that Messages a group of interests, YouTube link in Documentation for guidance.☆12Aug 25, 2021Updated 4 years ago