Sign in Sign up
cargo

detamu-language-rust

Rust symbol and complexity analyzer for the Detamu code model

cargo View on Cargo github View on Github

Activity

Latest release
1mo ago
Total releases
2
Cadence
~daily
Last 12 months
2

Reach

Stars
—

Details

License
MIT OR Apache-2.0
First release
Jul 29, 2026
Releases
Version Released
0.1.1 patch
0.1.0 initial