This is stars and forks stats for /AbsInt/CompCert repository. As of 19 Apr, 2024 this repository has 1680 stars and 238 forks.
CompCert The formally-verified C compiler. Overview The CompCert C verified compiler is a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors. The distinguishing feature of CompCert is that it has been formally verified using the Coq proof assistant: the generated assembly code is formally guaranteed to behave as prescribed by the semantics of the source C code. For more information on CompCert (supported platforms, supported...
CompCert The formally-verified C compiler. Overview The CompCert C verified compiler is a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors. The distinguishing feature of CompCert is that it has been formally verified using the Coq proof assistant: the generated assembly code is formally guaranteed to behave as prescribed by the semantics of the source C code. For more information on CompCert (supported platforms, supported...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| docblue/chfsgui | CSSC++Other | 678 | 0 | 116 | 0 |
| mulaRahul/keyviz | DartC++CMake | 2.8k | +147 | 90 | +1 |
| RakaCreativeContent/sih-project | EJSJavaScriptCSS | 0 | 0 | 3 | 0 |
| membraneframework/membrane_rtc_engine | ElixirJavaScriptOther | 105 | 0 | 8 | 0 |
| SamuelSimoes31/Esspotify | JavaScriptGherkinCSS | 0 | 0 | 158 | 0 |
| Kong/kubernetes-ingress-controller | GoOther | 2k | 0 | 569 | 0 |
| chshersh/dr-cabal | Haskell | 71 | 0 | 5 | 0 |
| f-vdb/haskell_course | HaskellCOther | 0 | 0 | 0 | 0 |
| ENCCS/Julia-for-HPC | Jupyter NotebookJuliaPython | 29 | 0 | 9 | 0 |
| PatilShreyas/mutekt | Kotlin | 247 | 0 | 6 | 0 |