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: 8 days 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 (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2025-03-08T02:25:30.000Z (about 2 months ago)
• Last Synced: 2025-04-14T04:08:21.723Z (8 days ago)
• Topics: c, copilot, embedded-systems, haskell, runtime-verification, rv, stream
• Language: Haskell
• Homepage: http://copilot-language.github.io
• Size: 4.59 MB
• Stars: 711
• Watchers: 34
• Forks: 63
• Open Issues: 15
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README