A Rust library for manipulating and evaluating Boolean expressions and BDDs
☆31Mar 16, 2021Updated 4 years ago
Alternatives and similar repositories for boolean_expression
Users that are interested in boolean_expression are comparing it to the libraries listed below
Sorting:
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆36Jan 16, 2026Updated last month
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Feb 20, 2026Updated 2 weeks ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆24Feb 14, 2026Updated 3 weeks ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Nov 17, 2023Updated 2 years ago
- Implementation of Espresso-II method for heuristic minimization of single output boolean functions☆32Feb 23, 2024Updated 2 years ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- Frisbee flight simulator written in Python.☆12Jun 18, 2025Updated 8 months ago
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- the acorn javascript parser, preloaded with plugins for syntax parity with recent node versions☆13Jun 26, 2025Updated 8 months ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated 2 weeks ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- ☆23Mar 1, 2026Updated last week
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Rust implementation of Base64 VLQ for source maps☆18Oct 9, 2019Updated 6 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆34Updated this week
- ☆13Dec 13, 2022Updated 3 years ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- ☆11May 21, 2021Updated 4 years ago
- Wrapper around sqlformat-rs for use as a dprint plugin.☆11Jul 18, 2023Updated 2 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- Oxlint Ecosystem CI☆14Updated this week
- Ross extension to Chernoff faces☆11May 21, 2018Updated 7 years ago
- Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel☆13Updated this week
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- A pseudo terminal scroller for st☆11Apr 29, 2017Updated 8 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 3 weeks ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- GitHub actions I use for CI.☆13Updated this week
- Andy C++ programming language☆10Updated this week
- Multi-person podcast audio to videocast☆10Sep 28, 2024Updated last year
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year