node-duplexer
Creates a duplex stream
This modules takes a writable stream and a readable stream and makes them
appear as a readable writable stream. It is assumed that the two streams are
connected to each other in some way.
libmetkit-utils
Utilities for the MetKit MARS access library
MetKit is a toolkit from ECMWF for manipulating and describing
meteorological objects, implementing the MARS language and associated
processing and semantics.
silx
Toolbox for X-Ray data analysis - Executables
The silx project aims at providing a collection of Python packages to
support the development of data assessment, reduction and analysis
applications at synchrotron radiation facilities. It aims at
providing reading/writing different file formats, data reduction
routines and a set of Qt widgets to browse and visualize data.
r-cran-progressr
GNU R inclusive, unifying API for progress updates
A minimal, unifying API for scripts and packages to report progress
updates from anywhere including when using parallel processing. The
package is designed such that the developer can to focus on what
progress should be reported on without having to worry about how to
present it. The end user has full control of how, where, and when to
render these progress updates, e.g. in the terminal using
utils::txtProgressBar() or progress::progress_bar(), in a graphical user
interface using utils::winProgressBar(), tcltk::tkProgressBar() or
shiny::withProgress(), via the speakers using beep::beepr(), or on a
file system via the size of a file. Anyone can add additional,
customized, progression handlers. The 'progressr' package uses R's
condition framework for signaling progress updated. Because of this,
progress can be reported from almost anywhere in R, e.g. from classical
for and while loops, from map-reduce APIs like the lapply() family of
functions, 'purrr', 'plyr', and 'foreach'. It will also work with
parallel processing via the 'future' framework, e.g.
future.apply::future_lapply(), furrr::future_map(), and 'foreach' with
'doFuture'. The package is compatible with Shiny applications.
coqide
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
python3-ament-package
Utilities and templates for ROS 2 ament packages
The ament build system is the most common way to build packages for
ROS 2, the Robot Operating System. It is the successor of catkin.