Skip to content
@AeneasVerif

AeneasVerif

Popular repositories Loading

  1. aeneas aeneas Public

    A verification toolchain for Rust programs

    OCaml 156 14

  2. charon charon Public

    Interface with the rustc compiler for the purpose of program verification

    Rust 60 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 17 1

Repositories

Showing 3 of 3 repositories
  • aeneas Public

    A verification toolchain for Rust programs

    AeneasVerif/aeneas’s past year of commit activity
    OCaml 156 Apache-2.0 14 45 3 Updated Jun 25, 2024
  • eurydice Public

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

    AeneasVerif/eurydice’s past year of commit activity
    OCaml 17 1 6 2 Updated Jun 25, 2024
  • charon Public

    Interface with the rustc compiler for the purpose of program verification

    AeneasVerif/charon’s past year of commit activity
    Rust 60 Apache-2.0 15 36 3 Updated Jun 25, 2024

Top languages

Loading…

Most used topics

Loading…