Skip to content
Change the repository type filter

All

    Repositories list

    • kani-vscode-extension

      Public
      Kani VSCode Extension
      TypeScript
      Apache License 2.0
      1219171Updated Apr 21, 2026Apr 21, 2026
    • cbmc-proof-debugger

      Public
      The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
      TypeScript
      MIT No Attribution
      3920Updated Apr 20, 2026Apr 20, 2026
    • kani

      Public
      Kani Rust Verifier
      Rust
      Apache License 2.0
      1433k44728Updated Apr 20, 2026Apr 20, 2026
    • Verifying the Rust standard library
      Rust
      Other
      15k3363035Updated Apr 19, 2026Apr 19, 2026
    • Gnuplot
      MIT No Attribution
      15711Updated Apr 8, 2026Apr 8, 2026
    • The CBMC starter kit makes it easy to add CBMC verification to a software project.
      Python
      MIT No Attribution
      2451351Updated Mar 1, 2026Mar 1, 2026
    • CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
      Python
      Apache License 2.0
      1335140Updated Mar 1, 2026Mar 1, 2026
    • kani-github-action

      Public
      This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
      Python
      Apache License 2.0
      141360Updated May 13, 2025May 13, 2025
    • .github

      Public
      449000Updated Oct 15, 2024Oct 15, 2024
    • Lean models of Rust libraries
      Lean
      Apache License 2.0
      83000Updated Sep 4, 2024Sep 4, 2024
    • CBMC training material and documentation
      Other
      5721Updated Aug 25, 2022Aug 25, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.