bolero-kani

Extra Credit builds an outline of bolero-kani's docs the first time your work uses it. Until then, start at the official documentation.

• orchestra Generate an orchestra of subsystems from a single struct.
• orchestra-proc-macro Generate the actor pattern connectivity graph from a single annotated struct definition - proc-macro
• ripemd320 Deprecated. Use the ripemd crate isntead.
• tree-sitter-scala Scala grammar for tree-sitter
• tink-aead AEAD functionality for Rust port of Google's Tink cryptography library
• error-stack A context-aware error-handling library that supports arbitrary attached user data
• async-priority-channel An async channel where pending messages are delivered in order of priority
• static-regular-grammar Derive macro for static regular grammar
• ndarray-rand Constructors for randomized arrays. `rand` integration for `ndarray`.
• icu_provider_blob ICU4X data provider that reads from blobs in memory
• zbus_polkit PolicyKit binding
• file-lock File locking via POSIX advisory record locks