☆24Oct 22, 2026Updated last week
Alternatives and similar repositories for CoCoALib
Users that are interested in CoCoALib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teichmüller dynamics in SageMath☆14Oct 1, 2026Updated 3 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32Updated this week
- Embedded algebraic number fields☆15Aug 17, 2026Updated 2 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…☆29Oct 13, 2026Updated 2 weeks ago
- Floating Point Semantics Mechanization for Lean☆26Jun 18, 2026Updated 4 months 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.
- ☆15Jun 14, 2025Updated last year
- Flat surfaces in SageMath☆11Mar 23, 2026Updated 7 months ago
- Successor to PolyBoRi☆24Sep 1, 2026Updated last month
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated last week
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- Wolfram Language packages for symmetric functions and algebraic combinatorics☆11Oct 10, 2026Updated 2 weeks ago
- ☆41Sep 4, 2026Updated last month
- Public reference documents for the SMT-LIB standard☆22Jul 28, 2026Updated 3 months ago
- feyngen and feyncop - Two programs for calculations with Feynman graphs☆21Jan 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Find reference points and lines in crease patterns.☆17Updated this week
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆29May 1, 2025Updated last year
- ☆11Apr 5, 2024Updated 2 years ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- The GAP package Semigroups☆33Updated this week
- JAMA : A Java Matrix Package☆12Feb 3, 2017Updated 9 years ago
- Homological Algebra Programming☆15Oct 23, 2026Updated last week
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- A python library for the fast sdp solver CSDP.☆12Jan 12, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- PyPI binary distribution of CBC optimizer☆14Sep 20, 2026Updated last month
- A small, highly efficient computer algebra system in written in C99.☆20Updated this week
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- Repository for Understanding Linear Algebra☆12Sep 18, 2026Updated last month
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 years ago
- Theorems for Real Closed Fields☆15Jul 23, 2026Updated 3 months ago
- Cython extension class to allocate memory. Source repository for https://pypi.org/project/memory-allocator/☆12Oct 22, 2026Updated last week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆27Sep 16, 2026Updated last month
- SDPA gmp (arbitrary pricision) version☆10Jan 17, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Multiprecision Polynomial Solver☆48May 26, 2026Updated 5 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆13Mar 31, 2026Updated 7 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆48Mar 5, 2026Updated 7 months ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated last year
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago