bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Stars: 107Language: C++
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.