← All repos

bloomberg/crane

View on GitHub ↗ ★ 174 C++

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2026-01-24 · latest 2026-01-26