This is stars and forks stats for /mit-plv/rewriter repository. As of 06 May, 2024 this repository has 21 stars and 16 forks.
Rewriter Publications Jason Gross, Andres Erbsen, Miraya Poddar-Agrawal, Jade Philipoom, Adam Chlipala. Accelerating Verified-Compiler Development with a Verified Rewriting Engine. Proceedings of the Interactive Theorem Proving - Thirteenth International Conference (ITP'22). August 2022. Building This repository requires Coq 8.15 or later, and requires that the version of OCaml used to build Coq be installed and accessible on the system. Git submodules are used for some dependencies. If you did not...
Rewriter Publications Jason Gross, Andres Erbsen, Miraya Poddar-Agrawal, Jade Philipoom, Adam Chlipala. Accelerating Verified-Compiler Development with a Verified Rewriting Engine. Proceedings of the Interactive Theorem Proving - Thirteenth International Conference (ITP'22). August 2022. Building This repository requires Coq 8.15 or later, and requires that the version of OCaml used to build Coq be installed and accessible on the system. Git submodules are used for some dependencies. If you did not...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| toshiossada/ioasysCamp10 | DartC++CMake | 32 | 0 | 0 | 0 |
| toshiossada/conversor_moedas_fatec | DartC++CMake | 33 | 0 | 0 | 0 |
| toshiossada/flutterIntegrationTest | DartC++CMake | 37 | 0 | 1 | 0 |
| homalg-project/CAP_project | GAPOther | 22 | 0 | 17 | 0 |
| shashirajraja/onlinebookstore | JavaHTMLOther | 321 | +3 | 1.5k | +14 |
| youtube/api-samples | JavaPHPPython | 5k | 0 | 3k | 0 |
| dromara/lamp-cloud | JavaOther | 5.1k | 0 | 1.6k | 0 |
| xl0/lovely-tensors | Jupyter NotebookOther | 1k | 0 | 14 | 0 |
| sinnerschrader/sinnerschrader-reboot | LiquidSCSSJavaScript | 7 | 0 | 4 | 0 |
| PKU-GeekGame/geekgame-2nd | MathematicaPythonJupyter Notebook | 71 | 0 | 5 | 0 |