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.