This is stars and forks stats for /uwplse/potpie repository. As of 11 May, 2024 this repository has 13 stars and 1 forks.
potpie Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct Guide to Code Referenced in the Paper See GUIDE.md How to Build Installing Coq First, ensure that you have Coq installed (we've tested Potpie with Coq 8.14.0, compiled with OCaml 4.12.0, on Mac OS 10.15.7 (intel) and 13.1 (m1) as well as Ubuntu). Using Opam If you already have opam installed, and don't already have coq, use opam pin add coq 8.14.0 Otherwise, if you don't want to mess...
potpie Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct Guide to Code Referenced in the Paper See GUIDE.md How to Build Installing Coq First, ensure that you have Coq installed (we've tested Potpie with Coq 8.14.0, compiled with OCaml 4.12.0, on Mac OS 10.15.7 (intel) and 13.1 (m1) as well as Ubuntu). Using Opam If you already have opam installed, and don't already have coq, use opam pin add coq 8.14.0 Otherwise, if you don't want to mess...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
pedromartins/kappa-ott | OCamlCoqStandard ML | 0 | 0 | 0 | 0 |
tlringer/proof-chat-fun | CoqPython | 14 | 0 | 1 | 0 |
sergei-romanenko/agda-simple-scp | AgdaCoq | 28 | 0 | 2 | 0 |
formal-land/coq-of-rust | CoqRustOther | 66 | 0 | 1 | 0 |
foones/dharma | CoqPythonC | 0 | 0 | 0 | 0 |
gustavo-depaula/stalin-sort | CoqAssemblyPython | 1.3k | +4 | 164 | 0 |
ariadne-cps/verifiedcalculus | Coq | 2 | 0 | 0 | 0 |
UDXS/hh23-rhythm | GLSLVerilogCoq | 1 | 0 | 0 | 0 |
alexyavni/ECE552 | VerilogCoqAssembly | 0 | 0 | 2 | 0 |
kfryauff/ee108b | VerilogPerlPHP | 3 | 0 | 0 | 0 |