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.