A library and some programs for working polytopes and quadratic forms.
☆11Oct 15, 2026Updated this week
Alternatives and similar repositories for polyhedral_common
Users that are interested in polyhedral_common are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 16, 2025Updated last year
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆15Jun 26, 2026Updated 3 months ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Jun 11, 2026Updated 4 months ago
- ☆13May 15, 2019Updated 7 years ago
- Code for "Physics Steering: Causal Control of Cross-Domain Concepts in a Physics Foundation Model" paper.☆15Mar 3, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Julia package for the Singular library☆20Oct 12, 2021Updated 5 years ago
- ☆12Oct 24, 2025Updated 11 months ago
- Intelligent Intern is a deterministic software architecture ecosystem - King is a part of that functioning as a base☆16Aug 30, 2026Updated last month
- A semidefinite programming solver for clustered low-rank SDPs☆17Oct 8, 2026Updated last week
- Bot to find COVID-19 vaccination appointments in Germany☆17Jan 2, 2022Updated 4 years ago
- ☆12Aug 30, 2026Updated last month
- NPA in Julia☆25Nov 19, 2025Updated 11 months ago
- A digital revival of Monotype Modern No. 8A☆62Oct 8, 2026Updated last week
- Computational Group Theory in Scala. It's Scala permuted!☆23Mar 19, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is a fork of obnc-0.17.2 by Karl Landström, hosted at http://miasap.se/obnc/.☆10Jun 20, 2024Updated 2 years ago
- C++ regular expression library implemented using templates☆11Sep 27, 2015Updated 11 years ago
- Experiments with integrating Emacs and Nushell!☆11Sep 15, 2021Updated 5 years ago
- ☆19Oct 14, 2025Updated last year
- ☆18Dec 3, 2024Updated last year
- ☆13May 24, 2019Updated 7 years ago
- Displays upcoming shuttle launch information on a 20x4 RasPi LCD. All data is pulled from SpaceFlightNow.com.☆12Aug 1, 2016Updated 10 years ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Dec 21, 2025Updated 9 months ago
- ☆34Jul 21, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- DImensionality REduction in JAX☆29Nov 21, 2025Updated 10 months ago
- ☆18Oct 24, 2025Updated 11 months ago
- qBraid-SDK QIR transpiler integration☆20Updated this week
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- This package provides a simple way to style keyboard shortcuts in your documentation.☆17Jul 26, 2026Updated 2 months ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- The Cerebros package is an ultra-precise Neural Architecture Search (NAS) / AutoML that is intended to much more closely mimic biological…☆28Jul 20, 2026Updated 2 months ago
- A landing page with html - css☆15Sep 20, 2026Updated 3 weeks ago
- Operating System Increments for Education☆17Mar 3, 2026Updated 7 months 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.
- ⌨️ My Neovim configuration☆16Updated this week
- Interface to Polymake using CxxWrap☆31Oct 6, 2026Updated last week
- Visualization of the chaotic behavior of the logistic map, and other iterated maps, in Python, with GUI in Qt5☆14Dec 15, 2023Updated 2 years ago
- Shoot a knarrow to the knee☆19Updated this week
- ☆34Apr 3, 2023Updated 3 years ago
- ☆12Feb 20, 2026Updated 8 months ago
- Follows random people exponentially☆17Feb 5, 2021Updated 5 years ago