python3-pytest-httpserver

HTTP server for pytest to test HTTP clients

This library is designed to help to test HTTP clients without contacting the real HTTP server. In other words, it is a fake HTTP server which is accessible via localhost can be started with the pre-defined expected HTTP requests and their responses.

mkdocs-autorefs

Plugin for MkDocs to automatically link across pages

MkDocs is a fast, simple and downright gorgeous static site generator that's geared towards building project documentation. Documentation source files are written in Markdown, and configured with a single YAML configuration file.

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.