jmeintrup / arboretumLinks
A Rust library and CLI for computing optimal and heuristic tree decompositions
☆12Updated 7 months ago
Alternatives and similar repositories for arboretum
Users that are interested in arboretum are comparing it to the libraries listed below
Sorting:
- Rust Lisp expression parser and serializer☆183Updated last year
- Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language☆58Updated last year
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- ☆30Updated last year
- Julia bindings for Rust☆465Updated last week
- An encoding, decoding & utility library for S-expressions in Rust☆35Updated 8 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- Functional lens library for Rust☆109Updated 4 years ago
- numerical computations library☆13Updated 9 years ago
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- Futhark integration for Rust projects☆12Updated last week
- Embedded Scheme for the Async Rust Ecosystem☆220Updated this week
- Wrappers for BLAS (Fortran)☆81Updated 7 months ago
- ☆22Updated last year
- Logic programming in Rust☆489Updated 4 months ago
- Wrappers for LAPACK (Fortran)☆87Updated 7 months ago
- Rust implementation of Simhash☆23Updated 2 years ago
- An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university☆11Updated 6 years ago
- Haskell library for parsing and evaluating typst☆64Updated 2 weeks ago
- A VS Code extension that provides language support for prolog☆102Updated last year
- Maintainable configuration files, for Rust users☆324Updated last week
- Probability-theory toolbox☆56Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆480Updated last year
- a model of MIR and the Rust type/trait system☆316Updated last month
- Servo Starters is a list of easy tasks that are good for beginners to rust or servo.☆61Updated last year
- A Djot parser library☆189Updated last month
- An RDF library in pure Rust☆71Updated 5 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 5 months ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆22Updated last year
- GitHub repo backing Programming Language Ranking website ⬇️☆33Updated 2 weeks ago