A tool for auditing Rust crates
☆26Feb 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for cargo-scan
Users that are interested in cargo-scan are comparing it to the libraries listed below
Sorting:
- ☆13Apr 27, 2020Updated 5 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Jun 17, 2024Updated last year
- Yet another Rust MIR analysis tool☆15Aug 22, 2025Updated 6 months ago
- Cargo subcommand to clone a repo from the registry.☆16Feb 6, 2026Updated 3 weeks ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Feb 10, 2026Updated 2 weeks ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Oct 19, 2022Updated 3 years ago
- Ownership analysis that helps translating C to Rust☆31Nov 25, 2025Updated 3 months ago
- Example implementation of stack tokens for Rust☆33Nov 23, 2022Updated 3 years ago
- A framework for large scale analysis of the Rust ecosystem.☆37Feb 15, 2026Updated last week
- Terminal-based tool to track and manage build artifacts from multiple programming languages. Built with Ratatui☆83Nov 28, 2025Updated 3 months ago
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Data processing pipelines☆13Feb 9, 2026Updated 2 weeks ago
- ROOM4DOOM☆40Updated this week
- SIGPLAN website☆13Updated this week
- ☆11May 12, 2025Updated 9 months ago
- Pick color from anywhere on your sceen☆21Feb 17, 2026Updated last week
- Runtime assertion checking based on Gospel specifications☆51Feb 11, 2026Updated 2 weeks ago
- POC of CVE-2025-7783☆29Oct 31, 2025Updated 4 months ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Build automation tool☆10Nov 16, 2025Updated 3 months ago
- Safe XXHash and XXH3 bindings for rust.☆10Jun 26, 2024Updated last year
- MIT NIHS image format implementations☆10Dec 11, 2019Updated 6 years ago
- This extension supplements Yale's official bluebooking app with the functionality to sort courses by rating and by workload.☆103Jan 20, 2014Updated 12 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- Docker image with Microsoft DirectX shader compiler (dxil and spirv)☆12Dec 4, 2018Updated 7 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated last week
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- A Shell Script program designed to calculate simple and compound interest using user-provided inputs.☆12Feb 20, 2026Updated last week
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Generic, minimalist, parallelizable Merkle tree☆14Oct 9, 2018Updated 7 years ago
- ☆48Jun 30, 2025Updated 8 months ago
- Provide retain_mut method that has the same functionality as retain but gives mutable borrow to the predicate☆13May 20, 2022Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 9 months ago