Baptiste's repositories
pet-rescue-java
A clone of Petrescue Saga written entirely in Java.Adventure and points system, customizable levels, rocker and hammers, and a small BOT that helps you solve problems.
baptiste-fourmont
Actually, a little insight into my interests.
simple-bot-amazon
Simple bot Amazon, track what you want and bought it
synthese-invariant
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
flashcard-game
An alternative to Quizlet, it's a project in L1, it's a simple card game with answer/ response.Fully Written in PHP.
MaxInt-Protocol
An implementation of MaxInt protocol which works with TCP parallelism
Pushdown-Automaton-Lexer-Parser
Pushdown-Automaton-Lexer-Parser
master_cours
Cours pour le Master informatique spécialité Systèmes et Applications Réparties
nvdlib
A simple wrapper for the National Vulnerability CVE/CPE API
sheldon-game
Solution of Sheldon Game from https://app.datascientist.fr
tp_project_m1
Développer une application qui utilise une base de données PostgreSQL pour gérer les transactions d'un système de gestion de stock, avec un accent sur l'intégrité, la concurrence et l'audit des données