crev-dev / crev

Related projects ⓘ

Alternatives and complementary repositories for crev

• davidpdrsn / todo-or-die
  TODOs you cannot forget!
  ☆586Updated 3 years ago
• crev-dev / cargo-crev
  A cryptographically verifiable code review system for the cargo (Rust) package manager.
  ☆2,100Updated this week
• Mythra / typeish
  A runtime type checker for bash.... in bash. I'm not sorry.
  ☆329Updated 2 years ago
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆285Updated 3 years ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆660Updated 2 weeks ago
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆528Updated this week
• hawkw / tinymetrics
  a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
  ☆301Updated 5 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆613Updated 3 weeks ago
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆655Updated 2 weeks ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,637Updated this week
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆438Updated 7 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆812Updated 7 months ago
• DeterminateSystems / riff
  Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.
  ☆486Updated last year
• Munksgaard / session-types
  ☆556Updated last year
• amoffat / supertag
  A tag-based filesystem
  ☆590Updated 3 years ago
• sstadick / hck
  A sharp cut(1) clone.
  ☆699Updated 4 months ago
• mozilla / cargo-vet
  supply-chain security for Rust
  ☆667Updated last month
• google / mundane
  Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
  ☆1,072Updated last year
• interact-rs / interact
  Online introspection for Rust
  ☆415Updated 2 years ago
• ThijsRay / coppers
  Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.
  ☆186Updated 2 years ago
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,282Updated 2 weeks ago
• josh-project / josh
  Just One Single History
  ☆1,492Updated last week
• sidkshatriya / rd
  rd is a record/replay debugger written in rust
  ☆959Updated 2 years ago
• tiffany352 / rink-rs
  Unit conversion tool and library written in rust
  ☆452Updated last month
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆590Updated 3 years ago
• doctorn / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆364Updated 3 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆440Updated 3 years ago
• danobi / prr
  Mailing list style code reviews for github
  ☆296Updated last month
• lucky / bad_actor_poc
  ☆326Updated 3 years ago
• alexpovel / srgn
  A grep-like tool which understands source code syntax and allows for manipulation in addition to search
  ☆693Updated last week