https://github.com/copilot-language/copilot

A stream-based runtime-verification framework for generating hard real-time C code.
https://github.com/copilot-language/copilot

c copilot embedded-systems haskell runtime-verification rv stream

Last synced: 5 months ago
JSON representation

A stream-based runtime-verification framework for generating hard real-time C code.

• Host: GitHub
• URL: https://github.com/copilot-language/copilot
• Owner: Copilot-Language
• Created: 2015-06-09T23:48:41.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2025-05-08T14:29:40.000Z (5 months ago)
• Last Synced: 2025-05-15T04:05:24.703Z (5 months ago)
• Topics: c, copilot, embedded-systems, haskell, runtime-verification, rv, stream
• Language: Haskell
• Homepage: http://copilot-language.github.io
• Size: 4.42 MB
• Stars: 718
• Watchers: 35
• Forks: 63
• Open Issues: 12
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README