Logiciel basé sur django pour gérer un agenda culturel local participatif.
Updated 2024-04-24 17:01:13 +02:00
Use a rpi pico and push buttons to send key strokes to a computer.
Updated 2024-04-16 12:17:04 +02:00
A python MPD client that handles speaker powering, oled display and physical user input (i.e; buttons)
Updated 2024-04-16 11:55:55 +02:00
Application pour trouver rapidement les salles libres dans l'Université de Strasbourg (version Python).
Updated 2024-03-31 21:49:30 +02:00
Updated 2024-02-19 22:31:57 +01:00
phroy/codetower
Code your tower (coding tower defense)
Updated 2024-01-27 11:36:00 +01:00
phroy/frankie-on-platform
Updated 2024-01-27 11:32:35 +01:00
Blender-EduTech/lecteur-3d-cinematique
Lecteur 3D pour l'analyse cinématique des mécanismes
Updated 2024-01-27 09:50:28 +01:00
Blender-EduTech/blender-edutech-ressources-pedagogiques
Documents pédagogiques ouverts (OER) du projet Blender-EduTech
Updated 2024-01-27 08:29:07 +01:00
Blender-EduTech/ropy
Serious game pour apprendre à coder en Python (une aventure à coder sur Mars)
Updated 2024-01-27 08:28:34 +01:00
Blender-EduTech/blender-edutech
Blender/UPBGE pour l'Enseignement Technologique
Updated 2024-01-27 08:21:59 +01:00
Blender-EduTech/jumeaux-numeriques
Jumeaux numériques pour la programmation de système pluritechnologique
Updated 2024-01-27 07:09:07 +01:00
Updated 2024-01-09 13:22:52 +01:00
Fork of ploum.net's static generator, for my personnal use
Updated 2023-12-24 14:54:44 +01:00
Updated 2023-08-20 21:49:19 +02:00
Scripts by a translator dabbling in programming to ease various tasks related to handling files used CAT tools or to the translation process in general.
Updated 2023-06-10 15:25:24 +02:00
Download solar storm alerts from the Presto service and converts them into gemtext (text/gemini) to be served via Gemini.
Updated 2023-05-24 09:39:20 +02:00
Updated 2023-03-26 18:56:50 +02:00
A Nagios (and compatible) plugin to check the impending expiration of a domain name. It relies on RDAP exclusively (no whois) and works with every top-level domain with RDAP (which includes all the ICANN ones).
Updated 2023-03-15 20:53:40 +01:00