Alternatives and similar repositories for kani-vscode-extension

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

• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 8 months ago
• olix0r / cargo-action-fmt
  Converts cargo check (and clippy) JSON output to the GitHub Action error format
  ☆13Updated last year
• dtolnay / link-cplusplus
  Link libstdc++ or libc++ automatically or manually
  ☆45Updated 4 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆20Updated 4 months ago
• mystor / object-provider
  Support for requesting objects from other objects dynamically based on type
  ☆11Updated 4 years ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆32Updated 5 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
  ☆34Updated 4 years ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆29Updated 2 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆46Updated 2 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆34Updated 4 months ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  ☆1Updated 2 years ago
• rust-lang / project-const-generics
  ☆44Updated 2 years ago
• crate-ci / codegenrs
  Moving code-gen out of `build.rs`
  ☆18Updated 2 weeks ago
• rust-lang / project-ffi-unwind
  ☆37Updated 6 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated 2 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆38Updated 2 weeks ago
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆50Updated last week
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 4 years ago
• zshipko / llama
  Rust LLVM bindings
  ☆31Updated 2 years ago
• foresterre / storyteller
  🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.
  ☆32Updated last week
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆54Updated 5 months ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆52Updated this week
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆28Updated 4 years ago
• mooman219 / generational_arena_bench
  Some benchmarks for generational arenas in rust
  ☆27Updated last year