Paquet : haskell-clash-lib-utils (1.8.1-2 et autres)

Liens pour haskell-clash-lib-utils

Ressources Debian :

Télécharger le paquet source haskell-clash-lib :

Responsables :

Ressources externes :

Page d'accueil [clash-lang.org]

Paquets similaires :

Functional hardware description language - library

Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.

Features of Clash:

 * Strongly typed, but with a very high degree of type inference, enabling both

safe and fast prototyping using concise descriptions.

 * Interactive REPL: load your designs in an interpreter and easily test all

your component without needing to setup a test bench.

 * Higher-order functions, with type inference, result in designs that are

fully parametric by default.

 * Synchronous sequential circuit design based on streams of values, called

@Signal@s, lead to natural descriptions of feedback loops.

 * Support for multiple clock domains, with type safe clock domain crossing.

This package provides:

 * The CoreHW internal language: SystemF + Letrec + Case-decomposition

 * The normalisation process that brings CoreHW in a normal form that can be

converted to a netlist

 * Blackbox/Primitive Handling

Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:

 * <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>

 * <https://github.com/christiaanb/Idris-dev Idris Frontend>

Prelude library: <https://hackage.haskell.org/package/clash-prelude>

Autres paquets associés à haskell-clash-lib-utils

dépendances

recommandations

suggestions

enhances

dep: libatomic1 (>= 4.8) [armel, m68k]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.34) [m68k]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.38) [non alpha, ia64, loong64, m68k]

dep: libc6 (>= 2.40) [loong64]
dep: libc6.1 (>= 2.36) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libffi8 (>= 3.4)

Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)
dep: libgmp10 (>= 2:6.2.1+dfsg1) [ia64, m68k]

Bibliothèque arithmétique à multi-précision

dep: libgmp10 (>= 2:6.3.0+dfsg) [non ia64, m68k]
dep: libnuma1 (>= 2.0.11) [non ia64, m68k]

bibliothèques pour contrôler les politiques NUMA
dep: libtinfo6 (>= 6) [ia64, m68k]

bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
dep: libyaml-0-2

bibliothèque rapide d'analyseur et émetteur YAML⋅1.1

Télécharger haskell-clash-lib-utils

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.8.1-2	13 366,1 ko	139 934,0 ko	[liste des fichiers]
amd64	1.8.1-2+b4	7 123,3 ko	52 716,0 ko	[liste des fichiers]
arm64	1.8.1-2+b4	7 100,3 ko	58 447,0 ko	[liste des fichiers]
armel	1.8.1-2+b5	10 095,5 ko	66 560,0 ko	[liste des fichiers]
armhf	1.8.1-2+b5	10 010,4 ko	64 607,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.8.1-2+b2	12 133,0 ko	149 113,0 ko	[liste des fichiers]
i386	1.8.1-2+b6	10 486,6 ko	84 761,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.6.4-1	14 615,8 ko	439 323,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.8.1-2+b4	9 929,9 ko	83 026,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.6.4-1	6 977,2 ko	82 753,0 ko	[liste des fichiers]
mips64el	1.8.1-2+b5	11 100,1 ko	110 262,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.8.1-2+b4	6 890,6 ko	96 105,0 ko	[liste des fichiers]
ppc64el	1.8.1-2+b4	6 778,3 ko	80 100,0 ko	[liste des fichiers]
riscv64	1.8.1-2+b4	9 305,1 ko	63 962,0 ko	[liste des fichiers]
s390x	1.8.1-2+b4	14 258,1 ko	111 892,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.8.1-2+b3	9 666,6 ko	161 994,0 ko	[liste des fichiers]