Ce projet propose une introduction pratique au langage OCaml et à une partie de son écosystème. Il s'adresse aussi bien aux débutants qu'aux développeurs souhaitant approfondir leurs connaissances en programmation fonctionnelle. Le contenu couvre les bases du langage, la gestion de projets avec Dune, les tests unitaires et des concepts avancés comme les foncteurs. Des notebooks interactifs permettent une expérience d'apprentissage immersive.

Projet dédié à l'exploration et à l'expérimentation de concepts avancés en programmation parallèle et fonctionnelle. Il vise à tester des approches innovantes pour optimiser les performances des calculs intensifs tout en maintenant la rigueur des principes fonctionnels.

Outil conçu pour générer des tests unitaires automatiquement à partir de signatures de fonctions. Il produit des appels aléatoires à ces fonctions avec des entrées générées de manière aléatoire, en utilisant des échantillonneurs de Boltzmann pour respecter des contraintes de taille et de probabilité. Principalement utilisé pour l'évaluation de programmes fonctionnels ou l'intégration dans des systèmes de notation automatique.

Ce projet est une ressource pédagogique dédiée à l'apprentissage et à la pratique de la programmation fonctionnelle. Il propose un environnement simple pour compiler et exécuter des programmes écrits en OCaml, un langage de programmation fonctionnel. Idéal pour les étudiants ou les développeurs souhaitant se familiariser avec ce paradigme.

Projet pédagogique destiné aux étudiants en deuxième année d'informatique à l'IUT de Nantes. Il vise à enseigner les concepts de la programmation fonctionnelle à travers des exercices pratiques en Scala. Permet aux étudiants de manipuler des fonctions pures, des types algébriques et des structures de données immuables.

Ce projet fournit des ressources pédagogiques destinées aux étudiants en programmation fonctionnelle avec le langage OCaml. Il inclut des exercices pratiques, des exemples de code et des supports de cours pour faciliter l'apprentissage et la maîtrise de ce langage de programmation.

Ce projet est un dépôt de code source pour le cours UE LIFPF INF2030L Programmation Fonctionnelle du semestre 2024 Printemps. Il contient des diapositives, des sujets de TD, de TP et de CM, ainsi que des corrigés et des configurations pour les salles de TP. Les thèmes abordés dans ce cours sont le lambda-calcul, le langage de programmation OCaml, les structures de données récursives, les foncteurs, et l'ordre supérieur.

Projet dédié à la création et à la gestion de tests fonctionnels pour valider des fonctionnalités logicielles. Permet de simuler des interactions utilisateur et de vérifier le bon fonctionnement des applications avant leur mise en production.