diff --git a/bdd.md b/bdd.md
index abb9048..532893f 100644
--- a/bdd.md
+++ b/bdd.md
@@ -45,6 +45,7 @@
 - [robdd](https://github.com/ericvoid/robdd) (?, Python)
 - [`py-ydd`](https://github.com/kyouko-taiga/py-ydd) (Apache-2, Python/C++): YDDs (Yet another Decision Diagram), a data structure that allows to efficiently store extremely large families of sets, and perform various operations on them quiete efficiently.
 - [Graphillion](https://github.com/takemaru/graphillion) (MIT, Python/C++): Graphset operations library using TdZDD
+- [`bex`](https://github.com/tangentstorm/bex/tree/main/py) (MIT, Rust/Python) Python wrapper for bex, a rust toolkit for binary expressions. (AST/BDD/ANF)
 
 # Ruby
 - [CUDD-rb](https://github.com/blambeau/cudd-rb) (MIT, Ruby): bindings to CUDD
@@ -230,6 +231,8 @@
 # Rust
 - [`boolean_expressions`](https://github.com/cfallin/boolean_expression) (MIT, Rust): BDD implementation, conversion from/to formulae with cubelist-based minimization
 - [`cudd_rust`](https://github.com/malie/cudd_rust) (BSD-3, Rust): bindings to CUDD
+- [`OxiDD`](https://github.com/OxiDD/oxidd) (Apache2/MIT, Rust): a concurrent decision diagram framework written in Rust. (BDD/ZDD/ADD/TDD, extensible to more...)
+- [`bex`](https://github.com/tangentstorm/bex) (MIT, Rust) Rust toolkit for binary expressions. (AST/BDD/ANF)
 
 # PHP
 - [BDD](https://github.com/andreaswolf/BinaryDecisionDiagrams) (?, PHP)