ddavid42

Université de PerpignanPerpignan

Pinned Repositories

chps
Ressources communes entre les Masters Calcul Haute Performance et Simulation Français
Language:Ruby0 1 01
chromatic
Language:C++00
mcsema
x86 to machine code translation framework
Language:C++0 1 00
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
Language:C0 0 00
verificarlo_tutorial
Tutorial for Verificarlo
Language:TeX01
interflop
Interflop ressources
Language:C4 5 24
interflop.github.io
Interflop webpage
Language:HTML0 5 00
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
Language:C67 8 9125
verificarlo_tutorial
Tutorial for Verificarlo
Language:TeX2 8 03

ddavid42's Repositories

ddavid42/chps
Ressources communes entre les Masters Calcul Haute Performance et Simulation Français
Language:Ruby0 1 01
ddavid42/chromatic
Language:C++00
ddavid42/mcsema
x86 to machine code translation framework
Language:C++0 1 00
ddavid42/verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
Language:C0 0 00
ddavid42/verificarlo_tutorial
Tutorial for Verificarlo
Language:TeX01