Explorer les projets

Utilisation de git

toolbox for camera calibration with high distortion lens

RefacCert is a project to build a "proven correct" refactoring tool for C source code.