@hackage copilot-language4.1

A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Categories
- Systems Programming
- Language
License
BSD-3-Clause
Maintainer
Ivan Perez <ivan.perezdominguez@nasa.gov>
Links
Versions
- 4.1 Fri, 8 Nov 2024
- 4.0 Sun, 8 Sep 2024
- 3.20 Mon, 8 Jul 2024
- 3.19.1 Wed, 8 May 2024
- 3.19 Fri, 8 Mar 2024
- 3.18.1 Mon, 8 Jan 2024

Installation
In your cabal file:
Dependencies (8)
- array >=0.5 && <0.6
- base >=4.9 && <5
- containers >=0.4 && <0.7
- mtl >=2.0 && <3
- copilot-core >=4.1 && <4.2
- copilot-interpreter >=4.1 && <4.2
Dependents (9)
@hackage/copilot-c99, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/arduino-copilot, @hackage/sketch-frp-copilot, @hackage/copilot-libraries, Show all…

The concrete syntax for Copilot.

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.

A tutorial, examples, and other information are available at https://copilot-language.github.io.

@hackage copilot-language4.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (8)

Dependents (9)