Trending

#Transpilers

Latest posts tagged with #Transpilers on Bluesky

Latest Top
Trending
#Javier Bardem #WBC #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #Autumn Durald Arkapaw #MBJ #Wallace #Timmy #Javier Bardem #WBC #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #Autumn Durald Arkapaw #MBJ #Wallace #Timmy

Posts tagged #Transpilers

Ranjit Mathew
Ranjit Mathew
@rmathew4bs.bsky.social
3 months ago
Eurydice: a Rust to C compiler (yes) Perhaps the greatest surprise of the last two years was, for me, the realization that people not only care about compiling C to Rust (for obvious reasons, such as, ahem, memory safety) – they also car...

Awesome!

“Eurydice: A Rust To C Compiler (Yes)”, Jonathan Protzenko (jonathan.protzenko.fr/2025/10/28/e...).

Via HN: news.ycombinator.com/item?id=4617...

On Lobsters: lobste.rs/s/1kcrn4/eur...

#Eurydice #Rust #C #Compilers #Transpilers #Programming #PLDI #Portability #Embedded

2 0 0 0
Ranjit Mathew
Ranjit Mathew
@rmathew4bs.bsky.social
3 months ago
Generating C code that people actually want to use Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedi...

👌🏽:

“Generating C Code That People Actually Want To Use” [2019], Jonathan Protzenko (jonathan.protzenko.fr/2019/01/04/b...).

On HN: news.ycombinator.com/item?id=1930...

On Lobsters: lobste.rs/s/4vfysy/gen...

#C #Compilers #Transpilers #Readability #Programming #PLDI #CodeGeneration #Verification

1 0 1 0