Specy / roocView external linksLinks
An optimization modeling language with solvers for MILP problems
☆59Aug 27, 2025Updated 5 months 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☆38Updated this week
- A reasonable theorem prover for your reasoning tasks!☆28Jan 27, 2025Updated last year
- Commons library for Rust☆24Jul 3, 2025Updated 7 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- 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
- ☆11Jan 15, 2026Updated 3 weeks ago
- Differentiable Rust Graphs (neural network library)☆16Oct 26, 2018Updated 7 years ago
- get the edges of objects in images☆13May 31, 2025Updated 8 months ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Shows CPUID features and instruction encodings used by x86/x64 binaries☆18Jan 2, 2026Updated last month
- Procedural macros to derive numeric traits in Rust☆214Feb 6, 2024Updated 2 years ago
- Kani VSCode Extension☆19Updated this week
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Partial Redundancy Elimination Pass in LLVM☆15May 20, 2019Updated 6 years ago
- the definitive non-empty slice/array/vec library for Rust☆18Jun 23, 2025Updated 7 months ago
- Serde serializer for generating Starlark build targets☆71Updated this week
- Fast, vector-based map implementation that preserves insertion order.☆15May 1, 2020Updated 5 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 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 2 weeks ago
- Rust crates with map and set with interval keys (ranges x..y).☆15Jan 1, 2025Updated last year
- Detect unused pub methods in a Rust workspace☆45Feb 25, 2025Updated 11 months ago
- https://crates.io/crates/undname☆18Oct 7, 2024Updated last year
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 5 months ago
- Dependency injection library for Rust☆14Jun 13, 2024Updated last year
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 8 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
- ☆21Dec 6, 2025Updated 2 months ago
- The prettier pattern-matching parser with automatic error recovery☆154Oct 16, 2025Updated 3 months ago
- Low To High Level Math Library for Rust☆53Jan 29, 2022Updated 4 years ago
- Imitate the documentation build that docs.rs would do☆68Dec 20, 2025Updated last month
- Conversion to/from binary for arbitrary types. With no_std and no_alloc support.☆29Feb 3, 2026Updated last week
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 7 months ago
- 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 4 months ago