Statum helps make undesirable state impossible to represent in code, at compile time
-
Updated
May 14, 2026 - Rust
#
correctness
Here are 2 public repositories matching this topic...
The marking compiler. A bit like Ruff, if Ruff wore a trench coat 🕵
formatter linting marking formatting linter rust-lang compliance rules-engine correctness marking-compiler
-
Updated
May 27, 2026 - Rust
Improve this page
Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."