Holovibes is an open-source software platform for real-time computation and visualization of holograms, supporting diverse high-speed imaging applications through efficient data handling and GPU acceleration

A framework for implementation and evaluation of parallel SAT solvers

Implemented in Python 3 for the analysis of large quantitative databases, this software introduces a novel high‑utility pattern‑sampling algorithm, along with an on‑disk variant, both grounded in two original theorems. The approach ensures the interactivity crucial for user‑centric methods while providing strong statistical guarantees through randomized sampling. Users can instantly discover relevant and representative patterns, enabling fast and efficient exploration of the database. A use case in discovering sub‑profiles within Cultural heritage knowledge graphs demonstrates the superiority of this method over state‑of‑the‑art approaches.

This package aims at giving low-level general tools to the extraction of spectrum of an unresolved object with slit spectroscopy.

A library to exploit symmetries of SAT problems

The Mermaid Underwater Dataset is a publicly available high-resolution underwater image dataset designed to support research in underwater 3D scene reconstruction and visual navigation.

The MorphoNet project explores the integration of trainable morphological operations into neural networks for automatic learning of morphological operation sequences.

Implemented in Python 3, TPSampling samples set‑based patterns from a transactional database that has been compressed into a trie. It draws patterns according to a utility measure based on the norm, directly from an occurrence trie built by an internal algorithm called TPSpace (Trie‑based Pattern Space). As output, TPSpace returns a weighted occurrence trie. TPSampling then takes as input this occurrence trie, the index of a specific occurrence, and its size, and returns the corresponding pattern.

Implemented in Python 3 for processing complex data streams, this tool applies a weighted reservoir‐sampling approach to directly sample patterns from batches derived from those streams. Dubbed "A Generic Reservoir Patterns Sampler", the algorithm compensates for temporal biases and adapts to a variety of pattern types (sequential, weighted, and unweighted). Experiments on real‑world datasets have shown its ability to build incremental online classifiers for sequential data, achieving performance on par with offline models.

Implemented in Java using the Jena library, TTProfiler enables the automatic construction of knowledge‐graph profiles. The resulting graph is built from an online knowledge base and has been tested on several knowledge graphs related to cultural heritage.

Graph Processing for Machine Learning (GPML) is an open source tool for analyzing and transforming network traffic data through graph representations.

A free, multi-platform 4.4 BSD-based UNIX-like operating system.

Pylene is an open-source image processing library that aims at proving a generic framework to develop image processing algorithms with simplicity, efficiency and interoperability in mind.

A platform for LTL and ω-automata manipulation.

A constraint programming library for automatically computing differential distinguishers on symmetric encryption algorithms.