sdiehl / butler-portugalView external linksLinks
Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust
☆18Updated this week
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 last month
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated 2 weeks ago
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 4, 2026Updated 2 weeks ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated 9 months ago
- A dynamic memory leak detector that can pinpoint where memory is lost, using LLVM pass☆20Oct 12, 2025Updated 4 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆21Jan 15, 2025Updated last year
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 8 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 9 months ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- library learning w egraphs☆25May 31, 2023Updated 2 years ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 3 years ago
- AI-powered book-writing system that converts ideas into full manuscripts in hours with multi-agent collaboration, real-time streaming, an…☆32Oct 13, 2025Updated 4 months ago
- ☆11Updated this week
- 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
- Java decompilation & deobfuscation lab - dockerized toolset☆14Updated this week
- An introduction course about scientific computing and research for the first year undergraduates taught at Fudan University.☆10Nov 6, 2025Updated 3 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- An Ionic/Capacitor app that demos the features of the @aparajita/capacitor-secure-storage Capacitor plugin.☆14Jul 3, 2025Updated 7 months ago
- Angular 10 Codelab Quiz App☆17Nov 29, 2025Updated 2 months ago
- ☆25Aug 26, 2025Updated 5 months ago
- Binary Space Partioning Renderer for the EvoGL project.☆15Jul 5, 2025Updated 7 months ago
- White Cats define Pure functions☆15Nov 4, 2025Updated 3 months ago
- A semantic analysis tool for debugging python code☆24Jan 12, 2026Updated last month
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆93Jan 20, 2026Updated 3 weeks ago
- Statistics from our binary transformation framework☆10Jan 16, 2025Updated last year
- ☆12Oct 17, 2025Updated 4 months ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- ☆21Oct 24, 2025Updated 3 months ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 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…☆10Updated this week
- Developer documentation site for zkSync community.☆13Updated this week
- Building and Deploying a Secure ReactJS App with Docker, NGINX, and Automating with GitHub Actions to AWS EC2☆10Mar 26, 2025Updated 10 months ago