Gelez's repositories
cours-ocaml
Un cours d'OCaml alternatif à l'UE INF201 de l'UGA
Language:C000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
feather
A Minecraft server implementation in Rust
Language:RustApache-2.0000
fopix
r/place mais pour le site du BDE
Language:JavaScript000
heron
An ergonomic physics API for bevy games.
Language:RustMIT000
inf301-app3
please ignore
mn
Méthodes numériques
Language:C000
MN-TP2
TP de MN sur BLAS et OpenMP
Language:C000
pageremi
conflits a balle svp
Language:PythonGPL-3.0000
Pytition
Django app for self-hosted privacy-friendly online petitions
Language:PythonBSD-3-Clause000
swaylock
Screen locker for Wayland
Language:CMIT000
themes
Creates the templates section to be used in Zola doc site
Language:PythonMIT000
website
Riker.rs website
MIT000
zola-theme-course
A Zola theme for online courses/tutorials
Language:HTML000