V OpenVet
cargo / abacus-registers

abacus-registers

cargo

System to statically prevent driver device protocol bugs via Abacus DSL and typestates

0 audits github.com/abacus-rs/abacus-registers

Audits

No audits for this package yet.