gitea: Gitea Service

Mysaa/ pro-fondement

OCaml 0 0 0

Updated 2024-01-12 16:48:54 +01:00

Mysaa/ projprog

C 0 0 0

Le projet de programmation de 1A !

Updated 2024-01-12 16:48:04 +01:00

Mysaa/ coq-en-stock

Coq 0 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

Mysaa/ cap-lab22-samy

Python 0 0 0

Updated 2024-01-12 16:46:40 +01:00

Mysaa/ stage-2022

TeX 0 0 0

Mes notes sur mon stage 2022 au LACL à Créteil

Updated 2024-01-12 16:45:34 +01:00

Mysaa/ pieuvre

OCaml 0 0 0

The Pieuvre® Proof Assistant

Updated 2024-01-12 16:43:47 +01:00

Mysaa/ HgWorldPlugin

Java 0 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

Mysaa/ EMorphotype

Java 0 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

Mysaa/ HelloJasso

Java 0 0 0

API Java au site web HelloAsso

Updated 2024-01-12 16:08:45 +01:00

bernard/ BernardPermissions

Java 0 0 0

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

bernard/ Cercloidator

Java 0 0 0

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

Mysaa/ cgit

C 0 0 0

Cgit system

Updated 2024-01-10 18:11:37 +01:00

Mysaa/ git4pipi

C 0 0 0

The git system that was integrated in pipi, with 2FA when pushing

Updated 2024-01-10 18:09:12 +01:00

Mysaa/ LePtitPlugin

Java 0 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

Mysaa/ LuckyWaking

Java 0 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

Mysaa/ ThaumcraftAspectsUtilMod

Java 0 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

Mysaa/ ZikaDl