This is stars and forks stats for /Copilot-Language/copilot repository. As of 27 Apr, 2024 this repository has 516 stars and 40 forks.
Copilot Copilot is a runtime verification framework for hard real-time systems. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project or standalone application. The C99 code generated is constant in memory and time, making it suitable for systems with hard real-time requirements. Installation • Examples • Related projects • Documentation • Contributions • Acknowledgements Features Write simple, high-level specifications using a stream-based language. Produce...
Copilot Copilot is a runtime verification framework for hard real-time systems. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project or standalone application. The C99 code generated is constant in memory and time, making it suitable for systems with hard real-time requirements. Installation • Examples • Related projects • Documentation • Contributions • Acknowledgements Features Write simple, high-level specifications using a stream-based language. Produce...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| jeffdc/learnyouhaskell | Haskell | 1 | 0 | 0 | 0 |
| kanake10/Cocktails | KotlinRubyShell | 30 | 0 | 13 | 0 |
| marko-cerovac/material.nvim | Lua | 820 | +2 | 109 | +1 |
| graphics32/graphics32 | PascalRoffOther | 343 | 0 | 115 | 0 |
| Yamato-Security/hayabusa | Rust | 1.5k | 0 | 130 | 0 |
| typelevel/otel4s | ScalaJinjaOther | 124 | 0 | 21 | 0 |
| mavam/stat-cookbook | TeXRMakefile | 2.1k | 0 | 327 | 0 |
| ferdikoomen/openapi-typescript-codegen | TypeScriptHandlebarsJavaScript | 2k | 0 | 459 | 0 |
| rhysd/committia.vim | Vim Script | 688 | +1 | 28 | 0 |
| dreinharth/byway | Zig | 13 | 0 | 0 | 0 |