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.