PrototypeCommune
neelsomani/vericuda
A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs
- Propriétaire
- neelsomani (compte personnel)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 3
- Langage
- Rocq Prover
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- cuda-programmingformal-verificationrust-cuda
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de neelsomani
Les 2 dépôts de neelsomani- neelsomani/senator-filingsÉtoiles : 412Jupyter NotebookAlpha
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityÉtoiles : 145Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- AU-COBRA/ConCertÉtoiles : 129Rocq ProverPrototype
- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleÉtoiles : 128Rocq ProverPrototype