Re: Communauté scientifique et communauté du logiciel libre

Retourner au contenu associé (dépêche : Développement et diffusion de logiciel open source : un point fort de la culture INRIA)

[^] # Re: Communauté scientifique et communauté du logiciel libre

Posté par Kriek le 18 février 2003 à 17:00. En réponse à la dépêche Développement et diffusion de logiciel open source : un point fort de la culture INRIA. Évalué à 2.

On peut citer aussi :
- advi : pour des présentations un peu plus zolies
- hevea : latex -> html
- coq : assistant de preuves

(NB: ce sont tous des softs écrits par des gens de l'INRIA :-)

Et puis ceux qui sont là aussi
http://www.npc.de/ocaml/linkdb/(...)