Extracting verified C++ from the Rocq theorem prover at Bloomberg
clarus Tuesday, January 20, 2026
Summary
Crane is an open-source load testing framework developed by Bloomberg that allows users to generate realistic traffic patterns and measure the performance of their systems. It provides a user-friendly interface and supports a wide range of protocols, making it a versatile tool for developers and DevOps teams.
63
4
Summary
bloomberg.github.io