jmeintrup / arboretumLinks
A Rust library and CLI for computing optimal and heuristic tree decompositions
☆12Updated 11 months ago
Alternatives and similar repositories for arboretum
Users that are interested in arboretum are comparing it to the libraries listed below
Sorting:
- Library of well known algorithms for numerical root finding.☆59Updated this week
- Wrappers for BLAS (Fortran)☆82Updated last year
- Rust Lisp expression parser and serializer☆196Updated last year
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- Julia bindings for Rust☆483Updated last week
- Wrappers for LAPACK (Fortran)☆91Updated last year
- ☆32Updated last year
- Source of BLAS and LAPACK via OpenBLAS☆89Updated 3 weeks ago
- Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language☆61Updated 2 years ago
- Maintainable configuration files, for Rust users☆330Updated 5 months ago
- Functional lens library for Rust☆113Updated 5 years ago
- Lp modeler written in Rust☆105Updated 4 years ago
- Datalog compiler embedded in Rust as a procedural macro☆501Updated last month
- A framework for applied category theory in the Julia language☆11Updated 3 years ago
- An exploration of parsing techniques☆17Updated 7 years ago
- A rust fork to work towards Enzyme integration☆92Updated 7 months ago
- General-purpose abstractions for incremental computing, in Rust☆363Updated 3 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated last week
- Constraint programming in Rust☆112Updated 2 years ago
- Abstract algebra for Rust.☆197Updated 3 years ago
- A GSL (the GNU Scientific Library) binding for Rust☆202Updated last year
- Probability-theory toolbox☆57Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 10 months ago
- Generate bindings for Futhark☆40Updated 3 years ago
- Rust (de)serialization for the Python pickle format.☆216Updated last year
- Visualizing Ownership and Borrowing in Rust Programs☆60Updated last year
- A BK-tree implementation in Rust.☆40Updated 2 years ago
- Differentiable probabilistic answer set programming☆29Updated 7 months ago
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆163Updated 4 months ago
- An (experimental) RFC repo devoted to the "fields in traits" RFC.☆65Updated 8 years ago