Popular repositories Loading

1. specs specs Public

   Forked from hacspec/specs

   Specifications written in hacspec

   Rust

2. mlkem-rust-libcrux mlkem-rust-libcrux Public

   Forked from pq-code-package/rust-libcrux

   portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret ind…

3. eurydice eurydice Public

   Forked from AeneasVerif/eurydice

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

   C

4. karamel karamel Public

   Forked from FStarLang/karamel

   KaRaMeL is a tool for extracting low-level F* programs to readable C code

   OCaml