Pinned Repositories
aoc2023
Let's try advent of code 2023 in Ocaml
automata
University work on automata
casser_graphes
Repo pour le stage
casser_graphes_article
Compilation2Mips
compilation project
config_nvim
Repository for my nvim config.
dependant_type_pres
Presentation of dependant type theory following M. Hofman article: Semantics and Syntax of dependant type theory
lucid_synchrone
c'est lucide et c'est synchrone
robinson-shensted
repo pour les premiers algo en python du stage
Simulation_Fourmi
Simulation de colonies de fourmies.
MLouis8's Repositories
MLouis8/Simulation_Fourmi
Simulation de colonies de fourmies.
MLouis8/casser_graphes
Repo pour le stage
MLouis8/lucid_synchrone
c'est lucide et c'est synchrone
MLouis8/robinson-shensted
repo pour les premiers algo en python du stage
MLouis8/aoc2023
Let's try advent of code 2023 in Ocaml
MLouis8/automata
University work on automata
MLouis8/casser_graphes_article
MLouis8/Compilation2Mips
compilation project
MLouis8/config_nvim
Repository for my nvim config.
MLouis8/dependant_type_pres
Presentation of dependant type theory following M. Hofman article: Semantics and Syntax of dependant type theory
MLouis8/factorisation_lu
Implémentation python de différentes factorisations de matrices pour réviser algèbre linéaire
MLouis8/projet-ile-interdite
MLouis8/projetAlgoL2
TP en autonomie / projet en C
MLouis8/pwa-Volume
Progressive Web Application for volume calculation.
MLouis8/graph_algo
MLouis8/min_set_cover_algprob
Project about the minimum set cover problem.
MLouis8/mips
few program written in mips
MLouis8/tips
MLouis8/young-fibonacciCorrespondance