-
Notifications
You must be signed in to change notification settings - Fork 1k
Description
Hello mimalloc team and community,
First of all, thank you for creating and maintaining such a robust and well-designed allocator. It's an incredibly valuable piece of technology.
We’ve developed an LLM-powered C-to-Rust transpiler that goes far beyond mechanical translation (e.g., C2Rust).
We’ve already run our end-to-end pipeline on the full mimalloc codebase and are currently in active testing.
Early Metrics vs. C2Rust (on mimalloc core):
| Tool | RP decl | RP deref | RP arithmetic | Unsafe Line |
|---|---|---|---|---|
| Our tool | 44 | 41 | 38 | 51 |
| c2rust | 478 | 1274 | 477 | 9903 |
RP = Raw Pointer
Key advantages of our tool output:
- Minimal unsafe: Only in well-encapsulated, reviewed modules (e.g., intrusive lists)
We’d love your feedback:
-
Are you open to reviewing a preview of the generated mimalloc port?
(We can share a public repo or draft PR with CI running C test equivalence.) -
Initial thoughts on LLM-assisted transpilation for allocator code?
-
Would a PR be welcome at this stage?
Even as an experimental, parallel implementation (e.g.,mimalloc-rs), not to replace C, but to explore the design space.
Looking forward to your thoughts, happy to hop on a call or share early artifacts.
Thanks again for the thoughtful discussion and for building such a solid foundation in mimalloc
Thanks
Saman