Balima Damien

Avec Frama-c, vérifiez et validez vos programmes C de manière sûre par la preuve de programme.

GLPK, the GNU Linear Programming Kit, le solveur open source qui simplifie la résolution de problèmes complexes et réconcilie les utilisateurs avec la programmation linéaire.

Lorsqu’il s’agit de l’utilisation d’un système UNIX, c’est un peu comme pour le cinéma : il faut connaître ses classiques. Grep, sed, vi, bash, etc., sont les incontournables et
intemporels du genre, un peu comme les Lautner/Audiard du cinéma français. Awk est l’un de ces classiques...