Tools

NIST parser

Un script bash permettant d'extraire et de formater une liste de données de la base NIST.

TIFTEX

Un script bash *non révolutionnaire* pour compiler du tex depuis un terminal.