Alternatives and similar repositories for kani-vscode-extension

Users that are interested in kani-vscode-extension are comparing it to the libraries listed below

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆63Updated 2 years ago
• AaronKutch / awint
  Arbitrary width integers
  ☆21Updated last month
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆41Updated last year
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 10 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆32Updated 7 months ago
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆44Updated this week
• m4b / cargo-sym
  Prints various binary symbols in your crate
  ☆14Updated 8 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆52Updated 2 weeks ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆31Updated 4 months ago
• apt1002 / mijit
  Experimental JIT compiler generator
  ☆27Updated last year
• dtolnay / precise
  Full precision decimal representation of f64
  ☆26Updated last week
• zademn / facto-rs
  Working prototype
  ☆16Updated 3 years ago
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆45Updated 2 months ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆49Updated 2 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆35Updated last week
• ssokolow / nodo
  Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)
  ☆18Updated 3 weeks ago
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆39Updated 2 months ago
• ferrilab / radium
  ☆36Updated last year
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• sunfishcode / io-streams
  Unbuffered and unlocked I/O streams
  ☆45Updated 6 months ago
• rust-lang / project-const-generics
  ☆44Updated 3 years ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆43Updated 7 months ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆23Updated last month
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• messloc / messloc
  Port of https://github.com/plasma-umass/Mesh to Rust
  ☆16Updated 2 years ago
• mystor / ctrs
  watt-based inline procedural macros
  ☆14Updated 5 years ago
• auxoncorp / tnfilt
  ☆34Updated 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 3 years ago