This is a staging site. Uploads will not persist. Testing only.

libh3-1

Hexagonal hierarchical geospatial indexing system - library

H3 is a geospatial indexing system using a hexagonal grid that can be (approximately) subdivided into finer and finer hexagonal grids, combining the benefits of a hexagonal grid with S2's hierarchical subdivisions.

node-mj-context-menu

reimplementation of MathJax context menu in TypeScript

MathJax is an open-source JavaScript display engine for LaTeX, MathML, and AsciiMath notation that works in all modern browsers. It was designed with the goal of consolidating the recent advances in web technologies into a single, definitive, math-on-the-web platform supporting the major browsers and operating systems. It requires no setup on the part of the user (no plugins to download or software to install), so the page author can write web documents that include mathematics and be confident that users will be able to view it naturally and easily. Simply include MathJax and some mathematics in a web page, and MathJax does the rest.

librte-bus-auxiliary22

Data Plane Development Kit (librte-bus-auxiliary runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

gobjc-11-multilib-mipsisa64r6el-linux-gnuabi64

GNU Objective-C compiler (multilib support) (cross compiler for mips64r6el archi

This is the GNU Objective-C compiler, which compiles Objective-C on platforms supported by the gcc compiler.

dh-ros

Debian helper for ROS packages

This package provides support for catkin and ament to build ROS and ROS 2 packages in Debian. It is particularly useful for upstream sources with multiple inter-dependent ROS packages, as it will figure out the correct build order automatically.

libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.