Popular repositories Loading

1. aeneas aeneas Public

   A verification toolchain for Rust programs

   OCaml 490 38

2. eurydice eurydice Public

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

   C 273 14

3. charon charon Public

   Interface with the rustc compiler for the purpose of program verification

   Rust 257 26

4. scylla scylla Public

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

   C 22

5. icfp-tutorial icfp-tutorial Public

   Aeneas tutorial for ICFP

   Lean 10 3

6. charon-rudra charon-rudra Public

   A reimplementation of Rudra with Charon

   Rust 4 1