Paket: libghc-copilot-language-prof (3.18.1-1)

Links für libghc-copilot-language-prof

Debian-Ressourcen:

Quellcode-Paket haskell-copilot-language herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [copilot-language.github.io]

DSL for monitoring hard real-time distributed systems.; profiling libraries

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

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

Andere Pakete mit Bezug zu libghc-copilot-language-prof

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libghc-array-prof-0.5.4.0-a6623

virtuelles Paket, bereitgestellt durch ghc-prof
dep: libghc-base-prof-4.17.2.0-a042f

virtuelles Paket, bereitgestellt durch ghc-prof
dep: libghc-containers-prof-0.6.7-432b0

virtuelles Paket, bereitgestellt durch ghc-prof
dep: libghc-copilot-core-prof-3.18.1-61ba1

virtuelles Paket, bereitgestellt durch libghc-copilot-core-prof
dep: libghc-copilot-interpreter-prof-3.18.1-018d3

virtuelles Paket, bereitgestellt durch libghc-copilot-interpreter-prof
dep: libghc-copilot-language-dev (= 3.18.1-1)

DSL for monitoring hard real-time distributed systems.
dep: libghc-copilot-theorem-prof-3.18.1-ba0e9

virtuelles Paket, bereitgestellt durch libghc-copilot-theorem-prof
dep: libghc-data-reify-prof-0.6.3-da232

virtuelles Paket, bereitgestellt durch libghc-data-reify-prof
dep: libghc-mtl-prof-2.2.2-75383

virtuelles Paket, bereitgestellt durch ghc-prof

libghc-copilot-language-prof herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
i386	206,8 kB	1.690,0 kB	[Liste der Dateien]