Baptiste (baptiste-fourmont)

baptiste-fourmont

Geek Repo

Location:France

Github PK Tool:Github PK Tool

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.

Language:JavaStargazers:3Issues:2Issues:0

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.

Language:CStargazers:2Issues:1Issues:0

dpll

An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.

Language:OCamlStargazers:2Issues:1Issues:0

simple-bot-amazon

Simple bot Amazon, track what you want and bought it

Language:PythonStargazers:2Issues:1Issues:0

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

Language:OCamlStargazers:2Issues:1Issues:0

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.

Language:HTMLStargazers:1Issues:0Issues:0

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.

Language:PHPStargazers:1Issues:1Issues:0

MaxInt-Protocol

An implementation of MaxInt protocol which works with TCP parallelism

Language:CStargazers:1Issues:1Issues:0

polish

An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.

Language:OCamlStargazers:1Issues:1Issues:0

Pushdown-Automaton-Lexer-Parser

Pushdown-Automaton-Lexer-Parser

Language:OCamlStargazers:1Issues:1Issues:0

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)

Language:JavaStargazers:1Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

master_cours

Cours pour le Master informatique spécialité Systèmes et Applications Réparties

Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

nvdlib

A simple wrapper for the National Vulnerability CVE/CPE API

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

sheldon-game

Solution of Sheldon Game from https://app.datascientist.fr

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

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

Language:JavaStargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0