Skip to content
@creusot-rs

Creusot Rust Verifier

A flexible, performant verifier for Rust programs

Pinned Loading

  1. creusot creusot Public

    Creusot helps you prove your Rust code is correct.

    Rust 1.8k 91

  2. creusot-examples creusot-examples Public

    Rust 1

  3. tutorial tutorial Public

    Tutorial for Creusot

    Rust 11

  4. creusot-ide creusot-ide Public

    OCaml 8 2

Repositories

Showing 9 of 9 repositories
  • creusot Public

    Creusot helps you prove your Rust code is correct.

    creusot-rs/creusot's past year of commit activity
    Rust 1,846 LGPL-2.1 91 95 10 Updated Sep 14, 2026
  • creusot-rs.github.io Public

    Homepage of the Creusot project

    creusot-rs/creusot-rs.github.io's past year of commit activity
    CSS 0 0 0 0 Updated Aug 12, 2026
  • creusot-ide Public
    creusot-rs/creusot-ide's past year of commit activity
    OCaml 8 LGPL-2.1 2 5 0 Updated Aug 10, 2026
  • why3find Public

    Mirror of Why3find for Creusot. This repository is only to keep experimental tags used by old Creusot versions. See the upstream repository for up-to-date releases and development of Why3find.

    creusot-rs/why3find's past year of commit activity
    OCaml 1 0 0 0 Updated Aug 5, 2026
  • tutorial Public

    Tutorial for Creusot

    creusot-rs/tutorial's past year of commit activity
    Rust 11 0 0 0 Updated Aug 3, 2026
  • creusot-examples Public
    creusot-rs/creusot-examples's past year of commit activity
    Rust 1 0 0 0 Updated Aug 3, 2026
  • devlog Public

    Creusot Devlog

    creusot-rs/devlog's past year of commit activity
    HTML 0 0 0 0 Updated Jun 24, 2026
  • guide Public
    creusot-rs/guide's past year of commit activity
    Shell 0 0 0 0 Updated Apr 27, 2026
  • creusot-action Public

    GitHub action to use when Creusot proofs are checked in CI

    creusot-rs/creusot-action's past year of commit activity
    0 0 0 0 Updated Apr 17, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.