BêtaRare
souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
- Propriétaire
- souffle-lang (organisation)
- Étoiles
- Étoiles : 1 192
- Forks
- Forks : 249
- Langage
- C++
- Licence
- UPL-1.0
- Création
- 2016
- Sujets
- datalogstatic-code-analysissouffletranslatorlogic-programming
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts C++
Tous les dépôts C++- matanki-saito/EU4dllÉtoiles : 1 193C++Bêta
- michaeleisel/zldÉtoiles : 1 193C++Bêta
- reo7sp/tgbot-cppÉtoiles : 1 192C++Bêta
- MIT-SPARK/HydraÉtoiles : 1 191C++Bêta
- OpenVPN/openvpn3Étoiles : 1 190C++Bêta
- APRIL-ZJU/lidar_IMU_calibÉtoiles : 1 190C++Bêta