A tool for auditing Rust crates
☆43Jun 19, 2026Updated last week
Alternatives and similar repositories for cargo-scan
Users that are interested in cargo-scan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆25Jun 21, 2026Updated last week
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- tar analysis tool☆22Mar 27, 2025Updated last year
- Runtime assertion checking based on Gospel specifications☆55Mar 23, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 3 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆15May 27, 2026Updated last month
- Cargo subcommand to clone a repo from the registry.☆17May 29, 2026Updated last month
- Remake of the videogame "BOOM" by Factor Software☆55Dec 2, 2025Updated 6 months ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 2 years ago
- Anil's OCaml Claude plugin collection☆32May 24, 2026Updated last month
- Advanced Operating Systems project manifest☆15Sep 6, 2025Updated 9 months ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆18Jun 11, 2026Updated 2 weeks ago
- A framework and taxonomy for identifying, classifying, and reasoning about detection logic bugs in SIEM, EDR, and XDR rules, with concret…☆57Mar 5, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- durs: A fast, intuitive disk usage analyzer in Rust. Quickly assess file system space with efficient, clear visualizations and insights.☆15Apr 1, 2025Updated last year
- Ownership analysis that helps translating C to Rust☆32Apr 9, 2026Updated 2 months ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Details about the rust-embedded-community project☆15Jun 25, 2025Updated last year
- The ExpressOS kernel☆17Jun 7, 2013Updated 13 years ago
- An integrated context-aware scanner and parser generator☆23Dec 4, 2023Updated 2 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Example implementation of stack tokens for Rust☆33Nov 23, 2022Updated 3 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 3 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- R package for Visvalingam Line Simplification☆11May 10, 2022Updated 4 years ago
- R package: RNativeAPI - Documentation and Examples of the R Native API (Proof of Concept)☆17Mar 27, 2023Updated 3 years ago
- ☆12Jul 1, 2025Updated 11 months ago
- Rust refactoring project☆20Nov 7, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- A library for parsing, manipulating, and serializing data structured as JSON.☆20May 18, 2026Updated last month
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago