A Rust library and CLI for computing optimal and heuristic tree decompositions
☆12Feb 19, 2025Updated last year
Alternatives and similar repositories for arboretum
Users that are interested in arboretum are comparing it to the libraries listed below
Sorting:
- Cheat Sheet for the awesome gopass☆20Aug 21, 2022Updated 3 years ago
- ☆23Sep 10, 2025Updated 5 months ago
- Intelligent, personalized feedback for students using artificial intelligence☆22Updated this week
- Password Provider for Synapse fetching data from a REST endpoint☆29May 25, 2023Updated 2 years ago
- https://www.massivecraft.com/vampire☆27Aug 2, 2019Updated 6 years ago
- ☆10May 25, 2017Updated 8 years ago
- ☆10Jun 13, 2024Updated last year
- ☆10Apr 1, 2018Updated 7 years ago
- Moodle Ruby Client☆12Nov 15, 2024Updated last year
- Google Summer of Code projects☆13Nov 1, 2020Updated 5 years ago
- Handlebars helper for rendering math formulas with mathjax.☆18Jul 23, 2016Updated 9 years ago
- A skeleton CMake C++ library project with Google Test support☆10Jan 30, 2018Updated 8 years ago
- Small Matrix Little Bot for Deno☆10Sep 13, 2021Updated 4 years ago
- An implementation of macroexpand-time conditionalization.☆13Nov 20, 2023Updated 2 years ago
- Build Play Framework 2 Projects With Maven (and without SBT)☆20Jul 7, 2021Updated 4 years ago
- Seafile as a Docker image.☆18Mar 16, 2016Updated 9 years ago
- ☆12May 23, 2025Updated 9 months ago
- Vector of Bits☆17Aug 14, 2025Updated 6 months ago
- An example application connecting LoopBack and RethinkDB using loopback-connector-rethinkdb.☆12May 2, 2015Updated 10 years ago
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 3 years ago
- Validate swagger API documentation☆10Aug 18, 2022Updated 3 years ago
- DC charts using canvas☆15Feb 11, 2016Updated 10 years ago
- Quarkus extension to that allows proper usage of Neo4j-OGM inside Quarkus.☆13Updated this week
- Convert {sf} geometry to Rust native primitives☆12Jul 24, 2025Updated 7 months ago
- Message bus for micro-services that works on AWS and GCP☆12Nov 11, 2025Updated 3 months ago
- Tools for Formal Concept Analysis☆17Updated this week
- Repository resources for various licenses, with Markdown formatting for inclusion into GitHub's repositories.☆16Apr 17, 2021Updated 4 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 7 years ago
- Debug JavaScript Easily ~ A console wrapper that fixes cross-browser issues, provides a clear log structure to follow, reduces the amount…☆13Mar 24, 2022Updated 3 years ago
- Anno 1800 items☆17Dec 12, 2025Updated 2 months ago
- Bidirectional type checker for the simply typed lambda calculus☆15Feb 4, 2020Updated 6 years ago
- Like identicons, but a hexagon, and svg.☆15Dec 8, 2025Updated 2 months ago
- A library for reducing the size of data sets for visualization.☆13Sep 2, 2016Updated 9 years ago
- ☆31Oct 16, 2024Updated last year
- The goal of this project is to provide additional features on top of the existing npm audit options☆132Jan 21, 2026Updated last month
- Scalable association rule mining from tabular datasets.☆27Feb 9, 2026Updated 3 weeks ago
- Apriori for association rule mining with Python bindings 🦀🐍☆12Oct 9, 2021Updated 4 years ago
- universal Association Rule Mining Solver☆15Dec 10, 2025Updated 2 months ago
- ☆22Oct 6, 2023Updated 2 years ago