https://github.com/copilot-language/copilot-discussion
Repository containg reports and documentation on Copilot
https://github.com/copilot-language/copilot-discussion
copilot
Last synced: 4 months ago
JSON representation
Repository containg reports and documentation on Copilot
- Host: GitHub
- URL: https://github.com/copilot-language/copilot-discussion
- Owner: Copilot-Language
- Created: 2015-06-09T23:51:32.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2024-12-14T23:45:20.000Z (about 1 year ago)
- Last Synced: 2025-10-24T22:32:33.726Z (4 months ago)
- Topics: copilot
- Language: TeX
- Homepage:
- Size: 52.7 MB
- Stars: 17
- Watchers: 12
- Forks: 1
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Copilot: a stream DSL
Repository containg reports and documentation on Copilot.
Copilot is a runtime verification framework written in Haskell. It allows the
user to write programs in a simple but powerful way using a stream-based
approach.
Programs can be interpreted for testing, or translated C99 code to be
incorporated in a project, or as a standalone application. The C99 backend
ensures us that the output is constant in memory and time, making it suitable
for systems with hard realtime requirements.
## Further information
For further information, install instructions and documentation, please visit
the Copilot website:
[https://copilot-language.github.io](https://copilot-language.github.io)
## License
Copilot is distributed under the BSD-3-Clause license, which can be found
[here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).