81 LOGICIELS
![logo-logiciel-termsuite-62543ea60bb5f.png](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-logiciel-termsuite-62543ea60bb5f.png)
TermSuite
"TermSuite est outil libre sous licence Apache 2 dédié à l’extraction terminologique monolingue et à..."
Voir la fiche
![logo-coq-postlab-62e3a23b6846c.png](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-coq-postlab-62e3a23b6846c.png)
The Coq Proof Assistant
"Logiciel de vérification de théorèmes et bien plus encore. Il fournit un langage formel pour écrire..."
Voir la fiche
![logo-logiciel-sketch-engine-62543f0d25e6e.png](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-logiciel-sketch-engine-62543f0d25e6e.png)
The Sketch Engine
"Ce système de gestion de corpus payant est accessible en ligne (il existe aussi une version téléchargeable)...."
Voir la fiche
![logo-logiciel-touist-6254043538839.png](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-logiciel-touist-6254043538839.png)
TouIST
"Un langage convivial pour la logique propositionnelle et plus. ToulST permet d'encoder tout problème..."
Voir la fiche
![Logo Logiciel par défaut](https://www.postlab.fr/media/cache/squared_thumbnail_medium/build/images/logo-logiciel-par-defaut.f4ff2cba.jpg)
TRAP (Traitement des signaux de Parole)
"Signal processing of speech (Traitement des signaux de Parole). Read and process acoustic data, EMA,..."
Voir la fiche
![logo-txm-postlab-62e3a5a749cb0.png](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-txm-postlab-62e3a5a749cb0.png)
TXM
"La plateforme TXM combine des techniques puissantes et originales pour l’analyse de grands corpus de..."
Voir la fiche
![Logo Logiciel par défaut](https://www.postlab.fr/media/cache/squared_thumbnail_medium/build/images/logo-logiciel-par-defaut.f4ff2cba.jpg)
UAM Corpus Tool
"The UAM CorpusTool is a state-of-the-art environment for annotation of text corpora. So, whether you..."
Voir la fiche
![Logo Logiciel par défaut](https://www.postlab.fr/media/cache/squared_thumbnail_medium/build/images/logo-logiciel-par-defaut.f4ff2cba.jpg)
![logo-logiciel-wapiti-6254052a8719c.jpg](https://www.postlab.fr/media/cache/squared_thumbnail_medium/uploads/software_logo/logo-logiciel-wapiti-6254052a8719c.jpg)
Wapiti
"Wapiti est un outil qui utilise des modèles discriminants pour segmenter et étiqueter très rapidement..."
Voir la fiche