zhezhouzz/Poirot-Supplementary-Material

OCamlCoqMakefileOther
This is stars and forks stats for /zhezhouzz/Poirot-Supplementary-Material repository. As of 29 Mar, 2024 this repository has 2 stars and 1 forks.

PLDI 23 Supplementary Material Results The Coq formalization of our core language and its soundness theorem are included in the "proof" subdirectory. Benchmarks Details about the 14 benchmarks used in our evaluation are given in individual folders with the same name as the benchmark; these folders are all located under "benchmarks". Each benchmark has a file prog.ml that presents the source code of the input test generator and a file ty.ml that defines the coverage type coverage type we want to check...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
shogo82148/actions-setup-perlPerlTypeScriptMakefile73060
sni/ThrukPerlJavaScriptShell38701480
forumone/gesso-uswdsTwigJavaScriptSCSS4010
bym110/vue-echartsVueHTMLOther583+1173+1
WebAssembly/root-scanningWebAssemblyPythonOCaml7020
DLarisa/FMI-Materials-BachelorDegree-UniBucXSLTJavaScriptPLSQL1040310
AdaCore/learnAdaPythonTypeScript830350
albfan/miraclecastCShellCMake3.4k03960
Mange/rtl8192eu-linux-driverCOther1.2k04120
maranas/arduinoBBSOther1000