Pinned

1. viperproject/prusti-dev viperproject/prusti-dev Public

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

   Rust 1.5k 98

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

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

   TypeScript 22 10

3. python-astexport python-astexport Public

   Export Python AST to JSON

   Python 26 6

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

   Python/C API quick example

   C 13 8

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

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

   Python 5

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

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

   Rust 3 2