Explore projects

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

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/

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Neural Network Adequate hardWare Architectures for Quantization

Here the repository to provided a board to connect a Linky to LoraWan

Embedded FPGA bitstream generation for Zynq-7000 boards

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

DLS code used at LIPhy

Tutorial: Albert's example