Discover @baptiste-fourmont Open Source projects

Baptiste (@baptiste-fourmont)

baptiste-fourmont

Stars
19
Global Rank 661,842 (Top 23 %)
Followers 8
Following 14
Registered over 4 years ago
Most used languages

OCaml
36.4 %

Java
18.2 %

C
18.2 %

PHP
9.1 %

HTML
9.1 %

Python
9.1 %
Location 🇫🇷 France
Country Total Rank 14,467
Country Ranking

OCaml
153

C
2,369

Java
2,780

PHP
5,444

HTML
6,130

Python
8,004

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

dpll

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

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

daemon

CRON clone fully written in C. Works with FIFO, multiprocesses handling, create tasks, delete tasks, run-times exit-codes.

polish

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

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.

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

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)