This is a staging site. Uploads will not persist. Testing only.
libclang1-16t64
C interface to the Clang library
Clang project is a C, C++, Objective C and Objective C++ front-end
based on the LLVM compiler. Its goal is to offer a replacement to the
GNU Compiler Collection (GCC).
python3-fpdf
Simple & fast PDF generation for Python
a library for PDF document generation under Python, ported from PHP.
indi-inovaplx
INDI driver for iNova PLX Cameras
This package contains an INDI driver for iNova PLX Cameras.
libcvc5parser1
automated theorem prover for SMT problems (parser runtime)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
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.
python3-ypy
Python binding for Y-CRDT
This binding provides distributed data types that enable real-time
collaboration between devices. Ypy can sync data with any other
platform that has a Y-CRDT binding, allowing for seamless
cross-domain communication. The library is a thin wrapper around Yrs,
taking advantage of the safety and performance of Rust.Python utility
functions used in yakirr repos