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.