Bloomberg has released Crane, an open-source system designed to translate code from Rocq to C++. This tool functions as a Rocq plugin, aiming to produce valid, performant, and memory-safe C++ code. The generated code is intended to operate without garbage collection, utilizing shared pointers for reference counting. Crane is currently under active development, with some features still experimental. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
RANK_REASON This is a release of a code translation tool, which falls under the 'tool' category.