Alternatives and similar repositories for kani-github-action:

Users that are interested in kani-github-action are comparing it to the libraries listed below

• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆50Updated 3 months ago
• rkyv / rend
  Cross-platform, endian-aware primitives for Rust
  ☆34Updated 3 months ago
• bincode-org / virtue
  A sinless derive helper
  ☆52Updated 2 months ago
• frozenlib / test-strategy
  Procedural macro to easily write higher-order strategies in proptest.
  ☆46Updated last month
• geph-official / smolscale
  ☆38Updated 5 months ago
• rust-lang / rust-project-goals
  Rust Project Goals tracker
  ☆66Updated this week
• bkchr / impl-trait-for-tuples
  Rust attribute macro to implement a trait for tuples
  ☆24Updated 2 months ago
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆32Updated 3 months ago
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆60Updated last week
• cuviper / autocfg
  Automatic cfg for Rust compiler features
  ☆95Updated 4 months ago
• rust-lang / dyn-upcasting-coercion-initiative
  Initiative to support upcasting dyn Trait values to supertraits
  ☆16Updated 2 years ago
• nu11ptr / criterion-table
  Generate markdown comparison tables from `cargo-criterion` JSON output
  ☆30Updated 2 years ago
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆24Updated last week
• ModProg / derive-where
  Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.
  ☆68Updated this week
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 6 months ago
• rust-lang / async-crashdump-debugging-initiative
  ☆20Updated 3 years ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 2 years ago
• LF-Decentralized-Trust-labs / agora-glass_pumpkin
  agora-glass_pumpkin
  ☆21Updated 8 months ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆49Updated last month
• Darksonn / atomic-take
  Take a value atomically once.
  ☆27Updated 2 years ago
• Justice4Joffrey / depends-rs
  ☆58Updated 2 months ago
• dtolnay / precise
  Full precision decimal representation of f64
  ☆25Updated last week
• AaronKutch / awint
  Arbitrary width integers
  ☆13Updated 2 months ago
• yoshuawuyts / parallel-future
  structured parallel execution for async Rust
  ☆33Updated 5 months ago
• sam0x17 / macro_state
  A simple set of Rust proc macros for reading and writing global compile-time state between macro calls
  ☆29Updated 3 months ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆38Updated 4 months ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆59Updated 3 weeks ago
• awslabs / cargo-check-external-types
  Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…
  ☆48Updated 3 weeks ago
• katharostech / cfg_aliases
  A tiny utility to help save you a lot of effort with long winded `#[cfg()]` checks in Rust.
  ☆76Updated 2 weeks ago
• cargo-bins / release-pr
  GitHub Action to create a release PR using cargo-release — soft deprecated: try release-plz instead!
  ☆44Updated this week