Kevin Kofler (./172) :
L'équilibreur d'équations-bilan de Kalzium est écrit en OCaml (ils utilisent FaCiLe).

Ah oué, ça c'est du logiciel répandu