Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
☆11Jan 22, 2026Updated 4 months 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 9 months ago
- Redux extension inspired by Domain Driven Design principles☆12Jan 15, 2018Updated 8 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…☆26May 22, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Graphing in the Chrome console☆21Apr 2, 2013Updated 13 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Sep 4, 2024Updated last year
- A webpack plugin that generates a graph visualization of a React component tree☆17Dec 4, 2015Updated 10 years ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆18Apr 6, 2026Updated last month
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆31Apr 3, 2024Updated 2 years ago
- Fork of Bliss☆15Dec 13, 2025Updated 5 months ago
- Embedded algebraic number fields☆13May 19, 2026Updated last week
- Julia package for working with tensors, i.e. multilinear maps between vector spaces☆15Sep 19, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Natural Gradient implementation in Theano☆19Apr 8, 2013Updated 13 years ago
- Collections of package recipes for Pyodide☆39May 23, 2026Updated last week
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 8 months ago
- Combinatorial Matrix Recognition☆14Jan 22, 2026Updated 4 months ago
- Teichmüller dynamics in SageMath☆14Mar 2, 2026Updated 2 months ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- ☆17Apr 29, 2026Updated last month
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆24May 7, 2026Updated 3 weeks ago
- Basic Applied Topology Subprograms☆12Jul 12, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Seamlessly integrate marimo reactive notebooks into JupyterLab and JupyterHub☆74Updated this week
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black hole☆14Nov 19, 2024Updated last year
- mixed integer semidefinite programming plugin for SCIP☆18May 3, 2026Updated 3 weeks ago
- Successor to PolyBoRi☆23May 20, 2026Updated last week
- General implementation of the PQ Tree algorithm.☆28Mar 6, 2011Updated 15 years ago
- Python bindings for LibNormaliz☆14Feb 2, 2026Updated 3 months ago
- Get a BibTeX entry from an arXiv id number, using the arxiv.org API.☆57Mar 28, 2025Updated last year
- RequireJS template for grunt-contrib-jasmine task☆110Dec 6, 2019Updated 6 years ago
- The Global And Modular BSM Inference Tool☆13Mar 21, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An active set-based NLP solver☆20Dec 18, 2023Updated 2 years ago
- Simple TTF rasterizer☆11Mar 29, 2020Updated 6 years ago
- Guess the Hacker News titles☆13Mar 24, 2022Updated 4 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 11 months ago
- A list of front-end (javascript/*script) tools for creating diagrams and data visualizations.☆35Feb 22, 2018Updated 8 years ago
- Inspectra is a tool for spectral comparison of graph topology.☆26May 7, 2014Updated 12 years ago
- Extract clips of audio and video from source files according to a DaVinci Resolve 16 exported EDL file, using ffmpeg☆16Dec 4, 2024Updated last year