PrototypeCommune
bloomberg/crane
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
- Propriétaire
- bloomberg (organisation)
- Étoiles
- Étoiles : 172
- Forks
- Forks : 11
- Langage
- C++
- Licence
- LGPL-2.1
- Création
- 2025
- Sujets
- coqcpprocq-proverrocqcompilerdependent-typesextractionfunctional-programmingmemory-safetymodern-cpp
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de bloomberg
Les 27 dépôts de bloomberg- bloomberg/memrayÉtoiles : 15 403PythonStable
- bloomberg/blazingmqÉtoiles : 3 220C++RC
- bloomberg/goldpingerÉtoiles : 2 744JavaScriptRC
- bloomberg/bdeÉtoiles : 1 854C++Bêta
- bloomberg/comdb2Étoiles : 1 535CBêta
- bloomberg/pystackÉtoiles : 1 227C++Bêta
D’autres dépôts C++
Tous les dépôts C++- Times-Z/GeekMagic-Open-FirmwareÉtoiles : 172C++Prototype
- dji-sdk/Cloud-API-2Étoiles : 172C++Prototype
- und3ath/xollvmÉtoiles : 172C++Prototype
- GilesBathgate/RapCADÉtoiles : 172C++Prototype
- pololu/pololu-led-strip-arduinoÉtoiles : 172C++Prototype
- racklin/moedict-desktopÉtoiles : 172C++Prototype