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.