Alternatives and similar repositories for comp-2017-cscoins

Users that are interested in comp-2017-cscoins are comparing it to the libraries listed below

• perceptia / skylane
  ☆99Updated 8 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆79Updated 6 years ago
• kornholi / pcapng
  pcapng format parser written in Rust
  ☆14Updated 8 years ago
• radareorg / radare2-rust
  Playground for Rust and Radare2
  ☆14Updated 7 years ago
• way-cooler / rust-wlc
  [DEPRECATED] Rust bindings for wlc, the Wayland compositor library
  ☆55Updated 7 years ago
• dwrensha / seer
  symbolic execution engine for Rust
  ☆353Updated 6 years ago
• coder543 / dataplotlib
  Scientific plotting library for Rust
  ☆59Updated 7 years ago
• AtomLinter / linter-rust
  Linting your Rust-files in Atom, using rustc and cargo.
  ☆40Updated last year
• tjpeden / rustboy
  Gameboy Emulator writtten in Rust
  ☆11Updated 9 years ago
• nikomatsakis / gnome-class
  Some experimental macros for GNOME integration
  ☆53Updated 7 years ago
• eyolfson / rust-wayland
  Rust bindings for Wayland
  ☆33Updated 10 years ago
• japaric-archived / stable-embedded-rust
  The closest we are to embedded no-std binaries on stable Rust
  ☆18Updated 6 years ago
• sellibitze / secretshare
  Implementation of Shamir's secret sharing in Rust
  ☆36Updated 9 years ago
• gnzlbg / ctest
  Automatic testing of FFI bindings for Rust
  ☆122Updated 3 years ago
• andybarron / app-dirs-rs
  Put your Rust app's data in the right place on every platform
  ☆141Updated 4 years ago
• aep / elfkit
  rust elf parsing, manipulation and (re)linking toolkit
  ☆205Updated 4 years ago
• shawnanastasio / rudo
  A toy sudo clone written in Rust
  ☆75Updated 4 years ago
• Geal / cargo-external-doc
  integrate markdown files with your rustdoc generated documentation
  ☆37Updated 5 years ago
• PaulFurtado / rusty_bars
  A PulseAudio visualizer written in Rust.
  ☆37Updated 8 years ago
• meh / dux
  DUX MEA LUX
  ☆89Updated 4 years ago
• mcarton / rust-herbie-lint
  A rustc plugin to check for numerical instability
  ☆174Updated 8 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆98Updated 9 years ago
• nagisa / math.rs
  Implementation of libm in rust
  ☆34Updated 7 years ago
• ticki / cake
  A Delicious Build Tool.
  ☆65Updated 8 years ago
• durka / unborrow
  Rust macro crate used for fighting the borrow checker
  ☆14Updated 8 years ago
• gnzlbg / slice_deque
  A contiguous-in-memory double-ended queue that derefs into a slice
  ☆155Updated 3 years ago
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆169Updated 7 years ago