A line-by-line translation of the OCaml runtime from C to Rust
Summary
The project details a line-by-line translation of the OCaml runtime from C to Rust, aiming to improve safety and performance.
Similar Articles
Cpp2Rust: Automatic Translation of C++ to Safe Rust
Cpp2Rust is an open-source tool that automatically translates C++ code to safe Rust using clang's AST and a runtime library, enabling safe memory-safe conversion with support for both safe and unsafe output modes.
crustc: Entirety of rustc, translated to C
A Rust-to-C compiler toolchain called cilly has successfully translated the entire rustc compiler into 46 million lines of C, resulting in a functional Rust compiler that can be built with GCC. The project aims to enable Rust on old/obscure hardware by generating portable C code.
Meta Garbage Collection: Using OCaml's GC to GC Rust
Soteria Rust, a symbolic execution tool for verifying Rust programs, uses OCaml's garbage collector to manage memory for its Tree Borrows aliasing model, achieving a 10x speedup and reducing time complexity from quadratic to linear.
Port React Compiler to Rust
An initiative to port the React Compiler to Rust, aiming to improve performance and integration with the Rust ecosystem.
How Our Rust-to-Zig Rewrite is Going
The Roc compiler team has rewritten their 300,000-line Rust codebase into Zig, achieving feature parity after 18 months, resulting in smaller WebAssembly binaries and improved performance.