all options
[  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: haskell-copilot  ]

Package: libghc-copilot-dev (4.5-1)

Links for libghc-copilot-dev

Screenshot

Debian Resources:

Download Source Package haskell-copilot:

Maintainers:

External Resources:

Similar packages:

Stream DSL for writing embedded C programs.

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>.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-copilot-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-copilot-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 30.7 kB192.0 kB [list of files]
arm64 31.3 kB213.0 kB [list of files]
armhf 33.5 kB209.0 kB [list of files]
i386 33.9 kB193.0 kB [list of files]
ppc64el 32.5 kB226.0 kB [list of files]
riscv64 35.3 kB259.0 kB [list of files]
s390x 34.5 kB256.0 kB [list of files]