On trouvera sur ce site :


Interpréteur de lambda Calcul

Pour utiliser l'interpréteur de Lambda Calcul il est nécessaire de télécharger
Pour Linux le fichier : lambda.tgz
Pour Windows le fichier : wlambda.zip

Une fois décompressé ce fichier donne naissance à un répertoire LambdaEdi qui contient :
L'exécutable LambdaEdi.jar
Le fichier d'aide intégré à l'exécutable
Le fichier des alias prédéfinis qui constitue l'environnement initial de l'interpréteur.
Un fichier README décrivant l'installation ,très simple , de l'interpréteur.

NB : La version au format pdf du fichier d'aide peut être téléchargée à : LambdaHelp
Les sources java immédiatement exploitables dans l'IDE NetBeans peuvent être téléchargées à: sources netbeans

Programmation concurrente avec occam-pi

L'introduction à l'algorithmique du parallélisme, au format pdf, est téléchargeable à: Occam.pi
L'ensembles des exemples du manuel, sous forme d'un fichier compressé au format tar.gz,
peut être téléchargé à l'adresse : L'ensemble des exemples

Analyse des trames gps pour Arduino .

Les trames GPS de type GGA qui donnent (entre autre) l'heure UTC, la latitude et la longitude
sont étudiées en détail en vue de leur exploitation sur une platine Arduino.

Cette analyse est surtout un prétexte à l'apprentissage de la programmation en C
sur les platines Arduino : Analyse des trames gps

Les sources au format tar.gz, immédiatement exploitables dans l'IDE de l'Arduino, sont téléchargeables
ici : Les sources

Implémantation de l'AES 256 bits .

Une analyse détaillée de l'implémantation de l'AES dans sa version 256 bits en langage C
est fournie, de même que les codes sources et les tests de validation.
L'analyse est visible à : Analyse de l'AES 256
L'ensemble des logiciels (encryptage et tests) est téléchargeable à: Les sources