This is stars and forks stats for /querycert/qcert repository. As of 30 Apr, 2024 this repository has 52 stars and 9 forks.
Q*cert About This is the source code for Q*cert, a framework for the development and verification of domain specific languages. It supports a rich data model and includes an extensive compilation pipeline 'out of the box'. Applications include query languages (e.g., SQL, OQL), rules languages (e.g., JRules) and smart contract languages (e.g., Ergo). Q*cert is built with the Coq proof assistant (https://coq.inria.fr). A significant subset of the provided compilation pipeline has been mechanically...
Q*cert About This is the source code for Q*cert, a framework for the development and verification of domain specific languages. It supports a rich data model and includes an extensive compilation pipeline 'out of the box'. Applications include query languages (e.g., SQL, OQL), rules languages (e.g., JRules) and smart contract languages (e.g., Ergo). Q*cert is built with the Coq proof assistant (https://coq.inria.fr). A significant subset of the provided compilation pipeline has been mechanically...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| alexmercerind/media_kit | DartC++CMake | 608 | 0 | 74 | 0 |
| Giwayume/godot-svg | GDScriptHTMLOther | 49 | 0 | 3 | 0 |
| crazy-max/diun | GoDockerfileOther | 2.2k | +12 | 98 | +1 |
| carbon-design-system/carbon-for-ibm-dotcom-web-components-template | HandlebarsJavaScriptSCSS | 9 | 0 | 10 | 0 |
| dhanvantarisoftware/spring3_project | HCLJavaSmarty | 0 | 0 | 23 | 0 |
| TwitchRecover/TwitchRecover | Java | 939 | 0 | 140 | 0 |
| HuanCheng65/TiebaLite | JavaKotlinJavaScript | 2.4k | 0 | 181 | 0 |
| ViaVersion/ViaVersion | JavaKotlin | 1k | 0 | 240 | 0 |
| gluon-framework/gluon | JavaScript | 3k | 0 | 98 | 0 |
| SeifElsallamy/Blind-XSS-Manager | JavaScriptHTML | 198 | 0 | 29 | 0 |