Bookmarks

• 🔗 🦮 AeneasVerif/eurydice: Eurydice compiles (a decent subset of) Rust to C (2025-12-07) #rust #c #compiler
• 🔗 🦮 https://kobzol.github.io/rust/cargo/2023/08/12/rust-llvm-optimization-remarks.html (2023-08-13) #llvm #rust #remark