PrototypeCommon
pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
- Owner
- pirapira (personal account)
- Stars
- Stars: 226
- Forks
- Forks: 10
- Language
- OCaml
- License
- LGPL-2.1
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by pirapira
All 5 repos by pirapira- pirapira/awesome-ethereum-virtual-machineStars: 851Beta
- pirapira/bambooStars: 323OCamlAlpha
- pirapira/ethereum-formal-verification-overviewStars: 295Alpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
Nearby in OCaml
All OCaml repos- johnwhitington/camlpdfStars: 230OCamlPrototype
- frenetic-lang/freneticStars: 229OCamlPrototype
- janestreet/core_kernelStars: 228OCamlPrototype
- rescript-labs/deccoStars: 225OCamlPrototype
- inhabitedtype/ocaml-webmachineStars: 224OCamlPrototype
- RedPRL/redttStars: 224OCamlPrototype