Projets
Projets personnels, universitaires et associatifs en data engineering, ML et génie logiciel.
Étude expérimentale des algorithmes de kernelization avec speedup jusqu'à 5000x
PythonNetworkXMoteur de recherche pour 1 800 livres Gutenberg avec automates NFA/DFA
ScalaPlay Framework
Vue.jsMigration sécurisée d'un système legacy PHP avec +440 % de performance
PHPPDO
MySQLPHPMailerSolution analytics end-to-end avec Elasticsearch et dashboards Kibana
Elasticsearch
KibanaQuery DSLApplication full-stack type Tinder pour l'alternance, équipe de 6
Next.js
TypeScript
Spring BootJava
PostgreSQLÉvaluateur et typeur complet pour le lambda-calcul en Scala avec inférence de types
ScalaJeu de cartes collectibles décentralisé avec NFT ERC-721 sur Ethereum
Solidity
ReactEthereum
MetaMaskImplémentation Aho-Ullman vs KMP avec transformation regex vers automates
Système de supervision distribué pour détection d'alertes environnementales
BCM4JavaConception et implémentation d'un noyau de langage impératif en OCaml et Prolog
OCamlPrologRétro-ingénierie et benchmarking d'approches optimistes pour JSON Schema
Python
JavaScriptGénération de ROBDD et étude expérimentale des distributions de taille, comparaison avec Newton & Verna
Conception et implémentation complète du langage ILP avec compilateur Java→C
ANTLR 4
CSpécification et implémentation d'un logiciel de création de livres-jeux