Explore projects

Uniform precision variant

Logos for the projects of the PEQUAN team

Automatic identification of instructions responsible for numerical instabilities in a source code

Automatic transformation of C source codes for usage with Cadna

Control of accuracy and debugging for Fortran applications

Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic

Control of accuracy and debugging for Python applications

Control of accuracy and debugging for CUDA applications

Control of accuracy and debugging for C/C++ and Fortran applications

A cross-platform Docker solution to mitigate WebRTC IP address leaks in Linux, macOS, and Windows. GPL-3.0-or-later.

GitLab repository mirror of the main repository: https://github.com/snowpackvipn/preventing-webrtc-ip-address-leaks. SoftwareHeritage: swh:1:dir:13dd58fbbff37434ad0432da7ca69c84ea4eb9a4.

ATEM is a novel framework for studying topic evolution in scientific archives. ATEM is based on dynamic topic modeling and dynamic graph embedding techniques that explore the dynamics of content and citations of documents within a scientific corpus. ATEM explores a new notion of contextual emergence for the discovery of emerging interdisciplinary research topics based on the dynamics of citation links in topic clusters. Our experiments show that ATEM can efficiently detect emerging cross-disciplinary topics within the DBLP archive of over five million computer science articles. paper: https://arxiv.org/abs/2306.02221

RankMerging version in C++ as coded by Dan Timsit in 2024.