všetky možnosti
[  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Zdroj: haskell-copilot  ]

Balík: libghc-copilot-dev (4.5-1 a iné)

Odkazy pre libghc-copilot-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík haskell-copilot:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libghc-copilot-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libghc-copilot-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 4.5-1+b1 30.8 kB193.0 kB [zoznam súborov]
arm64 4.5-1+b1 31.5 kB215.0 kB [zoznam súborov]
armel 4.5-1+b1 34.0 kB211.0 kB [zoznam súborov]
armhf 4.5-1+b1 33.9 kB210.0 kB [zoznam súborov]
hppa (neoficiálny port) 4.5-1+b1 36.7 kB210.0 kB [zoznam súborov]
i386 4.5-1+b1 34.3 kB194.0 kB [zoznam súborov]
loong64 (neoficiálny port) 4.5-1+b1 36.8 kB284.0 kB [zoznam súborov]
m68k (neoficiálny port) 3.13-1 34.6 kB189.0 kB [zoznam súborov]
mips64el 4.5-1+b1 34.4 kB235.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 4.5-1+b1 33.0 kB228.0 kB [zoznam súborov]
ppc64el 4.5-1+b1 33.3 kB227.0 kB [zoznam súborov]
riscv64 4.5-1+b1 35.7 kB261.0 kB [zoznam súborov]
s390x 4.5-1+b1 34.7 kB257.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 4.5-1+b1 34.7 kB1,198.0 kB [zoznam súborov]