Popular repositories Loading

1. aeneas aeneas Public

   A verification toolchain for Rust programs

   OCaml 728 68

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 381 18

3. charon charon Public

   Analyze Rust crates without touching compiler internals

   Rust 337 38

4. scylla scylla Public

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

   C 33 1

5. icfp-tutorial icfp-tutorial Public

   Aeneas tutorial for ICFP

   Lean 11 4

6. kraken kraken Public

   x64 semantics in Lean

   Lean 7 4