Others

RecipeCratesCategories
Background code checkerbaconcat-development-tools cat-command-line-utilities
API searchroogle{{hi:roogle}}cat-development-tools
Deployment on shuttle.rsshuttle.rscat-development-tools
Binary minimizercat-development-tools
Code generatorscat-development-tools
Code verifiercat-development-tools
Formal Methodscat-development-tools

Background code checker

bacon bacon-crates.io bacon-github bacon-lib.rs cat-development-tools cat-command-line-utilities

bacon is a background rust code checker.

It's designed for minimal interaction so that you can just let it run, alongside your editor, and be notified of warnings, errors, or test failures in your Rust code.

API search

Roogle⮳ roogle-github cat-development-tools

Deployment

shuttle.rs⮳ cat-development-tools

Binary minimizer

How to minimize Rust binary size min-sized-rust⮳

Code generators

top-artificial-intelligence-ai-tools-that-can-generate-code-to-help-programmers⮳

Code verifier

kani kani-crates.io kani-github kani-lib.rs

kani⮳ is a Rust verifier.

Formal Methods

rust-formal-methods.github.io⮳