bloomberg/crane

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

语言：C++ · GitHub 星标：172 · Fork：11

话题：compiler · coq · cpp · dependent-types · extraction · functional-programming · memory-safety · modern-cpp

在 GitHub 上查看原仓库