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 / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• AaronKutch / awint
  Arbitrary width integers
  ☆26Updated 6 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆33Updated last month
• m4b / cargo-sym
  Prints various binary symbols in your crate
  ☆15Updated 8 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆65Updated 2 years ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆33Updated last month
• saethlin / crater-at-home
  We have Crater At Home
  ☆37Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• rust-lang / wg-grammar
  Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides
  ☆103Updated last year
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 2 years ago
• pvdrz / sire
  A symbolic evaluator for MIR
  ☆20Updated 6 years ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆39Updated 4 months ago
• 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
• sunfishcode / io-streams
  Unbuffered and unlocked I/O streams
  ☆45Updated 10 months ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆49Updated 2 years ago
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆50Updated 7 months ago
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆42Updated 6 months ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆55Updated last month
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆36Updated this week
• mystor / ctrs
  watt-based inline procedural macros
  ☆14Updated 5 years ago
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 6 months ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆23Updated 2 years ago
• core-error / core-error
  std::Error in no_std environment.
  ☆39Updated 5 years ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆30Updated last month
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago