Skip to content
@AeneasVerif

AeneasVerif

Popular repositories

  1. aeneas aeneas Public

    A verification toolchain for Rust programs

    OCaml 152 14

  2. charon charon Public

    Interface with the rustc compiler for the purpose of program verification

    Rust 57 15

  3. eurydice eurydice Public

    Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

    OCaml 10

Repositories

Showing 3 of 3 repositories
  • eurydice Public

    Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

    OCaml 10 0 7 1 Updated Jun 4, 2024
  • charon Public

    Interface with the rustc compiler for the purpose of program verification

    Rust 57 Apache-2.0 15 33 5 Updated Jun 4, 2024
  • aeneas Public

    A verification toolchain for Rust programs

    OCaml 152 Apache-2.0 14 42 3 Updated Jun 4, 2024

Top languages

Loading…

Most used topics

Loading…