vmaestracci

Aix-Marseille UniversitéSomewhere, France

Pinned Repositories

Deep-Space-Invaders
Make an agent play space invaders using deep reinforcement learning
Language:Python4 2 00
AgdaProofs
My agda proofs for my internship at Chalmers with Mr. Coquand
Language:Agda01
CTTDedukti
The first implementation of CTT in Dedukti, using a Two Layer Type Theory
10
demo_git
Un entrainement pour maitriser git
Language:JavaScript00
DMProg2
My project for the programmation 2 DM at ENS Cachan
Language:OCaml0 1 00
gamejam1
Extra Credit Game Jam 6:
Language:GDScript00
Space-boy
A platform test game that i'm gonna make to learn lua and to train myself to use an Entity Component System.
00
Training-tuto
Me following tuto
Language:C++00
vmaestracci.github.io
My personnal research page
Language:HTML00
Void
A Visual Novel about murder, sadness, good and bad. He may become private. We'll see later !
Language:C++0 1 00

vmaestracci's Repositories

vmaestracci/CTTDedukti
The first implementation of CTT in Dedukti, using a Two Layer Type Theory
10
vmaestracci/AgdaProofs
My agda proofs for my internship at Chalmers with Mr. Coquand
Language:Agda01
vmaestracci/demo_git
Un entrainement pour maitriser git
Language:JavaScript00
vmaestracci/DMProg2
My project for the programmation 2 DM at ENS Cachan
Language:OCaml0 1 00
vmaestracci/gamejam1
Extra Credit Game Jam 6:
Language:GDScript00
vmaestracci/Space-boy
A platform test game that i'm gonna make to learn lua and to train myself to use an Entity Component System.
00
vmaestracci/Training-tuto
Me following tuto
Language:C++00
vmaestracci/vmaestracci.github.io
My personnal research page
Language:HTML00
vmaestracci/Void
A Visual Novel about murder, sadness, good and bad. He may become private. We'll see later !
Language:C++0 1 00