This is stars and forks stats for /runtimeverification/vlsm repository. As of 30 Apr, 2024 this repository has 3 stars and 2 forks.
VLSM A validating labelled state transition and message production system (VLSM) abstractly models a distributed system with faults. This project contains a formalization of VLSMs and their theory in the Coq proof assistant. Meta License: BSD 3-Clause "New" or "Revised" License Compatible Coq versions: 8.16 and later Additional dependencies: Coq-std++ 1.8.0 or later Itauto Coq-Equations Coq namespace: VLSM Related publication(s): Validating Labelled State Transition and Message Production Systems:...
VLSM A validating labelled state transition and message production system (VLSM) abstractly models a distributed system with faults. This project contains a formalization of VLSMs and their theory in the Coq proof assistant. Meta License: BSD 3-Clause "New" or "Revised" License Compatible Coq versions: 8.16 and later Additional dependencies: Coq-std++ 1.8.0 or later Itauto Coq-Equations Coq namespace: VLSM Related publication(s): Validating Labelled State Transition and Message Production Systems:...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| MLNLP-World/MyArxiv | CSSHandlebarsJavaScript | 130 | 0 | 15 | 0 |
| StaPH-B/docker-builds | HTMLDockerfilePerl | 151 | 0 | 99 | 0 |
| pudongping/pudongping.github.io | EJSCSSJavaScript | 5 | 0 | 0 | 0 |
| mruoss/kino_k8s_term | ElixirCSSJavaScript | 26 | 0 | 0 | 0 |
| elmish/elmish | F#JavaScript | 770 | 0 | 88 | 0 |
| icyphox/legit | GoHTMLCSS | 204 | +2 | 16 | 0 |
| kiegroup/kie-ci | GroovyShell | 6 | 0 | 40 | 0 |
| GoogleCloudPlatform/kubernetes-engine-samples | HCLPythonShell | 1.1k | 0 | 1.1k | 0 |
| apache/maven-mvnd | JavaShellC | 2.6k | 0 | 188 | 0 |
| dariusk/twitter-archiver | JavaScriptHTML | 280 | 0 | 15 | 0 |