Some Ada 2005 services and packages packed in a library.

All files in library are under the GNAT Modified General Public License (GMGPL).

The TASTE toolchain stands for "The ASSERT Set of Tools for Engineering" and aims at providing free-based tools for the development of safety-critical systems. It is composed of model analyzers, parsers and other materials needed for the design, validation and implementation of safety-critical and embedded software. Tools are released under free licences (such as GPL or BSD).

Le site propose des ressources tout ce qui a de plus libres en mathématiques et informatique : - des cours, exercices et autres documents au format pdf avec leurs sources LaTeX pour le lycée, iut, classes prépas - des tutoriels, des scripts, des tp sur les logiciels libres XCAS, LaTeX et associés, emacs, une extension LaTeX que j'ai crée (tablor) présente sur ctan... - un forum pour répondre aux questions des utilisateurs en informatique et en mathématiques - un cahier de texte consultable en ligne pour mes élèves Tous ces documents sont sous la license libre LDL