Skip to content
@AeneasVerif

AeneasVerif

Popular repositories Loading

  1. aeneas aeneas Public

    A verification toolchain for Rust programs

    OCaml 255 24

  2. charon charon Public

    Interface with the rustc compiler for the purpose of program verification

    Rust 136 19

  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 37 3

  4. scylla scylla Public

    Scylla, a tool for translating ultra-regular C code to Safe Rust

    C 9

  5. icfp-tutorial icfp-tutorial Public

    Aeneas tutorial for ICFP

    Lean 4 1

  6. charon-rudra charon-rudra Public

    A reimplementation of Rudra with Charon

    Rust 3 1

Repositories

Showing 8 of 8 repositories
  • scylla Public

    Scylla, a tool for translating ultra-regular C code to Safe Rust

    AeneasVerif/scylla’s past year of commit activity
    C 9 Apache-2.0 0 1 0 Updated Apr 25, 2025
  • aeneas Public

    A verification toolchain for Rust programs

    AeneasVerif/aeneas’s past year of commit activity
    OCaml 255 Apache-2.0 24 89 7 Updated Apr 25, 2025
  • charon Public

    Interface with the rustc compiler for the purpose of program verification

    AeneasVerif/charon’s past year of commit activity
    Rust 136 Apache-2.0 19 54 6 Updated Apr 25, 2025
  • loogle-aeneas Public Forked from nomeata/loogle

    Mathlib search tool

    AeneasVerif/loogle-aeneas’s past year of commit activity
    Lean 0 Apache-2.0 18 0 0 Updated Apr 22, 2025
  • 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 37 Apache-2.0 3 16 3 Updated Apr 17, 2025
  • aeneasverif.github.io Public
    AeneasVerif/aeneasverif.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 4, 2025
  • icfp-tutorial Public

    Aeneas tutorial for ICFP

    AeneasVerif/icfp-tutorial’s past year of commit activity
    Lean 4 Apache-2.0 1 0 0 Updated Nov 27, 2024
  • charon-rudra Public

    A reimplementation of Rudra with Charon

    AeneasVerif/charon-rudra’s past year of commit activity
    Rust 3 Apache-2.0 1 0 0 Updated Oct 22, 2024

Top languages

Loading…

Most used topics

Loading…