Alternatives and similar repositories for kani-vscode-extension

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

• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆33Updated 6 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆21Updated 3 weeks ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated 3 weeks ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆30Updated 3 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 9 months ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆32Updated 9 months ago
• ehwan / RustyLR
  bison-like parser generator & compiler frontend that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and…
  ☆20Updated last week
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆47Updated 2 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆40Updated 11 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
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆52Updated last month
• 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
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆34Updated 5 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• 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
• mystor / ctrs
  watt-based inline procedural macros
  ☆14Updated 5 years ago
• apt1002 / mijit
  Experimental JIT compiler generator
  ☆27Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆40Updated last year
• JASory / ENT
  Elementary Number Theory for Integers in Rust
  ☆19Updated 5 months ago
• Rust-GPU / spirt
  SPIR-🇹: shader-focused IR to target, transform and translate from 🦀
  ☆18Updated last week
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆38Updated last month
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆35Updated last year
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated last month
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago