PrototypeCommune
pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
- Propriétaire
- pirapira (compte personnel)
- Étoiles
- Étoiles : 226
- Forks
- Forks : 10
- Langage
- OCaml
- Licence
- LGPL-2.1
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de pirapira
Les 5 dépôts de pirapira- pirapira/awesome-ethereum-virtual-machineÉtoiles : 851Bêta
- pirapira/bambooÉtoiles : 323OCamlAlpha
- pirapira/ethereum-formal-verification-overviewÉtoiles : 295Alpha
- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- johnwhitington/camlpdfÉtoiles : 230OCamlPrototype
- frenetic-lang/freneticÉtoiles : 229OCamlPrototype
- janestreet/core_kernelÉtoiles : 228OCamlPrototype
- rescript-labs/deccoÉtoiles : 225OCamlPrototype
- inhabitedtype/ocaml-webmachineÉtoiles : 224OCamlPrototype
- RedPRL/redttÉtoiles : 224OCamlPrototype