This is stars and forks stats for /coq-community/reglang repository. As of 23 Apr, 2024 this repository has 37 stars and 5 forks.
Regular Language Representations in Coq This library provides definitions and verified translations between different representations of regular languages: various forms of automata (deterministic, nondeterministic, one-way, two-way), regular expressions, and the logic WS1S. It also contains various decidability results and closure properties of regular languages. Meta Author(s): Christian Doczkal (initial) Jan-Oliver Kaiser (initial) Gert Smolka (initial) Coq-community maintainer(s): Christian Doczkal...
Regular Language Representations in Coq This library provides definitions and verified translations between different representations of regular languages: various forms of automata (deterministic, nondeterministic, one-way, two-way), regular expressions, and the logic WS1S. It also contains various decidability results and closure properties of regular languages. Meta Author(s): Christian Doczkal (initial) Jan-Oliver Kaiser (initial) Gert Smolka (initial) Coq-community maintainer(s): Christian Doczkal...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
QuickChick/QuickChick | CoqOCamlC | 230 | 0 | 43 | 0 |
tlringer/proof-demos | Coq | 38 | 0 | 1 | 0 |
uds-psl/coq-library-undecidability | CoqOther | 96 | 0 | 24 | 0 |
snu-sf/paco | CoqPythonOther | 38 | 0 | 10 | 0 |
coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
ShiniGandhi/JellyTheme | CSS | 62 | 0 | 13 | 0 |
sefyudem/Sliding-Sign-In-Sign-Up-Form | CSSHTMLJavaScript | 717 | 0 | 655 | 0 |
jyotirmoy-paul/planets | DartC++CMake | 85 | 0 | 32 | 0 |
nebulatgs/zeppelin-railway | DockerfileJavaScript | 4 | 0 | 18 | 0 |
dhvitOP/AnimeEZ | CSSEJSJavaScript | 97 | 0 | 53 | 0 |