Pinned Loading

1. PLSysSec/cargo-scan PLSysSec/cargo-scan Public

   A tool for auditing Rust crates

   Rust 21 4

2. gid gid Public

   Incremental dead state detection in logarithmic time

   Rust 4 1

3. DavisPL/lhs DavisPL/lhs Public

   Yet another Rust MIR analysis tool

   Rust 13

4. data-transducers data-transducers Public

   A general-purpose intermediate representation for streaming and monitoring

   Rust

5. regex-smt-benchmarks regex-smt-benchmarks Public

   A collection of regular expression benchmarks for SMT string solvers.

   SMT 6 2

6. DavisPL-Teaching/189c DavisPL-Teaching/189c Public

   Software Correctness

   Python 3 2