Safe rust bindings to the Highs MILP Solver.
☆37Jul 9, 2026Updated last month
Alternatives and similar repositories for highs
Users that are interested in highs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust binding for the HiGHS linear programming solver☆20Jun 29, 2026Updated last month
- Rust interface for SCIP☆97Updated this week
- Google CP-SAT solver Rust bindings☆34Jul 8, 2026Updated last month
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆450Updated this week
- library implementing interaction with various linear programming solvers☆26Jan 9, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust library bindings to the Gurobi optimiser.☆26Feb 1, 2025Updated last year
- ☆18Aug 3, 2026Updated last week
- ☆22Jan 23, 2025Updated last year
- Automate sending chat actions.☆12May 6, 2024Updated 2 years ago
- Redirect Deno dependencies from semantic versions to the newest fitting version on deno.land/x☆10Jul 23, 2024Updated 2 years ago
- A pure Rust MILP solver☆49Aug 2, 2026Updated last week
- VLSI placement and routing tool☆15Dec 20, 2025Updated 7 months ago
- 📝 Tiny debugging utility☆10Sep 15, 2020Updated 5 years ago
- Simple captcha bot for the group chat☆14Jul 1, 2026Updated last month
- 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.
- Store chats, users, and chat memberships.☆10Updated this week
- Enhanced command managment for grammY.☆16Jul 26, 2026Updated 2 weeks ago
- Imports Open Street Map data into a three.js scene☆15Jul 13, 2014Updated 12 years ago
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- Declarative Avatar Asset Composing Tool☆14Jul 15, 2024Updated 2 years ago
- ☆17Feb 9, 2022Updated 4 years ago
- ☆16Aug 29, 2025Updated 11 months ago
- ☆15Apr 20, 2026Updated 3 months ago
- A procedural macro implementation of `quote!`.☆24Mar 20, 2023Updated 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.
- Pure Rust CDB library☆18Apr 25, 2019Updated 7 years ago
- Validation logic for Web Apps and login widgets.☆20Mar 3, 2024Updated 2 years ago
- ☆10Aug 17, 2021Updated 4 years ago
- ☆20Jan 12, 2022Updated 4 years ago
- Layer 4 Single Packet Authentication utilizing Netfilter Queue and libnetfilter.☆12Oct 12, 2024Updated last year
- Telegram bot to generate link previews for all links in messages.☆19Feb 3, 2026Updated 6 months ago
- Workaround for "key must be a string" error with serde_json. De/serialize any HashMap<K,V>, Vec<(K,V)>, Iter<(&K,&V)>, or Iter<&(K,V)> as…☆14Mar 18, 2026Updated 4 months ago
- ☆29Apr 12, 2023Updated 3 years ago
- ☆16Jul 31, 2026Updated last week
- 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.
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆87Updated this week
- Misskey Client for Web☆17Jun 30, 2026Updated last month
- Dynamic Time Warping Library for Rust☆15Mar 4, 2026Updated 5 months ago
- oson structured object notation☆23Mar 7, 2024Updated 2 years ago
- Special functions for Rust by binding to the Cephes library.☆16Jul 26, 2024Updated 2 years ago
- Stream long text messages to Telegram, such as LLM output☆20Jun 19, 2026Updated last month
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago