The main source code for Regina
☆41Jun 12, 2026Updated this week
Alternatives and similar repositories for regina
Users that are interested in regina are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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…☆120Jun 5, 2026Updated last week
- Sparips.jl: Practical sparsification of Rips complexes☆11Jan 21, 2019Updated 7 years ago
- Python functions to compute multiparameter persistence landscapes from a RIVET file☆14Jul 13, 2024Updated last year
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆88Sep 30, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆48Mar 23, 2018Updated 8 years ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆11Sep 26, 2025Updated 8 months ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 5 years ago
- ☆10May 20, 2022Updated 4 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- High-level Python API for the EBRAINS Knowledge Graph☆14May 26, 2026Updated 2 weeks ago
- An R package for statistics and machine learning with persistence diagrams☆18Oct 28, 2024Updated last year
- Macaulay2 web app with support for KaTeX and HTML output☆21Updated this week
- RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.☆80Mar 29, 2024Updated 2 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.
- Effective Algebraic Topology in Haskell☆94Sep 13, 2024Updated last year
- Gauge Link Utility (GLU) is a lattice field theory library.☆16May 29, 2025Updated last year
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 11 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆24Oct 7, 2023Updated 2 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Parser and semantic analyzer for the OpenQASM3 language☆27Dec 2, 2025Updated 6 months ago
- Parallel reduction of boundary matrices for Persistent Homology with CUDA☆35Aug 12, 2021Updated 4 years ago
- Knot Theory library focusing on k-tangles☆16Jul 28, 2022Updated 3 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.
- Examples from Second Edition of Discovering Modern C++☆22Aug 16, 2018Updated 7 years ago
- AnyDSL traversal code☆15Feb 18, 2019Updated 7 years ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 2 months ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆38Aug 26, 2025Updated 9 months ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆22Dec 3, 2024Updated last year
- A system for computational category theory and applications☆41Jun 27, 2016Updated 9 years ago
- A software package for analyzing Calabi-Yau manifolds.☆43Updated this week
- Write llvm in moonbit!☆26Updated this week
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- Symbolic computation package for Go☆10Mar 15, 2025Updated last year
- ☆10Apr 17, 2024Updated 2 years ago