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

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

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 Version Package Size Installed Size Files
amd64 4.5-1+b1 30.8 kB193.0 kB [list of files]
arm64 4.5-1+b1 31.5 kB215.0 kB [list of files]
armel 4.5-1+b1 34.0 kB211.0 kB [list of files]
armhf 4.5-1+b1 33.9 kB210.0 kB [list of files]
hppa (unofficial port) 4.5-1+b1 36.7 kB210.0 kB [list of files]
i386 4.5-1+b1 34.3 kB194.0 kB [list of files]
loong64 (unofficial port) 4.5-1+b1 36.8 kB284.0 kB [list of files]
m68k (unofficial port) 3.13-1 34.6 kB189.0 kB [list of files]
mips64el 4.5-1+b1 34.4 kB235.0 kB [list of files]
ppc64 (unofficial port) 4.5-1+b1 33.0 kB228.0 kB [list of files]
ppc64el 4.5-1+b1 33.3 kB227.0 kB [list of files]
riscv64 4.5-1+b1 35.7 kB261.0 kB [list of files]
s390x 4.5-1+b1 34.7 kB257.0 kB [list of files]
sparc64 (unofficial port) 4.5-1+b1 34.7 kB1,198.0 kB [list of files]