Rust binding for the HiGHS linear programming solver
☆20Jun 29, 2026Updated 3 weeks ago
Alternatives and similar repositories for highs-sys
Users that are interested in highs-sys are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Safe rust bindings to the Highs MILP Solver.☆36Jul 9, 2026Updated last week
- ☆18Dec 17, 2025Updated 7 months ago
- a cargo subcommand to package your application into a docker image☆19Feb 19, 2020Updated 6 years ago
- library implementing interaction with various linear programming solvers☆26Jan 9, 2026Updated 6 months ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆449Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Rust interface for SCIP☆94Updated this week
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- CSP solver for puzzles☆18Updated this week
- ☆15Aug 29, 2025Updated 10 months ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- ☆22Jan 23, 2025Updated last year
- ☆20Jan 12, 2022Updated 4 years ago
- A Julia package for Stochastic Dynamic Programming☆26Jul 27, 2022Updated 3 years ago
- A tool to comfortably check complex LaTeX documents, e.g., dissertations.☆16Updated this week
- 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.
- Quantum benchmarking framework☆15Jun 4, 2024Updated 2 years ago
- ☆19Nov 21, 2023Updated 2 years ago
- Automatic dualization feature for MathOptInterface.jl and JuMP☆102Jun 24, 2026Updated 3 weeks ago
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆18Mar 30, 2026Updated 3 months ago
- Julia Package for Generating Scenario Trees and Scenario Lattices for Multistage Stochastic Optimization☆27Feb 19, 2024Updated 2 years ago
- MOSEK Optimizer API for Rust☆16May 13, 2026Updated 2 months ago
- A minimal PEP 517 compliant build backend that uses Conan to build Python C/C++ extensions☆16Updated this week
- Pipeline for analyzing rare mutations in metagenome-assembled genomes☆10Apr 4, 2025Updated last year
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆34Mar 29, 2025Updated last year
- 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.
- your friendly pangenome graph genotyper☆10Feb 6, 2023Updated 3 years ago
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- A decorator-based slurm runner.☆18Mar 25, 2026Updated 3 months ago
- PyO3's PyAny as a serde data format☆42Dec 15, 2025Updated 7 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆26Mar 27, 2025Updated last year
- ☆25Oct 22, 2024Updated last year
- R integration for edlib, a C/C++ library for pairwise sequence alignment using edit distance (Levenshtein distance).☆11Jul 20, 2025Updated last year
- log parser for MIP and LP solvers☆21Aug 12, 2025Updated 11 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.
- A rust wrapper for the spoa C++ partial order alignment library☆10Jun 11, 2025Updated last year
- A flexible and fast sgRNA counter from FASTQ Files☆11Jun 17, 2026Updated last month
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆38Jun 21, 2026Updated last month
- Sequential object-oriented simPlex☆82Updated this week
- ☆11Feb 17, 2023Updated 3 years ago
- Lp modeler written in Rust☆107Mar 1, 2021Updated 5 years ago