Alternatives and similar repositories for kani-vscode-extension:

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

• AaronKutch / awint
  Arbitrary width integers
  ☆13Updated 2 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆24Updated 4 months ago
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆42Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆65Updated 7 months ago
• olix0r / cargo-action-fmt
  Converts cargo check (and clippy) JSON output to the GitHub Action error format
  ☆14Updated 7 months ago
• dtolnay / link-cplusplus
  Link libstdc++ or libc++ automatically or manually
  ☆45Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆30Updated this week
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 6 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆30Updated 10 months ago
• chronotope / parse-zoneinfo
  Parse zoneinfo files from the IANA database
  ☆7Updated 9 months ago
• mooman219 / generational_arena_bench
  Some benchmarks for generational arenas in rust
  ☆24Updated 6 months ago
• rust-num / num-iter
  Generic Range iterators for Rust
  ☆26Updated 8 months ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated last week
• rust-lang / dyn-upcasting-coercion-initiative
  Initiative to support upcasting dyn Trait values to supertraits
  ☆16Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆61Updated last year
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆50Updated 3 months ago
• rust-ml / enzyme_build
  A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
  ☆9Updated 2 years ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆21Updated this week
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated 2 years ago
• kpreid / exhaust
  Exhaustive iteration trait in Rust
  ☆13Updated last month
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 3 years ago
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆26Updated 3 weeks ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 2 years ago
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  Updated 2 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 7 months ago
• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated last year
• sunfishcode / eyra-c
  Support for compiling C programs with Eyra
  ☆13Updated 3 months ago
• saethlin / veneer
  Thin but safe Linux interface
  ☆11Updated this week
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆23Updated last year
• rust-formal-methods / rust-formal-methods.github.io
  ☆11Updated 2 weeks ago