This is a staging site. Uploads will not persist. Testing only.
libghc-pandoc-lua-engine-prof
Lua engine to power custom pandoc conversions; profiling libraries
This package provides a pandoc scripting engine based on
Lua.
libghc-pandoc-server-prof
Pandoc document conversion as an HTTP servant-server; profiling libraries
Pandoc-server provides pandoc's document conversion functions
in an HTTP server.
libmrpt-opengl2.11
Mobile Robot Programming Toolkit - opengl 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).
python3-sphinx-reredirects
extension for Sphinx projects that handles redirects
sphinx-reredirects is the extension for Sphinx documentation projects
that handles redirects for moved pages. It generates HTML pages with
meta refresh redirects to the new page location to prevent 404 errors
if you rename or move your documents.
libcupti11.7
NVIDIA CUDA Profiler Tools Interface runtime library
The CUDA Profiler Tools Interface (CUPTI) enables the creation of
profiling and tracing tools that target CUDA applications. CUPTI
provides a set of APIs targeted at ISVs creating profilers and other
performance optimization tools. The CUPTI APIs are not intended to be
used by developers in their CUDA applications.
python3-antimeridian
Fix GeoJSON polygons that cross the antimeridian
The antimeridian Python package provides functions to fix shapes
that cross the antimeridian.