libghc-clash-prelude-prof
Functional hardware description language - Prelude library; profiling libraries
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.
libqt6core6
Qt 6 core module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
task-science-blend
Debian Science (various sciences)
This package is used to install the Debian science blend.
libhierarchy-builder-coq
build hierarchies of algebraic structures in Coq (runtime files)
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
node-decko
useful Javascript decorators
Decorators help simplify code by replacing the noise of common patterns with
declarative annotations.
qml6-module-qt5compat-graphicaleffects
Qt 6 Qt5Compat QML module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.