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

L'aes 256 bits

L'AES (Advanced Encryption Standart) est entièrement défini par la publication "FIPS PUB NIST 197"
On trouvera ici une étude très détaillée sur son implémentation en version 256 bits pour la clef
d'encryptage en langage C à l'url : Les sources
Les principaux tests de validation fournis par la FIPS sont implémentés.
Les fichiers sources de l'ensemble des logiciels : encryptage, decryptage, tests
sont disponibles dans le fichier compressé sources.tar.gz à l'url : Les sources



<