anodized-rs

anodized-rs/anodized

Harden your Rust with specifications.

108 stars 4 forks 108 watchers Rust Apache License 2.0

10 Open Issues Need Help Last updated: Jul 6, 2026

Open Issues Need Help

View All on GitHub

[anodized-core] feat: runtime-check loop specs 6 days ago

enhancement help wanted good first issue

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: `cargo anodized fmt` about 1 month ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

[anodized-fmt] feat: run `rustfmt` before spec formatting about 2 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

[anodized-fmt] bug: should preserve comments 3 months ago

bug help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: runtime-check data specs (a.k.a. type refinements) 3 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: render specs in generated documentation 3 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: integrate with the`hegel` system 3 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: `anodized-fuzz` tool 4 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

feat: a `Result` interface 4 months ago

enhancement help wanted

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust

improve: ensure that condition return type is `bool` 5 months ago

enhancement help wanted good first issue

anodized-rs/anodized

108

Harden your Rust with specifications.

Rust