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.

Wild_Life est un système de programmation qui intègre la logique et la programmation fonctionnelle, les types avec héritage et la programmation par contraintes. Il a été conçu pour être un outil robuste pour le prototypage d'applications nécessitant la représentation et la manipulation de structures de données complexes. Il est livré avec plusieurs outils puissants pour aider au prototypage, tels qu'un préprocesseur, des analyseurs, un kit d'interface graphique et un mode Emacs LIFE.

Ce projet est une formation dédiée à l'apprentissage du langage de programmation OCaml, idéal pour découvrir les concepts de la programmation fonctionnelle et développer des compétences en algorithmique et en logique.

Plateforme de développement dédiée à la langue de programmation OCaml, offrant un environnement de développement intégré et facilitant la compilation de code. Elle vise à promouvoir l'utilisation de cette langue fonctionnelle reconnue pour sa fiabilité et sa performance.

GeoCoqInE-Euclid est un projet de démonstration de théorèmes géométriques automatisée, utilisant le langage de programmation fonctionnelle Coq et la bibliothèque Euclid. Il permet le développement et la vérification de preuves formelles, ainsi que le travail collaboratif sur des théories mathématiques.

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.

Faust est un langage de programmation fonctionnel conçu spécifiquement pour le traitement et la synthèse de signaux audio en temps réel. Il se distingue par sa compilation complète en code très efficace pour divers langages (C++, C, Java, LLVM IR, WebAssembly, etc.) travaillant au niveau d'échantillon. Le compilateur Faust traduit les spécifications DSP en code très efficace pour diverses applications, bibliothèques et plugins audio pour une variété de plates-formes audio et normes. Il permet de générer facilement divers types de applications autonomes natives, applications iOS et Android, ainsi que des plugins Csound, LADSPA, Max/MSP, PD, Q, SuperCollider, VST, AU, etc.

Ce projet est la documentation du langage de programmation Faust, qui est un langage fonctionnel dédié à la synthèse et au traitement audio. Il offre des exemples d'utilisation et extrait la documentation des balises à partir du code source de la bibliothèque Faust.

FaustWasm est une bibliothèque permettant de compiler et d'exécuter du code Faust (un langage de programmation audio fonctionnel) en WebAssembly. Elle offre une interface TypeScript pour simplifier l'utilisation de Faust dans des applications Web et Node.js, ainsi que des outils pour générer des SVG à partir de descriptions Faust.

OCaml est un langage de programmation généraliste et fonctionnel, offrant une typage statique et une gestion automatique de la mémoire. Il est utilisé pour le développement d'applications, la recherche et l'enseignement universitaire, ainsi que pour la construction de systèmes critiques et de prototypes rapides.