Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Updated 2024-01-12 16:47:20 +01:00
Updated 2024-01-12 16:46:40 +01:00
Mes notes sur mon stage 2022 au LACL à Créteil
Updated 2024-01-12 16:45:34 +01:00
Plugin Minecraft Bukkit permettant de faire des Hunger Games de façon entièrement customizable
Updated 2024-01-12 16:25:17 +01:00
Application Android permettant de récupérer des données de morphotypes d'une population et d'observer leur évolution. Fait afin d'illustrer les possibilités offertes par la thèse de Gregory Lentin.
Updated 2024-01-12 16:21:39 +01:00
Système de permissions autonomne entre des rôles, des groupse, et des permissions qui peuvent prendre plusieurs formes
Updated 2024-01-12 15:52:20 +01:00
Le projet Bernard originel, qui permet de générer des cercloïdes (ellipses à plusieurs centres)
Updated 2024-01-12 15:37:28 +01:00
Plugin minecraft aux multiples fonctionnalités prévu pour fonctionner sur le serv des Ptits Potes
Updated 2024-01-09 16:13:09 +01:00
Mod minecraft rajoutant un intéret au sommeil dans une dimension parallele de rêve aléatoire
Updated 2024-01-09 16:10:31 +01:00
Mod minecraft permettant de modifier les aspects des blocs pour le mod Thaumcraft de façon pratique, notamment pour les blocs non-pris en charge, ou mal pris en charge par les crafts
Updated 2024-01-09 16:09:58 +01:00
Application Android permettant de gérer les timings de pouvoirs lors des murders
Updated 2024-01-09 16:05:29 +01:00
Programme pour télécharger des partitions
Updated 2024-01-09 16:00:19 +01:00
Application permettant de gérer les inventaires, pouvoirs, timings, et micros lors de Murder Parties
Updated 2024-01-09 15:58:42 +01:00
Interface Android pour l'application Murderator
Updated 2024-01-09 15:58:11 +01:00