An optimization modeling language with solvers for MILP problems
☆60Feb 22, 2026Updated 2 weeks ago
Alternatives and similar repositories for rooc
Users that are interested in rooc are comparing it to the libraries listed below
Sorting:
- LR(1) and LALR parsing tools app to learn compilers and language theory☆28Nov 17, 2024Updated last year
- A pure Rust MILP solver☆40Feb 19, 2026Updated 2 weeks ago
- A reasonable theorem prover for your reasoning tasks!☆31Jan 27, 2025Updated last year
- Commons library for Rust☆25Jul 3, 2025Updated 8 months ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Feb 25, 2026Updated last week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- ☆11Jan 15, 2026Updated last month
- MIT NIHS image format implementations☆10Dec 11, 2019Updated 6 years ago
- This is a Order-preserving encryption (OPE) lib inspired by cryptdb's ope implementation.☆10Jul 16, 2023Updated 2 years ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- get the edges of objects in images☆14May 31, 2025Updated 9 months ago
- Differentiable Rust Graphs (neural network library)☆16Oct 26, 2018Updated 7 years ago
- Shows CPUID features and instruction encodings used by x86/x64 binaries☆18Jan 2, 2026Updated 2 months ago
- Procedural macros to derive numeric traits in Rust☆215Feb 6, 2024Updated 2 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Kani VSCode Extension☆19Mar 2, 2026Updated last week
- the definitive non-empty slice/array/vec library for Rust☆18Jun 23, 2025Updated 8 months ago
- Serde serializer for generating Starlark build targets☆71Feb 16, 2026Updated 3 weeks ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Updated this week
- Fast, vector-based map implementation that preserves insertion order.☆14May 1, 2020Updated 5 years ago
- A metaheuristic framework for solving combinatorial optimization problems☆38Jan 6, 2025Updated last year
- RFCs for changes to the Amaranth language and standard components☆18Jan 26, 2026Updated last month
- Rust crates with map and set with interval keys (ranges x..y).☆15Jan 1, 2025Updated last year
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Detect unused pub methods in a Rust workspace☆47Feb 25, 2025Updated last year
- Dependency injection library for Rust☆14Jun 13, 2024Updated last year
- https://crates.io/crates/undname☆18Oct 7, 2024Updated last year
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 5 months ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 9 months ago
- A COUP card game engine implemented in rust with a library to make it easy to build bots to play each other.☆22May 8, 2024Updated last year
- The prettier pattern-matching parser with automatic error recovery☆154Oct 16, 2025Updated 4 months ago
- Imitate the documentation build that docs.rs would do☆68Feb 12, 2026Updated 3 weeks ago
- ☆22Dec 6, 2025Updated 3 months ago
- Conversion to/from binary for arbitrary types. With no_std and no_alloc support.☆29Feb 3, 2026Updated last month
- A tool to remove unused code from a Rust project.☆32Oct 28, 2024Updated last year
- Data structures like Rust `alloc` which reuse user allocated memory☆62Oct 9, 2025Updated 5 months ago
- ☆26Feb 27, 2026Updated last week
- Concise bit field extraction☆62Nov 3, 2024Updated last year
- A Serde 1.0 compatible Rust deserializer for Hjson☆32Sep 2, 2025Updated 6 months ago