Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust
☆18Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for butler-portugal
Users that are interested in butler-portugal are comparing it to the libraries listed below
Sorting:
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 2 months ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- Prune is a constraint logic programming language with branching heuristic.☆33Updated this week
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated last month
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated 10 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆22Jan 15, 2025Updated last year
- A dynamic memory leak detector that can pinpoint where memory is lost, using LLVM pass☆20Oct 12, 2025Updated 4 months ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 9 months ago
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated last month
- Synthesis of loop-free programs☆24Updated this week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 3 years ago
- ☆11Updated this week
- A (really) easy way to web scrape☆47Updated this week
- AI-powered book-writing system that converts ideas into full manuscripts in hours with multi-agent collaboration, real-time streaming, an…☆31Oct 13, 2025Updated 4 months ago
- RentEase is a minimal, offline-first app that helps a building owner keep all renter information in one place. Forget flipping through he…☆21Oct 20, 2025Updated 4 months ago
- Java decompilation & deobfuscation lab - dockerized toolset☆15Mar 1, 2026Updated last week
- An introduction course about scientific computing and research for the first year undergraduates taught at Fudan University.☆10Nov 6, 2025Updated 4 months ago
- This is a C Programming Learning Repository for Beginners - a structured learning path designed to guide newcomers through C programming …☆22Sep 12, 2025Updated 5 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- ☆12Oct 17, 2025Updated 4 months ago
- An Ionic/Capacitor app that demos the features of the @aparajita/capacitor-secure-storage Capacitor plugin.☆14Jul 3, 2025Updated 8 months ago
- ☆21Oct 24, 2025Updated 4 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆93Jan 20, 2026Updated last month
- A semantic analysis tool for debugging python code☆24Jan 12, 2026Updated last month
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- White Cats define Pure functions☆16Nov 4, 2025Updated 4 months ago
- Set in the magical realm of the Sacred Lands, three races - the Empire, the Legions of the Damned, and the Undead Hordes - battle for the…☆10Mar 1, 2026Updated last week
- Angular 10 Codelab Quiz App☆17Nov 29, 2025Updated 3 months ago
- ☆27Aug 26, 2025Updated 6 months ago
- Researching Physics in LJPW Space☆20Updated this week
- interactive command line options for the click library☆10Dec 22, 2025Updated 2 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year