An optimization modeling language with solvers for MILP problems
☆63Feb 22, 2026Updated 2 months ago
Alternatives and similar repositories for rooc
Users that are interested in rooc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reasonable theorem prover for your reasoning tasks!☆32Jan 27, 2025Updated last year
- This is a Order-preserving encryption (OPE) lib inspired by cryptdb's ope implementation.☆10Jul 16, 2023Updated 2 years ago
- Commons library for Rust☆25Jul 3, 2025Updated 10 months ago
- Shows CPUID features and instruction encodings used by x86/x64 binaries☆18Jan 2, 2026Updated 4 months ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Procedural macros to derive numeric traits in Rust☆218Feb 6, 2024Updated 2 years ago
- get the edges of objects in images☆14Mar 10, 2026Updated 2 months ago
- ☆18Mar 28, 2024Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 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…☆437Apr 7, 2026Updated last month
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 8 months ago
- A metaheuristic framework for solving combinatorial optimization problems☆38May 6, 2026Updated last 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.
- MIT NIHS image format implementations☆10Dec 11, 2019Updated 6 years ago
- RFCs for changes to the Amaranth language and standard components☆18May 3, 2026Updated 2 weeks ago
- Serde serializer for generating Starlark build targets☆70Feb 16, 2026Updated 3 months ago
- A pool of reusable values☆51Nov 10, 2019Updated 6 years ago
- Kani VSCode Extension☆19May 12, 2026Updated last week
- Rust crates with map and set with interval keys (ranges x..y).☆15May 9, 2026Updated last week
- Conversion to/from binary for arbitrary types. With no_std and no_alloc support.☆30Apr 29, 2026Updated 2 weeks ago
- Hash trait that is object-safe☆36Mar 24, 2026Updated last month
- Partial Redundancy Elimination Pass in LLVM☆15May 20, 2019Updated 6 years 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.
- Fast, vector-based map implementation that preserves insertion order.☆14May 1, 2020Updated 6 years ago
- The GUI application☆10Mar 20, 2022Updated 4 years ago
- An intuitive 3D modeling kernel built in Rust.☆46Jul 9, 2025Updated 10 months ago
- Reboot RP2040 to USB mode on panic☆22Jan 31, 2025Updated last year
- Detect unused pub methods in a Rust workspace☆49Feb 25, 2025Updated last year
- Approximate images usings lines☆69Aug 12, 2025Updated 9 months ago
- Halfedge mesh library in Rust☆29Mar 30, 2026Updated last month
- https://crates.io/crates/undname☆20Oct 7, 2024Updated last year
- Dependency injection library for Rust☆14Jun 13, 2024Updated last year
- 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.
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Oct 26, 2023Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆26Jun 7, 2025Updated 11 months ago
- grblHAL plugin for networking protocols (Telnet, WebSocket, FTP, HTTP) and related utilities on top of LwIP☆14May 6, 2026Updated last week
- Differentiable Rust Graphs (neural network library)☆16Oct 26, 2018Updated 7 years ago
- Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.☆560Apr 13, 2026Updated last month
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆87May 3, 2023Updated 3 years ago
- Rustic bindings for IREE☆18Feb 18, 2023Updated 3 years ago