jules-timmerman
Follow
-
-
HolBA Public
Forked from kth-step/HolBABinary analysis in HOL
Standard ML Other UpdatedAug 28, 2024 -
TheMinecraftBot Public
Forked from fourbones/TheMinecraftBotThis is a small Discord bot that allows you to easily manage your Minecraft server whitelist with just one command
Python UpdatedDec 7, 2023 -
swaylock-effects Public
Forked from mortie/swaylock-effectsSwaylock, with fancy effects
C MIT License UpdatedNov 28, 2023 -
PlayReady-Reverse-Intern Public
Compilation of some of the work I have done reversing Microsoft's DRM PlayReady during my Internship in the SPICY team in the IRISA lab
-
notes-ker-lann Public
Forked from jbdoderlein/notes-ker-lannNote Ker Lann
Python GNU General Public License v3.0 UpdatedMay 29, 2023 -
pedago-rennes Public
Forked from InfoSansOrdi/pedago-rennesMatériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
JavaScript UpdatedMay 26, 2023 -
-
-
-
-
NoteReaderTrainer Public
A Software to help you practice reading musical notes
-
-
-
-
-
-