Charles Ferault's repositories
Verification-Formelle
Implémentation d'un model-checker à partir de graphes de contrôle
Language:HTML000
Crosswords
Simple implementation of a crosswords puzzle solver in python
Language:PythonApache-2.0000
Optimization
Optimization course results
Language:Python000
Reinforcement-learning-with-tensorflow
Simple Reinforcement learning tutorials
Language:PythonMIT000
Search-Engine
A search engine in Python on the collections CACM and CS276 (Stanford)
Language:Jupyter Notebook000
Trip-Comparison
Very simple comparison tool between means of transportation
Language:JavaScript000
Vampires-Werewolves
Serveur python pour tester 2 IA
Language:Python000