81 LOGICIELS

ℂDuce
"ℂDuce est un langage fonctionnel moderne orienté XML avec des caractéristiques innovantes. Un compilateur..."
Voir la fiche

CFML
"CFML permet de vérifier la correction fonctionnelle complète des programmes OCaml. Les preuves sont..."
Voir la fiche



ConcQuest
"ConcQuest est un concordancier dédié à la recherche d'expressions complexes à travers des corpus..."
Voir la fiche




COSTO
"COSTO toolbox est une plate-forme Eclipse qui comprend : un module de base avec..."
Voir la fiche