Explore projects

Memory manipulation.

TODO: later.

Basic library which links only to QtCore (without references to gui features): expression, messages, cache, xml, tar, memory, crash,...

Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.

Mes supports de cours

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Repository containing code pointed out in the RTSS 2020 submitted paper