crev-dev / crevLinks
Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real implemenation.
☆415Updated 3 years ago
Alternatives and similar repositories for crev
Users that are interested in crev are comparing it to the libraries listed below
Sorting:
- TODOs you cannot forget!☆593Updated 3 years ago
- How to avoid complicated coordinated upgrades☆531Updated 7 months ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆288Updated 4 years ago
- Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.☆185Updated 3 years ago
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆484Updated last year
- A runtime type checker for bash.... in bash. I'm not sorry.☆326Updated 3 years ago
- Visualize performance benchmarks over git commit history☆256Updated last year
- Layout is a rust library and a tool that renders Graphviz dot files.☆704Updated 3 months ago
- an implementation of BLAKE3 verified streaming☆537Updated 3 months ago
- ☆571Updated 2 years ago
- ☆328Updated 4 years ago
- A practical experiment on supply-chain security using reproducible builds☆155Updated 2 years ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.☆2,217Updated this week
- supply-chain security for Rust☆740Updated 2 months ago
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆300Updated last year
- Gather author, contributor and publisher data on crates in your dependency graph.☆333Updated 2 months ago
- Very fast link checker for CI.☆204Updated last week
- Capability-oriented version of the Rust standard library☆703Updated 4 months ago
- A tag-based filesystem☆609Updated 4 years ago
- Mailing list style code reviews for github☆348Updated 2 months ago
- A tool for ad hoc profiling☆323Updated 5 months ago
- Independent verification of binary packages - Reproducible Builds☆391Updated 2 months ago
- Git repository with a commit for every single shorthash☆205Updated 4 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Data interchange with algebraic data types.☆628Updated last month
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆372Updated 4 years ago
- (Rust) repl☆442Updated 3 years ago
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆844Updated 2 weeks ago
- Cross-platform embeddable sandboxing☆191Updated this week
- report progress of concurrent applications and display it in various ways☆377Updated last week