3 results found Sort:

Copilot-Language
copilot Copilot-Language
59
670
unknown
35
A stream-based runtime-verification framework for generating hard real-time C code.
c rv stream copilot haskell embedded-systems runtime-verification
Created 2015-06-09
3,201 commits to master branch, last one a day ago
nasa
ogma nasa
28
345
other
13
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
772 commits to develop branch, last one 23 hours ago
peternmuller
revanced-builder peternmuller
6
26
gpl-3.0
2
An APK and Magisk/KernelSU module builder for RV/RVX apps. Updated hourly.
rv apk rvx zip j-hc magisk extended inotia00 kernelsu revanced magisk-module revanced-music kernelsu-module revanced-magisk revanced-module revanced-builder revanced-creator revanced-youtube revanced-extended revanced-magisk-module
Created 2024-07-16
489 commits to main branch, last one 14 days ago