This is stars and forks stats for /MetaCoq/metacoq repository. As of 25 Apr, 2024 this repository has 301 stars and 71 forks.
MetaCoq MetaCoq is a project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins (i.e. translations, compilers or tactics) in Coq. Quick jump Getting started Installation instructions Documentation Overview of the project Papers Related Projects Team & Credits Bugs Getting started You may want to start with a demo. The current branch documentation (as light coqdoc files). The overview of the different parts of the project. Installation instructions See...
MetaCoq MetaCoq is a project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins (i.e. translations, compilers or tactics) in Coq. Quick jump Getting started Installation instructions Documentation Overview of the project Papers Related Projects Team & Credits Bugs Getting started You may want to start with a demo. The current branch documentation (as light coqdoc files). The overview of the different parts of the project. Installation instructions See...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| toddsundsted/ktistec | CrystalJavaScriptHTML | 315 | 0 | 21 | 0 |
| petargyurov/virtual-bookshelf | CSSJavaScriptHTML | 402 | 0 | 50 | 0 |
| connorferster/handcalcs | CSSPythonJinja | 5.3k | 0 | 426 | 0 |
| CrazyMelody/v2ex_style | CSS | 52 | 0 | 28 | 0 |
| michalin/TMS9918_Arduino | CSSC++C | 23 | 0 | 5 | 0 |
| mabDc/eso | DartCC++ | 1.2k | 0 | 161 | 0 |
| fzyzcjy/flutter_convenient_test | DartC++CMake | 414 | 0 | 31 | 0 |
| dart-lang/http | DartJavaObjective-C | 972 | 0 | 334 | 0 |
| Al-Andrew/SmartHouse-Builder | DartJavaOther | 6 | 0 | 23 | 0 |
| slovnicki/beamer | DartHTMLOther | 551 | 0 | 131 | 0 |