معرفی شرکت ها
haskell-clash-lib-utils_1.6.4-1+b2_armel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Functional hardware description language - library
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main armel |
| نام بسته | haskell-clash-lib-utils |
| نام فایل بسته | haskell-clash-lib-utils_1.6.4-1+b2_armel.deb |
| نسخه بسته | 1.6.4 |
| انتشار بسته | 1+b2 |
| معماری بسته | armel |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://clash-lang.org/ |
| مجوز | - |
| حجم دانلود | 10416392 |
| حجم نصب | 67977 |
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>
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| haskell-clash-lib-utils_1.6.4-1+b1_mips64el.deb | 1.6.4 | mips64el | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b1_mipsel.deb | 1.6.4 | mipsel | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b1_ppc64el.deb | 1.6.4 | ppc64el | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b2_arm64.deb | 1.6.4 | arm64 | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b2_armhf.deb | 1.6.4 | armhf | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b2_i386.deb | 1.6.4 | i386 | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b2_s390x.deb | 1.6.4 | s390x | Debian main |
| haskell-clash-lib-utils_1.6.4-1+b3_amd64.deb | 1.6.4 | amd64 | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| >= 4.8 | libatomic1 |
| >= 2.34 | libc6 |
| >= 3.4 | libffi8 |
| >= 2:6.2.1+dfsg1 | libgmp10 |
| >= 6 | libtinfo6 |
| - | libyaml-0-2 |
نحوه نصب
نصب پکیج deb haskell-clash-lib-utils:
sudo apt-get install haskell-clash-lib-utils_1.6.4-1+b2_armel.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/v16-upgrade-primitives |
| ./usr/share/clash-lib/prims/common/Clash_Annotations_BitRepresentation_Deriving.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Class_BitPack.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Explicit_Signal.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Explicit_Testbench.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_GHC_GHC2Core.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Intel_ClockGen.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Magic.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Normalize_Primitives.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Promoted_Nat.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Promoted_Nat_Unsafe.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Promoted_Symbol.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Signal_BiSignal.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Signal_Bundle.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Signal_Internal.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Signal_Trace.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Sized_Internal_BitVector.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Sized_Internal_Signed.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Sized_Internal_Unsigned.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Sized_RTree.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_Sized_Vector.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Clash_XException.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Control_Exception_Base.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Debug_Trace.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Base.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_CString.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Classes.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Err.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_IO_Exception.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Integer_Type.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Magic.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Natural.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Num_Integer.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Num_Natural.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Prim.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Real.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_TypeNats.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Typelits.primitives.yaml |
| ./usr/share/clash-lib/prims/common/GHC_Types.primitives.yaml |
| ./usr/share/clash-lib/prims/common/Unsafe_Coerce.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Class_Exp.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Explicit_SimIO.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Explicit_Testbench.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Intel_DDR.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Magic.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Promoted_Nat.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Signal_Internal.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Sized_Internal_BitVector.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Sized_Internal_Index.primitives.yaml |
| ./usr/share/clash-lib/prims/commonverilog/Clash_Sized_Internal_Signed.primitives.yaml |
| ... and 108 more |