php-symfony-esendex-notifier

Symfony Esendex Notifier Bridge

The Symfony Esendex Notifier Bridge provides Esendex integration for Symfony Notifier.

lib64stdc++-13-dev-mips-cross

GNU Standard C++ Library v3 (development files) (mips)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

lib64stdc++-13-dev-mipsr6el-cross

GNU Standard C++ Library v3 (development files) (mipsr6el)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

python3-html-text

extract text from HTML.

How is html_text different from .xpath('//text()') from LXML or .get_text() from Beautiful Soup ?

libcoq-core-ocaml

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

libasmjit0

Complete x86/x64 JIT and AOT Assembler for C++

AsmJit is a complete JIT and AOT assembler for C++ language. It can generate native code for x86 and x64 architectures and supports the whole x86/x64 instruction set - from legacy MMX to the newest AVX512. It has a type-safe API that allows C++ compiler to do semantic checks at compile-time even before the assembled code is generated and/or executed.