crane
C++
★ 158
updated 2h ago
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
No plain-English explanation yet — one is being written right now. Check back in a minute.