Alternatives and similar repositories for kani-github-action

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

• geph-official / smolscale
  ☆41Updated 2 months ago
• rust-lang / jobserver-rs
  ☆73Updated 3 months ago
• QnnOkabayashi / tracing-forest
  ☆72Updated last month
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆53Updated last week
• cargo-bins / release-pr
  GitHub Action to create a release PR using cargo-release — soft deprecated: try release-plz instead!
  ☆45Updated 3 weeks ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆62Updated 2 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆69Updated 5 months ago
• arcnmx / serde-value
  Serialization value trees
  ☆45Updated 11 months ago
• frozenlib / test-strategy
  Procedural macro to easily write higher-order strategies in proptest.
  ☆46Updated 3 weeks ago
• jedisct1 / rust-ed25519-compact
  Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.
  ☆127Updated 6 months ago
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆64Updated last week
• rkyv / rel
  An object system for Rust based on relative pointers
  ☆38Updated 2 years ago
• RustCrypto / KDFs
  Collection of Key Derivation Functions written in pure Rust
  ☆82Updated 3 weeks ago
• sam0x17 / macro_state
  A simple set of Rust proc macros for reading and writing global compile-time state between macro calls
  ☆29Updated 9 months ago
• conradludgate / futures-buffered
  futures-buffered
  ☆43Updated 4 months ago
• bkchr / impl-trait-for-tuples
  Rust attribute macro to implement a trait for tuples
  ☆26Updated 8 months ago
• auto-impl-rs / auto_impl
  Automatically implement traits for common smart pointers
  ☆115Updated 3 months ago
• rust-random / rngs
  Extra RNGs
  ☆42Updated 2 weeks ago
• bkchr / proc-macro-crate
  `$crate` in procedural macros.
  ☆73Updated 2 months ago
• Darksonn / atomic-take
  Take a value atomically once.
  ☆30Updated 2 years ago
• alecmocatta / serde_traitobject
  Serializable trait objects for Rust.
  ☆54Updated 4 months ago
• Rust-for-Linux / pin-init
  Library facilitating safe pinned initialization
  ☆56Updated 2 weeks ago
• stencillogic / num-bigfloat
  Increased precision floating point numbers implemented purely in Rust.
  ☆21Updated 3 months ago
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆34Updated 5 months ago
• nextest-rs / future-queue
  Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
  ☆64Updated this week
• isaacholt100 / bnum
  Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.
  ☆111Updated last month
• RustCrypto / universal-hashes
  Collection of universal hashing functions
  ☆30Updated last month
• katharostech / cfg_aliases
  A tiny utility to help save you a lot of effort with long winded `#[cfg()]` checks in Rust.
  ☆80Updated 3 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆20Updated 4 months ago
• danielhenrymantilla / nougat.rs
  (lifetime) GATs on stable Rust
  ☆59Updated last year