postgresql-15-pgfincore
set of PostgreSQL functions to manage blocks in memory
Those functions let you know which and how many disk block from a relation
are in the page cache of the operating system, and eventually write the
result to a file. Then using this file, it is possible to restore the page
cache state for each block of the relation.
libspatialite8
Geospatial extension for SQLite - libraries
The SpatiaLite extension enables SQLite to support spatial (geometry) data
in a way conformant to OpenGis specifications, with both WKT and WKB formats.
postgresql-15-pgextwlist
PostgreSQL Extension Whitelisting
This extension implements extension whitelisting, and will actively prevent
users from installing extensions not in the provided list. Also, this
extension implements a form of sudo facility in that the whitelisted
extensions will get installed as if superuser. Privileges are dropped before
handing the control back to the user.
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
libmrpt-hmtslam2.4
Mobile Robot Programming Toolkit - hmtslam 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).
libcoq-extructures
data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and
other data structures with extensional reasoning.