OCaml est un langage de programmation fonctionnelle qui offre des fonctionnalités avancées telles que la vérification de type statique, la gestion automatique de la mémoire et la possibilité de développer des applications et des logiciels performants et fiables.

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.

Ce projet académique propose un enseignement complet en programmation fonctionnelle et en preuves formelles utilisant l'assistant de preuve Coq/Rocq. Destiné aux étudiants de Master 2 LMFI de l'Université de Paris, il couvre des sujets avancés comme la compression de données, la compilation certifiée et la formalisation de théorèmes mathématiques. Les étudiants réalisent des projets pratiques pour appliquer ces concepts théoriques.

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.

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é à l'apprentissage de la programmation avancée. Il propose des exercices pratiques pour renforcer les compétences en développement logiciel, en suivant des méthodologies modernes et des standards de qualité. Les participants peuvent tester leurs solutions dans un environnement contrôlé.

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 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 est un starter-kit conçu pour les travaux pratiques de programmation avancée. Il permet aux étudiants de se concentrer sur les concepts clés du cours sans perdre de temps sur des configurations techniques complexes comme la compilation ou la gestion de projet. Il offre une base solide pour démarrer rapidement des exercices pratiques.