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.

BuDDy est une bibliothèque C++ de deuxième génération dédiée aux Diagrammes de Décision Binaire (BDD). Développée initialement par Jorn Lind-Nielsen, elle permet de simplifier et d'optimiser des circuits logiques, d'analyser et de vérifier des systèmes numériques, ainsi que de réduire la complexité algorithmique.

Bitvector est une bibliothèque dédiée à la gestion efficace de vecteurs de bits dans l'environnement Rocq. Elle permet d'optimiser les opérations sur des structures de données binaires tout en s'appuyant sur des tableaux primitifs et des entiers natifs. Principalement utilisée pour des développements formels en logique et en mathématiques, elle facilite la vérification de preuves et l'implémentation d'algorithmes fiables.

Ce projet développe un solveur pour le jeu du Wumpus, un problème classique de logique et d'exploration. Il utilise des algorithmes avancés comme le solveur SAT pour déterminer les actions optimales dans un monde virtuel. L'objectif est de naviguer efficacement dans un environnement inconnu en évitant les pièges et en maximisant les gains.

Projet dédié à la vérification de palindromes, utile pour les développeurs et les tests unitaires. Permet de confirmer si une chaîne de caractères se lit de la même manière dans les deux sens, facilitant ainsi la validation de données ou de logiques algorithmiques.

Projet dédié à la vérification de palindromes, utile pour les développeurs ou les passionnés de logique algorithmique. Permet de tester rapidement si une chaîne de caractères est un palindrome, facilitant ainsi les exercices de programmation ou les vérifications de données.

Projet pédagogique visant à implémenter l'algorithme FizzBuzz, souvent utilisé comme exercice de base pour évaluer les compétences en programmation. Ce dépôt sert de support pour des travaux pratiques, des formations ou des évaluations dans un cadre académique. Il permet aux étudiants ou développeurs de comprendre les concepts fondamentaux de la logique conditionnelle et des boucles.