libcoq-unimath

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

qml6-module-qtcore

Qt 6 QML Core QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

cpp-12-x86-64-linux-gnu

GNU C preprocessor

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

libmlir-16t64

Multi-Level Intermediate Representation library

Novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together.

gm2-11-x86-64-linux-gnu

GNU Modula-2 compiler (cross compiler for amd64 architecture)

This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

libgnuradio-iio3.10.1

IIO blocks for GnuRadio

Libiio is a library that has been conceived to ease the development of applications interfacing Industrial Input/Output (IIO) devices through the IIO subsystem of the Linux kernel.