| Name : ghc-copilot
| |
| Version : 3.19.1
| Vendor : Fedora Project
|
| Release : 2.fc41
| Date : 2024-09-26 21:05:12
|
| Group : Unspecified
| Source RPM : ghc-copilot-3.19.1-2.fc41.src.rpm
|
| Size : 0.05 MB
| |
| Packager : Fedora Project
| |
| Summary : A stream DSL for writing embedded C programs
|
Description :
Copilot is a stream-based runtime verification framework implemented as an
embedded domain-specific language (EDSL) in Haskell. Programs can be
interpreted for testing, or translated into C99 code to be incorporated in a
project, or as a standalone application. The C99 backend output is constant in
memory and time, making it suitable for systems with hard realtime
requirements.
This package is the main entry-point for using Copilot.
A tutorial, examples, and other information are available at
< https://copilot-language.github.io>.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/g |
