Rust binding for the HiGHS linear programming solver
☆18Apr 10, 2026Updated 2 months 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.☆34Jun 3, 2026Updated last week
- ☆19Dec 17, 2025Updated 5 months ago
- 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 last year
- Internationalization for grammY powered by Fluent.☆15Feb 28, 2026Updated 3 months 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.
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆16May 30, 2026Updated last week
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 5 months ago
- VLSI placement and routing tool☆17Dec 20, 2025Updated 5 months ago
- Safely format messages and keep their source code maintainable.☆21May 21, 2026Updated 3 weeks ago
- Store chats, users, and chat memberships.☆10Apr 22, 2025Updated last year
- Quick and dirty debugging☆17Nov 13, 2025Updated 6 months ago
- Enhanced command managment for grammY.☆15Mar 24, 2026Updated 2 months ago
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆442May 31, 2026Updated last week
- 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.
- ☆16Feb 9, 2022Updated 4 years ago
- Validation logic for Web Apps and login widgets.☆20Mar 3, 2024Updated 2 years ago
- Easier way to use reflect to set and get values in Go☆14Jul 24, 2024Updated last year
- Yosys plugin for logic locking and supply-chain security☆24Apr 5, 2025Updated last year
- ☆20Jan 12, 2022Updated 4 years ago
- MOSEK Optimizer API for Rust☆16May 13, 2026Updated 3 weeks ago
- oson structured object notation☆23Mar 7, 2024Updated 2 years ago
- ☆19Nov 21, 2023Updated 2 years ago
- Telegram bot to do file conversions.☆21Jun 10, 2024Updated 2 years ago
- 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.
- Telegra.ph API wrapper for JavaScript☆24Jun 7, 2024Updated 2 years ago
- Scale bots that use long polling to receive updates.☆27Sep 27, 2024Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Limit the amount of handled messages.☆27Jul 5, 2025Updated 11 months ago
- A Thingiverse app to visualize your things and their derivatives.☆19Jan 9, 2013Updated 13 years ago
- Pipeline for analyzing rare mutations in metagenome-assembled genomes☆10Apr 4, 2025Updated last year
- your friendly pangenome graph genotyper☆10Feb 6, 2023Updated 3 years ago
- ☆14Sep 14, 2021Updated 4 years ago
- Symbolic computation package for Go☆10Mar 15, 2025Updated last year
- 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.
- ☆13Jul 21, 2024Updated last year
- Lower Size Bounds for Sorting Networks☆46Dec 9, 2020Updated 5 years ago
- Public Telegram-GitHub Notification Webhook☆31Mar 24, 2026Updated 2 months ago
- Amazon Redshift Serverless RSQL ETL Framework☆10Apr 1, 2025Updated last year
- linux programming book examples☆17Apr 11, 2020Updated 6 years ago
- R integration for edlib, a C/C++ library for pairwise sequence alignment using edit distance (Levenshtein distance).☆11Jul 20, 2025Updated 10 months ago
- Native Erlang implementation of ZeroMQ Message Transport Protocol.☆16Feb 5, 2017Updated 9 years ago