The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

Kronosnet, often referred to as knet, is a network abstraction layer designed for High Availability use cases, where redundancy, security, fault tolerance and fast fail-over are the core requirements of your application.

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

The casa-formats-io package is a small package which implements functionality to read data stored in CASA formats (such as .image datasets). This implementation is independent of and does not use casacore. The motivation for this package is to provide efficient data access via dask arraye, cross-platform data access, and data access with all modern Python versions.

OpenVLBI is an open source library for astronomical interferometers. with OpenVLBI astronomers can join together more telescopes to observe celestial objects at great resolution. OpenVLBI can be used with radio antennas or optical sensors. A test and multi-contextual client/server applications are included into openvlbi-bin, and libopenvlbi contains the correlator library. An INDI client is included into openvlbi-bin which connects to one or more INDI servers that observe in realtime.