p
pauladam94
Computer science students - Master at ENS Rennes - France. Interested in theoretical study of programming languages
47 repositories
8 followers
France
Repositories
Select a repository to view its commits, contributors, and more.public
PokeSif
Fully Extendable Game made with Löve-Lua
Lua
0
0
0
Updated 8 months ago
public
Robot-Swarm-Game
Rust
0
0
0
Updated a year ago
public
markdown_lsp
My Personal Markdown LSP (mostly a formatter)
0
0
0
Updated 9 months ago
public
Internship_Netherlands_Coq
Prooving Some Borrow checking Propertie in Coq
Coq
0
0
0
Updated 5 months ago
public
Jeu-de-la-vie
Programmation du jeu de la vie de Conway en python
Python
0
0
0
Updated 3 years ago
public
Pac-man
programmation du jeu Pac man en python via le module pygame
Python
0
0
0
Updated a year ago
public
Mental_Mahjong
Mahjong Game in C Raylib using Mental Poker algorithm to have no third party server.
C
0
0
0
Updated a month ago
public
Short-Movie-Data-Base
A Short Movie data base in Rust.
0
0
0
Updated a year ago
public
Flappy_bird
Programmation en python de flappy_bird
Python
0
0
0
Updated 3 years ago
public
hyprland_config
My minimal Hyprland Config
GLSL
0
0
0
Updated 6 months ago
public
TP-User-SEA
C
0
0
0
Updated a year ago
public
bevy_simplex
Test to do a custom shader
Rust
0
0
0
Updated 6 months ago