libghc-copilot-prof

Stream DSL for writing embedded C programs.; profiling libraries

Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements.

r-cran-rbibutils

GNU R convert between bibliography formats

Converts between a number of bibliography formats, including 'BibTeX', 'BibLaTeX' and 'Bibentry'. Includes a port of the 'bibutils' utilities by Chris Putnam <https://sourceforge.net/projects/bibutils/>. Supports all bibliography formats and character encodings implemented in 'bibutils'.

colcon

collective construction meta build tool for Robot OS - main script

This package is part of ROS 2, the Robot Operating System. colcon is a meta build tool to improve the workflow of building, testing and using multiple software packages. It is the recommended tool for ROS 2 to set up workspaces and build packages from source, but can also handle old ROS 1 workspaces.

uwsgi-plugin-gccgo

GNU Go plugin for uWSGI

uWSGI presents a complete stack for networked/clustered web applications, implementing message/object passing, caching, RPC and process management. It is designed to be fully modular. This means that different plugins can be used in order to add compatibility with tons of different technology on top of the same core.

libgfortran-13-dev-mipsr6-cross

Runtime library for GNU Fortran applications (development files)

This package contains the headers and static library files needed to build GNU Fortran applications.

php-symfony-polyfill-php84

Symfony polyfill backporting some PHP 8.4+ features to lower PHP versions

This component provides features added to PHP 8.4 core: