Popular repositories

1. jaisnan jaisnan Public

   Config files for my GitHub profile.

2. kani kani Public

   Forked from model-checking/kani

   Rust Model Checker

   Rust

3. aws-viewer-for-cbmc aws-viewer-for-cbmc Public

   Forked from model-checking/cbmc-viewer

   Scans the output of CBMC and produces a browsable summary of the results.

   Python

4. kani-vscode-extension kani-vscode-extension Public

   Forked from model-checking/kani-vscode-extension

   Kani VSCode Extension

   TypeScript

5. cbmc-proof-debugger cbmc-proof-debugger Public

   Forked from model-checking/cbmc-proof-debugger

   The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.

   TypeScript

6. test-vscode-extension test-vscode-extension Public

   A test crate to write some proofs in, for the purposes of testing the kani vscode extension

   Rust