model-checking / kani-vscode-extension

Related projects ⓘ

Alternatives and complementary repositories for kani-vscode-extension

• LykenSol / grammer
  Grammar framework.
  ☆12Updated 4 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆55Updated 3 weeks ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆62Updated 5 months ago
• yaahc / nostd-error-poc
  Proof of Concept of a version of the error trait that is no-std compatible and works with backtraces / error return traces
  ☆11Updated 3 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆31Updated 3 years ago
• rust-num / num-iter
  Generic Range iterators for Rust
  ☆26Updated 6 months ago
• rust-lang / dyn-upcasting-coercion-initiative
  Initiative to support upcasting dyn Trait values to supertraits
  ☆16Updated 2 years ago
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  ☆0Updated 2 years ago
• rust-lang / rustc-rayon
  Rayon: A data parallelism library for Rust
  ☆6Updated 5 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆30Updated 8 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• stencillogic / num-bigfloat
  Increased precision floating point numbers implemented purely in Rust.
  ☆21Updated 8 months ago
• rust-ml / enzyme_build
  A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
  ☆9Updated 2 years ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆23Updated 2 months ago
• dtolnay / link-cplusplus
  Link libstdc++ or libc++ automatically or manually
  ☆45Updated 2 weeks ago
• fusion-engineering / nalgebra-numpy
  Convert between nalgebra and numpy types.
  ☆21Updated 2 years ago
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated last year
• AaronKutch / awint
  Arbitrary width integers
  ☆10Updated 9 months ago
• slightlyoutofphase / staticstep
  Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …
  ☆13Updated 2 years ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 4 months ago
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆24Updated last month
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated 2 weeks ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆23Updated last year
• sunfishcode / linux-raw-sys
  Generated bindings for Linux's userspace API
  ☆49Updated last month
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆45Updated last year
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆42Updated 2 months ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆47Updated last month
• mcountryman / simd-adler32
  A SIMD-accelerated Adler-32 hash algorithm implementation.
  ☆34Updated 2 months ago
• rust-lang / gcc
  GCC fork with libgccjit changes needed by rustc_codegen_gcc
  ☆13Updated this week