On trouvera sur ce site :

• Un interpréteur de Lambda Calcul, écrit en Java, doté d'un environnement intégré simple.
• Une introduction a l'algorithmique du parallélisme avec Occam-pi
• Programmation Arduino . Décodage des trames du gps .
• Programmation concurrente pour Arduino avec LOccam
• Une implémantation de l'AES sur 256 bits

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

Programmation concurrente pour Arduino avec LOccam

LOccam (Occam Light) basé sur le noyau temps réel FreeRTOS est une version simplifiée du langage OCCAM
destinée aux micro controleurs ATMega2560 et Due de la famille Arduino .

LOccam2 est la dernière version de LOccam.
Cette version a une syntaxe plus simple et plus proche d'Occam .
D'importantes modifications ont été apportées notamment en ce qui concerne les
processus alternatifs.
Le manuel LOccam2 au format pdf est disponible à : LOccam .
Ce dernier donne toutes les explications pour installer LOccam .
Le langage y est expliqué avec beaucoup de détails et de nombreux exemples , tous testés, illustrent le texte.
Ces exemples peuvent être téléchargés à : Les examples

Les fichiers au format tar.gz destinés à être incorporés à la librairie de l'Arduino se trouvent à :

LOccam2 pour les sources de LOccam2

FreeRTOS pour ARM pour la version ARM de FreeRTOS

FreeRTOS pour AVR pour la version AVR de FreeRTOS

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 : AES256
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