alla flaggor
[  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Källkod: haskell-copilot  ]

Paket: libghc-copilot-dev (4.3-1)

Länkar för libghc-copilot-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-copilot:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-copilot-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-copilot-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 30,7 kbyte192,0 kbyte [filförteckning]
arm64 31,3 kbyte213,0 kbyte [filförteckning]
armel 33,5 kbyte210,0 kbyte [filförteckning]
armhf 33,5 kbyte209,0 kbyte [filförteckning]
i386 33,8 kbyte193,0 kbyte [filförteckning]
ppc64el 32,6 kbyte226,0 kbyte [filförteckning]
riscv64 35,2 kbyte259,0 kbyte [filförteckning]
s390x 34,4 kbyte256,0 kbyte [filförteckning]