Popular repositories Loading

1. aeneas aeneas Public

   A verification toolchain for Rust programs

   OCaml 590 47

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 369 16

3. charon charon Public

   Analyze Rust crates without touching compiler internals

   Rust 302 32

4. scylla scylla Public

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

   C 28

5. icfp-tutorial icfp-tutorial Public

   Aeneas tutorial for ICFP

   Lean 11 3

6. charon-rudra charon-rudra Public

   A reimplementation of Rudra with Charon

   Rust 5 1