Mysaa
0 Followers · 0 Following
Repositories
44
 Projects Packages Public Activity Starred Repositories
Filter
Sort
m1-internship
Agda 0 0
Updated 2024-01-12 16:54:17 +01:00
pro-fondement
OCaml 0 0
Updated 2024-01-12 16:48:54 +01:00
projprog
C 0 0
Le projet de programmation de 1A !
Updated 2024-01-12 16:48:04 +01:00
coq-en-stock
Coq 0 0
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
cap-lab22-samy
Python 0 0
Updated 2024-01-12 16:46:40 +01:00
stage-2022
TeX 0 0
Mes notes sur mon stage 2022 au LACL à Créteil
Updated 2024-01-12 16:45:34 +01:00
pieuvre
OCaml 0 0
The Pieuvre® Proof Assistant
Updated 2024-01-12 16:43:47 +01:00
HgWorldPlugin
Java 0 0
Plugin Minecraft Bukkit permettant de faire des Hunger Games de façon entièrement customizable
Updated 2024-01-12 16:25:17 +01:00
EMorphotype
Java 0 0
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
HelloJasso
Java 0 0
API Java au site web HelloAsso
Updated 2024-01-12 16:08:45 +01:00
cgit
C 0 0
Cgit system
Updated 2024-01-10 18:11:37 +01:00
git4pipi
C 0 0
The git system that was integrated in pipi, with 2FA when pushing
Updated 2024-01-10 18:09:12 +01:00
LePtitPlugin
Java 0 0
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
LuckyWaking
Java 0 0
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
ThaumcraftAspectsUtilMod
Java 0 0
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