Alternatives and similar repositories for boolean_expression

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

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 3 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆163Updated last year
• cfallin / waffle
  ☆58Updated 2 months ago
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆195Updated 3 years ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆86Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆93Updated last week
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆110Updated 2 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆52Updated 3 weeks ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆120Updated 2 years ago
• dtolnay / tt-call
  Token tree calling convention
  ☆80Updated 2 years ago
• lukaslueg / railroad
  A library to produce syntax diagrams as Scalable Vector Graphics
  ☆164Updated 3 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆316Updated last month
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• gnzlbg / bitintr
  Portable Bitwise Manipulation Intrinsics
  ☆46Updated last year
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆87Updated 3 months ago
• matklad / cov-mark
  ☆60Updated last month
• 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…
  ☆101Updated last year
• jrmuizel / memcpy-find
  A tool for finding large memcpy's in llvm ir
  ☆61Updated 6 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆85Updated last month
• miestrode / ekege
  A different approach to an E-graph library
  ☆28Updated 4 months ago
• llogiq / overflower
  A Rust compiler plugin and support library to annotate overflow behavior
  ☆107Updated 2 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆90Updated 4 years ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 5 months ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• bytecodealliance / regalloc2
  A new register allocator
  ☆237Updated last week
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago