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 2 weeks ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆31Updated last month
• AaronKutch / awint
  Arbitrary width integers
  ☆14Updated 2 weeks ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last week
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆50Updated last month
• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆40Updated last month
• artichoke / intaglio
  🗃 UTF-8 string, byte string, and C string interner
  ☆27Updated this week
• mooman219 / generational_arena_bench
  Some benchmarks for generational arenas in rust
  ☆25Updated 8 months ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 9 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆71Updated 9 months ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 6 years ago
• apt1002 / mijit
  Experimental JIT compiler generator
  ☆27Updated 11 months ago
• tschuett / mlir-rustc
  Experimental MLIR Rust compiler
  ☆23Updated last year
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated 2 years ago
• sunfishcode / io-streams
  Unbuffered and unlocked I/O streams
  ☆45Updated 3 weeks ago
• olix0r / cargo-action-fmt
  Converts cargo check (and clippy) JSON output to the GitHub Action error format
  ☆13Updated 9 months ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 8 months ago
• kpreid / exhaust
  Exhaustive iteration trait in Rust
  ☆14Updated last week
• liborty / indxvec
  Rust crate for efficient sorting, merging, ranking, searching and reversing of generic vectors.
  ☆9Updated 7 months ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆24Updated 3 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
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆36Updated last month
• dtolnay / argv
  Non-allocating iterator over command line arguments
  ☆41Updated last week
• blyxxyz / os_display
  Format strings in a safe platform-appropriate way
  ☆21Updated this week
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆46Updated 2 years ago
• slightlyoutofphase / staticstep
  Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …
  ☆13Updated 3 years ago
• TyberiusPrime / nested_intervals
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆16Updated 11 months ago