Gilles HUNAULT's Vitrine (programmes choisis)

On trouvera ici des programmes écrits pour des cours, de la recherche, avec des cgi-bin, des programmes Awk, Rex, Perl, Java... pour montrer comment on peut automatiser certains traitements et ce que permet (et ce que ne permet pas) le Web.

Sauf mention contraire, les applications présentées sont des oeuvres orginales écrites ou gérées par votre serviteur (avec le concours d'élèves, de stagiaires...). Les programmes ProofViewer et Lgrammar sont des applets écrites par d'autres développeurs.

Il est possible qu'au fil des réinstallations de certains serveurs tous les liens ne soient pas corrects. Veuillez nous en excuser.

Programmes en PHP3

SRL : Suites unilinéairement récurentes (positives et croissantes)

     ... on peut alors tracer de jolis arbres avec Lgrammar (applet Java).

Un autre applet Java pour tracer les arbres est Lsys

NBD : Nombre de diagonales dans un polygone convexe régulier

TRC : Traduction de commandes entre Dos et Unix

MVLs : Interpréteurs de logiques multivaluées

         Source Rex et Fichier d'aide

         Source Prolog et Fichier d'aide

         Références bibliographiques

PROOFVIEW : Un vérificateur de preuves logiques (applet Java)

ANAGRAM: Etude de grammaires, langages formels, systèmes L

Documents et multimedia