Alternatives and similar repositories for crev

Users that are interested in crev are comparing it to the libraries listed below

• davidpdrsn / todo-or-die
  TODOs you cannot forget!
  ☆592Updated 3 years ago
• crev-dev / cargo-crev
  A cryptographically verifiable code review system for the cargo (Rust) package manager.
  ☆2,195Updated this week
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆524Updated 5 months ago
• Munksgaard / session-types
  ☆568Updated 2 years ago
• DeterminateSystems / riff
  Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.
  ☆485Updated last year
• alexpovel / srgn
  A grep-like tool which understands source code syntax and allows for manipulation in addition to search
  ☆826Updated last week
• Mythra / typeish
  A runtime type checker for bash.... in bash. I'm not sorry.
  ☆327Updated 3 years ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆691Updated 2 months ago
• google / mundane
  Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
  ☆1,074Updated last year
• mitsuhiko / teetty
  A bit like tee, a bit like script, but all with a fake tty. Lets you remote control and watch a process
  ☆332Updated 10 months ago
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆331Updated 3 weeks ago
• ezrosent / frawk
  an efficient awk-like language
  ☆1,269Updated 10 months ago
• mitsuhiko / systemfd
  Development helper utility for helping with auto reloading for projects supporting systemd socket activation
  ☆575Updated 5 months ago
• sstadick / hck
  A sharp cut(1) clone.
  ☆714Updated 2 weeks ago
• sidkshatriya / rd
  rd is a record/replay debugger written in rust
  ☆961Updated 3 years ago
• josh-project / josh
  Just One Single History
  ☆1,595Updated last month
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆650Updated last week
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆286Updated 4 years ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,646Updated last week
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• amoffat / supertag
  A tag-based filesystem
  ☆610Updated 4 years ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,764Updated this week
• kpcyrd / rebuilderd
  Independent verification of binary packages - Reproducible Builds
  ☆385Updated last week
• dandavison / chronologer
  Visualize performance benchmarks over git commit history
  ☆252Updated last year
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆695Updated last month
• maciejhirsz / kobold
  Easy declarative web interfaces.
  ☆396Updated 2 months ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆618Updated 2 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆471Updated last year
• lucky / bad_actor_poc
  ☆325Updated 4 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆442Updated 3 years ago