A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
bloomberg/crane has 165 GitHub stars.
It currently ranks #37086 daily, #37283 weekly, #38361 monthly by momentum on Trending Repos; its best-ever rank is #31407.