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!
  ☆591Updated 3 years ago
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆520Updated 3 months ago
• crev-dev / cargo-crev
  A cryptographically verifiable code review system for the cargo (Rust) package manager.
  ☆2,178Updated 3 weeks ago
• Munksgaard / session-types
  ☆568Updated 2 years ago
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆330Updated 4 months ago
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆284Updated 4 years ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆681Updated 3 weeks ago
• interact-rs / interact
  Online introspection for Rust
  ☆417Updated 2 years ago
• lucky / bad_actor_poc
  ☆325Updated 3 years ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆646Updated this week
• hawkw / tinymetrics
  a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
  ☆298Updated 10 months ago
• mozilla / cargo-vet
  supply-chain security for Rust
  ☆712Updated last month
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆694Updated last week
• dandavison / chronologer
  Visualize performance benchmarks over git commit history
  ☆251Updated last year
• sstadick / hck
  A sharp cut(1) clone.
  ☆710Updated last month
• doctorn / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆368Updated 4 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆469Updated last year
• kurtlawrence / papyrus
  (Rust) repl
  ☆442Updated 3 years ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,640Updated 2 weeks ago
• sidkshatriya / rd
  rd is a record/replay debugger written in rust
  ☆960Updated 2 years ago
• losfair / RefineDB
  A strongly-typed document database that runs on any transactional key-value store.
  ☆393Updated 2 years ago
• oconnor663 / bao
  an implementation of BLAKE3 verified streaming
  ☆515Updated last month
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,748Updated this week
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,375Updated 2 months ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆820Updated 3 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆639Updated this week
• 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
• rust-analyzer / ungrammar
  ☆316Updated 6 months ago
• boustrophedon / pgtemp
  Rust library and daemon for easily starting postgres databases per-test without Docker
  ☆232Updated last month
• alexpovel / srgn
  A grep-like tool which understands source code syntax and allows for manipulation in addition to search
  ☆756Updated last week