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.