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