model-checking / kani-github-action

Related projects ⓘ

Alternatives and complementary repositories for kani-github-action

• dtolnay / precise
  Full precision decimal representation of f64
  ☆25Updated last week
• bkchr / impl-trait-for-tuples
  Rust attribute macro to implement a trait for tuples
  ☆23Updated 3 weeks ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆30Updated 7 months ago
• poliorcetics / cargo-intraconv
  A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.
  ☆36Updated 3 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆47Updated last month
• pchickey / task-group
  ☆32Updated 2 years ago
• carllerche / string
  Rust String type with configurable byte storage.
  ☆34Updated 2 months ago
• cargo-bins / release-pr
  GitHub Action to create a release PR using cargo-release — soft deprecated: try release-plz instead!
  ☆44Updated 2 weeks ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆53Updated 4 months ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 4 months ago
• Emoun / graphene
  Graph library for Rust
  ☆23Updated this week
• dtolnay / serde-untagged
  Serde Visitor for deserializing untagged enums
  ☆59Updated last week
• AaronKutch / awint
  Arbitrary width integers
  ☆10Updated 9 months ago
• arcnmx / serde-value
  Serialization value trees
  ☆43Updated 3 months ago
• Darksonn / atomic-take
  Take a value atomically once.
  ☆27Updated last year
• Storyyeller / stable_deref_trait
  Unsafe marker trait for types that deref to a stable address
  ☆31Updated last year
• ModProg / derive-where
  Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.
  ☆59Updated 3 months ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆47Updated this week
• geph-official / smolscale
  ☆40Updated 2 months ago
• dtolnay / link-cplusplus
  Link libstdc++ or libc++ automatically or manually
  ☆45Updated last week
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆40Updated last week
• avitex / rust-aliasable
  Rust library providing basic aliasable (non `core::Unique`) types
  ☆11Updated 2 years ago
• hlisdero / cargo-check-deadlock
  Find deadlocks in Rust code with Petri net model checking
  ☆25Updated this week
• That3Percent / second-stack
  A Rust memory allocator for large slices that don't escape the stack.
  ☆29Updated 2 years ago
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 3 years ago
• rustls / futures-rustls
  ☆15Updated 6 months 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
• sval-rs / value-bag
  Dynamic structured values for Rust
  ☆27Updated 3 weeks ago
• al8n / fs4-rs
  Extended utilities for working with files and filesystems in Rust. This is a fork of the fs2-rs crate, the aim for this fork is to suppor…
  ☆61Updated 2 weeks ago
• dtolnay / cargo-unlock
  Remove Cargo.lock lockfile
  ☆32Updated last week