Alternatives and similar repositories for kani-github-action

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

• auto-impl-rs / auto_impl
  Automatically implement traits for common smart pointers
  ☆122Updated 9 months ago
• danielhenrymantilla / lending-iterator.rs
  Lending iterators on stable Rust
  ☆83Updated 2 years ago
• frozenlib / test-strategy
  Procedural macro to easily write higher-order strategies in proptest.
  ☆48Updated last week
• danielhenrymantilla / nougat.rs
  (lifetime) GATs on stable Rust
  ☆59Updated 2 years ago
• cargo-bins / release-pr
  GitHub Action to create a release PR using cargo-release — soft deprecated: try release-plz instead!
  ☆47Updated 3 weeks ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆58Updated 4 months ago
• alecmocatta / serde_traitobject
  Serializable trait objects for Rust.
  ☆58Updated 10 months ago
• tczajka / ibig-rs
  A big integer library in Rust with good performance.
  ☆107Updated 2 years ago
• isaacholt100 / bnum
  Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.
  ☆118Updated last month
• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆78Updated 3 years ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• bkchr / impl-trait-for-tuples
  Rust attribute macro to implement a trait for tuples
  ☆27Updated last year
• Nugine / rlimit
  Resource limits
  ☆54Updated this week
• cuviper / autocfg
  Automatic cfg for Rust compiler features
  ☆111Updated 7 months ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆123Updated 9 months ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆74Updated last month
• compiler-errors / async-iterator-ext
  Combinator methods for `std::AsyncIterator` using all the new `async` superpowers
  ☆10Updated last year
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆37Updated 11 months ago
• QnnOkabayashi / tracing-forest
  ☆75Updated 3 weeks ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆68Updated 2 months ago
• magiclen / educe
  This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.
  ☆152Updated 2 months ago
• eupn / macrotest
  Test harness for declarative and procedural macros expansion via `cargo-expand`
  ☆67Updated 6 months ago
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆69Updated last month
• geph-official / smolscale
  ☆44Updated 8 months ago
• rust-lang / jobserver-rs
  ☆77Updated 5 months ago
• bkchr / proc-macro-crate
  `$crate` in procedural macros.
  ☆81Updated 2 months ago
• osiewicz / calliper
  Callgrind-based benchmark harness written in Rust
  ☆30Updated 2 years ago
• asynchronics / st3
  Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.
  ☆88Updated last year
• Rust-for-Linux / pin-init
  Library facilitating safe pinned initialization
  ☆75Updated last week
• craftytrickster / stubborn-io
  io traits/structs for tokio that automatically recover from potential disconnections/interruptions
  ☆73Updated 2 weeks ago