The main source code for Regina
☆40May 21, 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:
- 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 last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆88Sep 30, 2025Updated 7 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆74Feb 1, 2026Updated 3 months ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆10Sep 26, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- wtftp.py is a tool to attack Microsoft Deployment Toolkit (MDT) and Windows Deployment Services (WDS).☆33Jan 22, 2026Updated 4 months ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- Hugo Elias Radiosity webpage preserved☆19Jul 26, 2016Updated 9 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- knot theory and computational algebra software☆39Jun 16, 2014Updated 11 years ago
- High-level Python API for the EBRAINS Knowledge Graph☆14May 14, 2026Updated last week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- An R package for statistics and machine learning with persistence diagrams☆18Oct 28, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A lattice QCD library.☆17May 18, 2026Updated last week
- ☆17Feb 14, 2024Updated 2 years ago
- A driver loader tool that helps in the study of Windows kernel. || 一个驱动加载工具，在Windows内核的学习过程中可以提供帮助。☆11Jul 3, 2020Updated 5 years ago
- ☆11Aug 22, 2023Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Updated this week
- example racing game for coderdojo☆16Sep 21, 2020Updated 5 years ago
- RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.☆80Mar 29, 2024Updated 2 years ago
- Effective Algebraic Topology in Haskell☆94Sep 13, 2024Updated last year
- ☆15Sep 14, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- A program for drawing knots and links, with support for importing images☆34Jan 13, 2024Updated 2 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆23Oct 7, 2023Updated 2 years ago
- A 3D racing video game made with Godot engine.☆10Sep 5, 2024Updated last year
- Parser and semantic analyzer for the OpenQASM3 language☆27Dec 2, 2025Updated 5 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
- ftyuejian / Predicting-CO2-Absorption-in-Ionic-Liquid-with-Molecular-Descriptors-and-Explainable-GNNData and code for Predicting CO2 Absorption in Ionic Liquid with Molecular Descriptors and Explainable Graph Neural☆20Sep 2, 2022Updated 3 years ago
- Python bindings and API for the flagser C++ library (https://github.com/luetge/flagser).☆16May 30, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- density-based clustering for exploratory data analysis based on multi-parameter persistence☆42Jul 20, 2025Updated 10 months ago
- Homepage of the Lean-zh website.☆57Apr 8, 2026Updated last month
- RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds☆23Feb 4, 2022Updated 4 years ago
- A simple scheme interpreter in Python☆26Feb 2, 2014Updated 12 years ago
- The QDP++ Framework for Lattice QCD☆21Feb 20, 2026Updated 3 months ago
- CLI for OSX Dictionary.app☆11Mar 24, 2017Updated 9 years ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago