PrototypeCommon
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
- Owner
- bloomberg (organization)
- Stars
- Stars: 172
- Forks
- Forks: 11
- Language
- C++
- License
- LGPL-2.1
- Created
- 2025
- Topics
- coqcpprocq-proverrocqcompilerdependent-typesextractionfunctional-programmingmemory-safetymodern-cpp
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by bloomberg
All 27 repos by bloomberg- bloomberg/memrayStars: 15,403PythonStable
- bloomberg/blazingmqStars: 3,220C++RC
- bloomberg/goldpingerStars: 2,745JavaScriptRC
- bloomberg/bdeStars: 1,854C++Beta
- bloomberg/comdb2Stars: 1,535CBeta
- bloomberg/pystackStars: 1,227C++Beta
Nearby in C++
All C++ repos- kisaragi-mochi/stackchan-mcpStars: 172C++Prototype
- punarinta/make-slack-great-againStars: 172C++Prototype
- RetroPortingToolKit/Retro-LauncherStars: 172C++Prototype
- GilesBathgate/RapCADStars: 172C++Prototype
- pololu/pololu-led-strip-arduinoStars: 172C++Prototype
- racklin/moedict-desktopStars: 172C++Prototype