Popular repositories Loading

1. aeneas aeneas Public

   A verification toolchain for Rust programs

   OCaml 884 91

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 399 17

3. charon charon Public

   Analyze Rust crates without touching compiler internals

   Rust 389 50

4. scylla scylla Public

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

   C 41 1

5. kraken kraken Public

   x64 semantics in Lean

   Lean 27 9

6. icfp-tutorial icfp-tutorial Public

   Aeneas tutorial for ICFP

   Lean 11 4