libvolk3.2

vector optimized functions

Vector-Optimized Library of Kernels is designed to help applications work with the processor's SIMD instruction sets. These are very powerful vector operations that can give signal processing a huge boost in performance.

agda-bin

commandline interface to Agda

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

node-rw

provide file like interface to stdin and stdout

The rw provides an interface just like readFile, readFileSync, writeFile and writeFileSync, but with implementations that work the way you expect on stdin and stdout.

node-codemirror-lint

Linting support for the CodeMirror code editor

CodeMirror is a code editor component for the web. It can be used in websites to implement a text input field with support for many editing features, and has a rich programming interface to allow further extension.

python3-aioconsole

Asynchronous console and interfaces for asyncio

Provides asynchronous equivalents for common interaction functionalities like input, print, and exec. It includes an interactive loop for running an asynchronous Python console and a script allowing access to asyncio code during runtime. Users can customize command line interfaces through argparse, and the library offers stream support to serve interfaces instead of using standard streams. It interacts with the Python runtime environment to facilitate asynchronous programming workflows.

nfs-ganesha-gpfs

nfs-ganesha fsal gpfs libraries

NFS-GANESHA is a NFS Server running in user space with a large cache. It comes with various backend modules to support different file systems and namespaces. Supported name spaces are POSIX, PROXY, SNMP, FUSE-like, HPSS, LUSTRE, XFS and ZFS.