python3-aiofile

Real asynchronous file operations with asyncio support

This module provides real async support for asynchronous file operations using Linux AIO API and Python asyncio module.

libjs-php-date-formatter

Manipulate date/times using PHP date-time formats in javascript

php-date-formatter is a Javascript datetime library that allows you to manipulate date/times using PHP date-time formats in javascript. This library was built with an intention to read and write date/timestamps to the database easily when working with PHP server code. Use cases for this library would involve reading and saving a timestamp to database in one format, but displaying it on client or html forms in another format. Maintaining a consistent PHP Date time format for both server side and client side validation should help in building extensible applications with various PHP frameworks easily.

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.

vim-autopairs

Insert or delete brackets, parens, and quotes in pair

vim-autopairs is a vim plugin that automatically completes brackets, parens and quotes in pair.

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

libmrpt-math2.14

Mobile Robot Programming Toolkit - math 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).