Alternatives and similar repositories for kani-vscode-extension

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

• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆19Updated 3 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆32Updated 4 months ago
• messloc / messloc
  Port of https://github.com/plasma-umass/Mesh to Rust
  ☆16Updated 2 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 4 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆35Updated 7 months ago
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated 2 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆54Updated 4 months ago
• rust-lang / project-const-generics
  ☆44Updated 2 years ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated last year
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆34Updated 3 months ago
• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• rust-lang / gha-self-hosted
  GitHub Actions self-hosted runners infrastructure
  ☆17Updated this week
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• crate-ci / codegenrs
  Moving code-gen out of `build.rs`
  ☆18Updated 2 weeks ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• ehwan / RustyLR
  RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…
  ☆19Updated this week
• mystor / ctrs
  watt-based inline procedural macros
  ☆14Updated 4 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Updated last year
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆29Updated last month
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆50Updated 2 months ago
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 4 years ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated last week
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆37Updated 4 years ago
• core-error / core-error
  std::Error in no_std environment.
  ☆39Updated 4 years ago
• ColinFinck / nt-list
  Windows Linked Lists in idiomatic Rust (LIST_ENTRY, SINGLE_LIST_ENTRY)
  ☆22Updated last year
• SergioBenitez / uncased
  Case-preserving, ASCII case-insensitive `no_std` string types for Rust.
  ☆12Updated last year
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  ☆1Updated 2 years ago