HOL Light est un environnement interactif de démonstration et vérification de théorèmes mathématiques. Écrit en Objective CAML, il utilise le toplevel d'OCaml comme interface. Il est principalement utilisé pour la vérification formelle de preuves dans les domaines de la logique, de l'informatique théorique et des mathématiques.

Ce projet est un notebook interactif dédié à l'enseignement de l'interpolation mathématique. Il propose des exercices pratiques et des démonstrations pour aider les étudiants à comprendre les concepts d'interpolation linéaire et polynomiale. Le contenu est structuré sous forme de cellules exécutables, permettant une approche pédagogique progressive et interactive.

Ce projet est une démonstration en ligne d'un outil de visualisation de données graphiques et statistiques. Il permet de générer des graphiques interactifs pour illustrer des concepts mathématiques ou des jeux de données. L'application est conçue pour tester et présenter les fonctionnalités de la bibliothèque ImPlot, intégrée à un environnement graphique léger. Elle s'adresse aux développeurs, chercheurs ou étudiants souhaitant explorer des visualisations de données sans installation locale.

Application web éducative conçue pour aider les élèves à maîtriser les concepts de logique et de démonstration en géométrie, en particulier autour des parallélogrammes. Elle propose des exercices interactifs pour renforcer les compétences en raisonnement mathématique et en construction de preuves.

Projet dédié à la manipulation de calculs mathématiques et à la génération de formes graphiques. Il permet de tester des algorithmes comme la factorielle ou la suite de Fibonacci, de dessiner des points, lignes, cercles et rectangles, et de gérer des interactions basiques avec l'utilisateur via clavier et souris. Idéal pour l'apprentissage ou la démonstration de concepts algorithmiques.