python3-ament-pep257
Python 3 module for PEP-257 validation in ROS 2 ament packages
The ament build system is the most common way to build packages for ROS 2.
This package provides the Python 3 module that adds PEP-257 validation
with pydocstyle to ament.
znuny
flexible web-based ticketing system
Znuny is a fork of the OTRS community edition, one of the most flexible
web-based ticketing systems used for Customer Service, Help Desk, IT Service
Management.
python3-scienceplots
Matplotlib styles for scientific figures
Matplotlib styles to format your figures for scientific papers,
presentations and theses.
python3-petsc4py-64-real3.18
Python 3 bindings for 64-bit PETSc 3.18 libraries (real numbers)
PETSc is a suite of data structures and routines for the scalable (parallel)
solution of scientific applications modeled by partial differential equations.
It employs the MPI standard for all message-passing communication.
libmrpt-gui2.4
Mobile Robot Programming Toolkit - gui library
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).
elpa-acl2
Computational Logic for Applicative Common Lisp: emacs interface
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.