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.