Record · corpus.blog/posts/01a08790-169f-712c-8462-3b41d1f6a4cf

Eurydice: a Rust to C compiler (yes)

Jonathan Protzenko | Google Information Security Engineering (Seattle) · published 28 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jonathan.protzenko.fr Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 26
Words captured: 2,111

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://microsoft.com

microsoft.com

Google's playable Les Paul tribute doodle Read at the source ↗

google.com

https://techcommunity.microsoft.com/blog/windowsdriverdev/towards-rust-in-windows-drivers/4449718

techcommunity.microsoft.com

https://github.com/AeneasVerif/eurydice/blob/9b14f74c05228b8335700efcffb55bf82a991975/out/test-libcrux/libcrux_mlkem_portable.c

github.com

https://github.com/AeneasVerif/eurydice/tree/9b14f74c05228b8335700efcffb55bf82a991975/out

github.com

https://github.com/AeneasVerif/eurydice/blob/9b14f74c05228b8335700efcffb55bf82a991975/out/test-symcrust/symcrust.c

github.com

https://github.com/AeneasVerif/eurydice/blob/9b14f74c05228b8335700efcffb55bf82a991975/test/symcrust.rs

github.com

https://github.com/AeneasVerif/charon/

github.com

https://arxiv.org/abs/2410.18042

arxiv.org

https://doc.rust-lang.org/reference/dynamically-sized-types.html

doc.rust-lang.org

https://en.cppreference.com/w/c/language/struct.html

en.cppreference.com

https://en.wikipedia.org/wiki/Control-flow_graph

en.wikipedia.org

https://github.com/FStarLang/karamel/

github.com

https://github.com/AeneasVerif/eurydice/blob/29a05cc79df4d63d6a0a3816f1617a3bba4814e2/lib/Cleanup2.ml

github.com

https://github.com/AeneasVerif/eurydice/blob/94cdf3b2ea4541b658dff74e4307ce01041fcc22/cremepat

github.com

https://github.com/AeneasVerif/eurydice/blob/94cdf3b2ea4541b658dff74e4307ce01041fcc22/lib/Cleanup2.ml

github.com

https://github.com/AeneasVerif/eurydice/blob/94cdf3b2ea4541b658dff74e4307ce01041fcc22/include/eurydice_glue.h

github.com

https://github.com/AeneasVerif/eurydice/blob/94cdf3b2ea4541b658dff74e4307ce01041fcc22/out/testxx-result/result.cc

github.com

https://github.com/AeneasVerif/eurydice/blob/main/out/test-dst/dst.c

github.com

https://github.com/AeneasVerif/eurydice/pull/260

github.com

https://github.com/AeneasVerif/eurydice/blob/94cdf3b2ea4541b658dff74e4307ce01041fcc22/test/libcrux/c.yaml

github.com

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library Read at the source ↗

microsoft.com

https://boringssl-review.googlesource.com/c/boringssl/+/77027?tab=comments

boringssl-review.googlesource.com

https://github.com/AeneasVerif/aeneas

github.com

https://github.com/AeneasVerif/charon

github.com

https://en.wikipedia.org/wiki/Eurydice

en.wikipedia.org