HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Cpp2Rust: Automatic Translation of C++ to Safe Rust
github.com/Cpp2Rust
1 comment
a month ago
clairesutton
5 points
2.
▲
Coq to Rust Program Extraction
github.com/pirapira
18 comments
10 years ago
kushti
99 points