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: