Alternatives and similar repositories for boolean_expression

Users that are interested in boolean_expression are comparing it to the libraries listed below

• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• cfallin / waffle
  ☆58Updated 8 months ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆93Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆81Updated 2 weeks ago
• seanyoung / lrpeg
  Left Recursive PEG for rust
  ☆67Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆119Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆156Updated last year
• CAD97 / generativity
  ☆39Updated last year
• dtolnay / tt-call
  Token tree calling convention
  ☆79Updated 2 years ago
• bsteinb / accurate
  (More or less) accurate floating point algorithms
  ☆57Updated 9 months ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated last week
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• jethrogb / rust-reduce
  `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…
  ☆99Updated 10 months ago
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆189Updated 2 years ago
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• pvdrz / sire
  A symbolic evaluator for MIR
  ☆19Updated 5 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆101Updated 2 years ago
• fitzgen / bacon-rajan-cc
  ☆93Updated last year
• rphmeier / allocators
  A collection of custom allocators
  ☆44Updated 7 years ago