Pinned Loading

1. prusti/prusti prusti/prusti Public

   A static verifier for Rust, based on the Viper verification infrastructure.

   Rust 1.8k 130

2. prusti/prusti-assistant prusti/prusti-assistant Public

   VS Code extension to verify Rust programs with the Prusti verifier.

   TypeScript 24 9

3. python-astexport python-astexport Public

   Export Python AST to JSON

   Python 25 6

4. python-c-api python-c-api Public

   Python/C API quick example

   C 21 12

5. view-spark-timeline view-spark-timeline Public

   Visualize in an SVG the timeline of an Apache Spark execution.

   Python 6

6. cargo-diff-tools cargo-diff-tools Public

   Hide cargo/clippy warnings that are not in a `git diff`

   Rust 5 1