Pakket: haskell-clash-lib-utils (1.8.1-1 en anderen)
Verwijzigingen voor haskell-clash-lib-utils
Debian bronnen:
Het bronpakket haskell-clash-lib downloaden:
- [haskell-clash-lib_1.8.1-1.dsc]
- [haskell-clash-lib_1.8.1.orig.tar.gz]
- [haskell-clash-lib_1.8.1-1.debian.tar.xz]
Beheerders:
Externe bronnen:
- Homepage [clash-lang.org]
Vergelijkbare pakketten:
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 bothsafe and fast prototyping using concise descriptions.
* Interactive REPL: load your designs in an interpreter and easily test allyour component without needing to setup a test bench.
* Higher-order functions, with type inference, result in designs that arefully 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 beconverted 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>
Andere aan haskell-clash-lib-utils gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface library runtime
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
-
- dep: libtinfo6 (>= 6)
- shared low-level terminfo library for terminal handling
-
- dep: libyaml-0-2
- Fast YAML 1.1 parser and emitter library