KhaledHosseini / propositional-logic Star 4 Code Issues Pull requests propositional logic evaluator that creates truth tables for propositional expressions, written in rust. rust rust-lang boolean-expression propositional-logic truth-table boolean-logic truth-table-generator Updated Oct 28, 2024 Rust
Aurelio-Capablanca / yggdrasil_protocol Star 2 Code Issues Pull requests DSL mini implementation for Mathematics at Rust minimal dsl mathematics cli-app arithmetic-computation low-level-programming boolean-logic Updated Nov 10, 2025 Rust
Flaise / apbool Star 1 Code Issues Pull requests Just arbitrary precision boolean arithmetic for Rust. api rust library programming math logic mathematics boolean rust-lang arbitrary-precision rust-library boolean-algebra yes no rust-crate special boolean-logic yes-no advanced-algorithms high-tech Updated Apr 1, 2022 Rust
AntoineGagne / a-tree Star 1 Code Issues Pull requests A dynamic data structure for efficiently indexing arbitrary boolean expressions data-structures rust-lang tree-structure boolean-expression rust-library boolean-algebra scientific-paper event-filtering rust-crate boolean-logic a-tree Updated Jul 28, 2025 Rust
uben0 / prove Star 0 Code Issues Pull requests A formal proof assistant for first order logic in the terminal repl rust-lang terminal-based boolean-logic formal-proofs Updated Feb 19, 2025 Rust
awoimbee-42 / ready-set-boole Star 0 Code Issues Pull requests set-theory boolean-logic Updated May 17, 2025 Rust