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.
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).