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

python3-svgelements

high fidelity SVG parsing and geometric rendering Python library

The goal is to successfully and correctly process SVG for use with any scripts that may need or want to use SVG files as geometric data.

r-cran-fontawesome

GNU R support of 'Font Awesome' Icons

Easily and flexibly insert 'Font Awesome' icons into 'R Markdown' documents and 'Shiny' apps. These icons can be inserted into HTML content through inline 'SVG' tags or 'i' tags. There is also a utility function for exporting 'Font Awesome' icons as 'PNG' images for those situations where raster graphics are needed.

libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libosmogb14

Osmo GPRS GB library

This is part of the libosmocore "meta"-library. The libosmocore library contains various utility functions that were originally developed as part of the OpenBSC project, but which are of a more generic nature and thus useful to (at least) other programs that are developed in the sphere of Free Software / Open Source mobile communication.