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.
libuhd4.7.0-dpdk-tests
universal hardware driver for Ettus Research products - DPDK tests
Network tests for the Universal Hardware Driver for Ettus Research products.
libmumps-64pord-scotch-5.6
Direct linear systems solver (64 bit) - Scotch-version shared libraries
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
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.
libplumb2t64
Reusable cluster libraries -- libplumb2t64
This package contains the plumber library from cluster-glue, the
reusable cluster components package.
node-decko
useful Javascript decorators
Decorators help simplify code by replacing the noise of common patterns with
declarative annotations.