ApollineRodary

Computer science student at ENS de Lyon

Lyon, France

Pinned Repositories

Endive
A proof assistant for the Integrated Project (IP) computer science course at ENS de Lyon
Language:Rust30
EPS-solutions
Solutions for some of the CodeForces exercises given in the competitive programming (EPS) L3IF 2022-2023 course at ENS de Lyon
Language:C++00
Java-Minesweeper
Java Minesweeper for the L3 programming course at ENS de Lyon
Language:Java00
Lifts-PE
Language:C++00
MDP-sim
Helper functions to deal with Markov decision processes for an internship on sliding regret at Laboratoire d'Informatique de Grenoble
Language:C++00
Pieuvre
Proof assistant for the ENS de Lyon Projet fonctionnel course
Language:OCaml00
Pouet
Language:Python00
CGDI-Voxel-Raycasting
Language:C++10

ApollineRodary's Repositories

ApollineRodary/Pouet
Language:Python
ApollineRodary/Endive
A proof assistant for the Integrated Project (IP) computer science course at ENS de Lyon
Language:Rust3
ApollineRodary/Lifts-PE
Language:C++
ApollineRodary/MDP-sim
Helper functions to deal with Markov decision processes for an internship on sliding regret at Laboratoire d'Informatique de Grenoble
Language:C++
ApollineRodary/Pieuvre
Proof assistant for the ENS de Lyon Projet fonctionnel course
Language:OCaml
ApollineRodary/EPS-solutions
Solutions for some of the CodeForces exercises given in the competitive programming (EPS) L3IF 2022-2023 course at ENS de Lyon
Language:C++
ApollineRodary/Java-Minesweeper
Java Minesweeper for the L3 programming course at ENS de Lyon
Language:Java