Pinned Repositories
baptiste-fourmont
Actually, a little insight into my interests.
daemon
CRON clone fully written in C. Works with FIFO, multiprocesses handling, create tasks, delete tasks, run-times exit-codes.
discoodle
Discoodle is a web application with the main features of Discord and Moodle. It can be used by students to chat, voice chat, check announcements, and discuss with their teachers. It has a similar interface to discord, with channels, servers, WebRTC voice and video chat.
dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
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.
Fractlaly
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.
polish
An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.
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
baptiste-fourmont's Repositories
baptiste-fourmont/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/baptiste-fourmont
Actually, a little insight into my interests.
baptiste-fourmont/daemon
CRON clone fully written in C. Works with FIFO, multiprocesses handling, create tasks, delete tasks, run-times exit-codes.
baptiste-fourmont/dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
baptiste-fourmont/simple-bot-amazon
Simple bot Amazon, track what you want and bought it
baptiste-fourmont/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
baptiste-fourmont/discoodle
Discoodle is a web application with the main features of Discord and Moodle. It can be used by students to chat, voice chat, check announcements, and discuss with their teachers. It has a similar interface to discord, with channels, servers, WebRTC voice and video chat.
baptiste-fourmont/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.
baptiste-fourmont/MaxInt-Protocol
An implementation of MaxInt protocol which works with TCP parallelism
baptiste-fourmont/polish
An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.
baptiste-fourmont/Pushdown-Automaton-Lexer-Parser
Pushdown-Automaton-Lexer-Parser
baptiste-fourmont/visulog
A visual git repository analyzer. Will analyze any repo given and display beautiful graphs using CanvaJS. (Number of commits, percentage of commits per person, number of branches, number of commits per branch, who worked the most on the project etc)
baptiste-fourmont/Fractlaly
baptiste-fourmont/AttackLab
baptiste-fourmont/Commerce-Maritime
baptiste-fourmont/Cours
baptiste-fourmont/Ghost-Lab
baptiste-fourmont/GhostLab
baptiste-fourmont/master_cours
Cours pour le Master informatique spécialité Systèmes et Applications Réparties
baptiste-fourmont/mini-projet-maths-2021
baptiste-fourmont/nvdlib
A simple wrapper for the National Vulnerability CVE/CPE API
baptiste-fourmont/sheldon-game
Solution of Sheldon Game from https://app.datascientist.fr
baptiste-fourmont/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
baptiste-fourmont/TP_RustNetGFX