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.