Skip to content

Latest commit

 

History

History

code

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Code

dune exec ./minishell/minishell.exe

Implémentation d'un shell en OCaml. Utilisation des fonctionalités du module Unix:

  • descripteurs de fichiers / entrée et sortie standard
  • fork et execvp
  • dup2
  • pipes

Algorithmes de Peterson et Lamport, en utilisant les threads ou OCaml multicore (parallélisme).

dune exec ./http.get/http_get.exe

Utilisation des socket Unix avec le protocole TCP en mode client.

L'exemple est un programme qui se connecte au site perdu.com et télécharge sa page principale.

  • Lancer le serveur: dune exec ./tcp.echo/echo.exe
  • Se conecter et écrire des messages: netcat localhost 1025

Utilisation des socket Unix avec le protocole TCP en mode serveur.

L'exemple est un programme qui accepte les connections sur le port 1025 et répond à l'identique tout message qu'on lui envoie.

dune exec ./cp.lwt/cp.exe README.md copie_README.md

Copie un fichier vers un autre en utilisant les méchanismes asynchrone offerts par la bibliothèque Lwt. Exemple d'utilisation de la bibliothèque Cmdliner pour l'ingestion des arguments passés en ligne de commande.

dune exec ./tp.qcheck/tp.exe

Cet example montre comment on peut automatiquement vérifier des propriétés sur une fonction arbitraire et trouver des contre-exemples minimaux.