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 this week
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated 2 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆17Updated last month
• rust-lang / project-const-generics
  ☆44Updated 2 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated last year
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  Updated 2 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆51Updated 7 months ago
• sunfishcode / io-streams
  Unbuffered and unlocked I/O streams
  ☆45Updated 2 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆46Updated 2 years ago
• ehwan / RustyLR
  Bison-like, GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action, optimization
  ☆19Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 10 months ago
• xvxx / hatter
  🎩 positively mad html templating language for rust
  ☆13Updated 4 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆74Updated last year
• olix0r / cargo-action-fmt
  Converts cargo check (and clippy) JSON output to the GitHub Action error format
  ☆13Updated 10 months ago
• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated 2 months ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 9 months ago
• graydon / panic-room
  ☆16Updated 10 months ago
• chronotope / parse-zoneinfo
  Parse zoneinfo files from the IANA database
  ☆8Updated last year
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated 2 years ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆26Updated 2 weeks ago
• brurucy / ftree
  A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.
  ☆16Updated 6 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆32Updated 3 months ago
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆37Updated 4 years ago
• messloc / messloc
  Port of https://github.com/plasma-umass/Mesh to Rust
  ☆16Updated 2 years ago
• Emoun / graphene
  Graph library for Rust
  ☆26Updated 3 months ago
• SergioBenitez / uncased
  Case-preserving, ASCII case-insensitive `no_std` string types for Rust.
  ☆12Updated last year