https://github.com/copilot-language/copilot-visualizer
https://github.com/copilot-language/copilot-visualizer
Last synced: 13 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/copilot-language/copilot-visualizer
- Owner: Copilot-Language
- License: other
- Created: 2025-02-02T20:20:40.000Z (about 1 year ago)
- Default Branch: develop
- Last Pushed: 2025-06-27T13:28:00.000Z (8 months ago)
- Last Synced: 2025-06-27T14:26:24.868Z (8 months ago)
- Language: Haskell
- Size: 35.2 KB
- Stars: 1
- Watchers: 4
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG
- License: LICENSE
Awesome Lists containing this project
README
[](https://app.travis-ci.com/github/Copilot-Language/copilot)
# Copilot: a stream DSL
The visualizer, which draws Copilot specifications using different graphical
formats.
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 (with the library copilot-interpreter),
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.
## Installation
Copilot-visualizer can be found on
[Hackage](https://hackage.haskell.org/package/copilot-interpreter). It is
typically only installed as part of the complete Copilot distribution. For
installation instructions, please refer to the [Copilot
website](https://copilot-language.github.io).
## 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/copilot-interpreter/LICENSE).