model-checking / kani-vscode-extension

Related projects: ⓘ

• 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 last week
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆30Updated 5 months ago
• messense / lddtree-rs
  Read the ELF dependency tree
  ☆22Updated 2 months ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆32Updated 3 weeks ago
• blyxyas / cargo-is-tested
  Assure that your tests are there, and well written.
  ☆15Updated last year
• rust-num / num-iter
  Generic Range iterators for Rust
  ☆25Updated 4 months ago
• AaronKutch / awint
  Arbitrary width integers
  ☆10Updated 6 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
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆24Updated 2 months ago
• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated 8 months ago
• dtolnay / dircnt
  Count directory entries—`ls | wc -l` but faster
  ☆27Updated 8 months ago
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆41Updated 2 weeks ago
• dtolnay / argv
  Non-allocating iterator over command line arguments
  ☆39Updated 8 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
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆46Updated 8 months ago
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆24Updated 3 years ago
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆39Updated 2 weeks ago
• dirs-dev / dirs-sys-rs
  system-level helper functions for the dirs and directories crates
  ☆39Updated 5 months ago
• daniel5151 / inlinable-dyn-extension-traits
  An exploration into the various ways optional trait methods can be implemented in Rust.
  ☆29Updated 4 years ago
• sarah-ek / dynstack
  ☆15Updated 2 weeks ago
• pleshevskiy / estring
  A simple way to parse a string using type annotations
  ☆13Updated 2 years ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆44Updated last year
• noboruma / rclip
  rclip is a remote clipboard for CLI applications.
  ☆15Updated last year
• dtolnay / link-cplusplus
  Link libstdc++ or libc++ automatically or manually
  ☆42Updated 3 weeks ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆34Updated 4 months ago
• ktkaufman03 / static-slicing
  Utilities for enhanced slicing and indexing
  ☆29Updated last year
• sunfishcode / io-streams
  Unbuffered and unlocked I/O streams
  ☆39Updated 3 weeks ago
• stencillogic / num-bigfloat
  Increased precision floating point numbers implemented purely in Rust.
  ☆21Updated 6 months ago
• Keruspe / cargo-duplicates
  A cargo subcommand for displaying when different versions of a same dependency are pulled in
  ☆19Updated last month
• Lokathor / bitfrob
  Helps you frob those bits
  ☆34Updated last month
• Badel2 / rustc-hex-viewer
  Use the Rust compiler as a hex viewer
  ☆17Updated 2 years ago