mba. Mixed Boolean-Arithmetic
mba-wasm. Mixed Boolean-Arithmetic in Rust for WebAssembly
plzin.github.io. Personal blog
