libisl22

manipulating sets and relations of integer points bounded by linear constraints

isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction.

python3-paraview

Parallel Visualization Application. python-support

ParaView is an open-source, multi-platform application designed to visualize data sets of size varying from small to very large. The goals of the ParaView project include the following:

webext-compactheader

Thunderbird extension to reduce header size

libflatbuffers1

efficient cross platform serialization library - shared library

FlatBuffers is an efficient cross platform serialization library for C++, C#, C, Go, Java, JavaScript, TypeScript, PHP, and Python. It was originally created at Google for game development and other performance-critical applications.

flatbuffers-compiler

efficient cross platform serialization library - compiler

FlatBuffers is an efficient cross platform serialization library for C++, C#, C, Go, Java, JavaScript, TypeScript, PHP, and Python. It was originally created at Google for game development and other performance-critical applications.

python3-jpylyzer

JP2 (JPEG 2000 Part 1) validator and properties extractor

Validator and feature extractor for JP2 (JPEG 2000 Part 1 - ISO/IEC 15444-1) images. Jpylyzer was specifically created to check that a JP2 file really conforms to the format's specifications. Additionally jpylyzer is able to extract the technical characteristics of each image.