Starred repositories
Discord rich presence integration for all JetBrains IDEs
Dépôt contenant mes write-ups de CTF réalisés dans le cadre de mon PFE.
1
Updated Apr 10, 2026
GNOME Shell extension that provides control of some Soundcore Life headphones [MAINTENANCE ONLY]
The participatory democracy framework. A generator and multiple gems made with Ruby on Rails
GALGA: Multiplayer card game written in Haskell and Elm.
Tool for creating snapshots and remote backups of btrfs subvolumes
CLAIR agrège, croise et présente de manière accessible les données publiques sur l'activité des parlementaires (députés et sénateurs), le lobbying et les votes au Parlement.
A Subnautica Mod that randomises many aspects of the game for replayability.
A parser combinator language and compiler designed to produce lossless syntax trees with robust, structured error recovery.
Android Pattern Lock Decoder
Projet collaboratif permettant de recenser les abus du RN
(Hopefully a ) SteamOS like Operating System, Patched to run Nintendo Switch Games
Liste de liens pour bien apprendre le développement
Formation PostgreSQL 18 | De débutant à avancé | 21 chapitres + 7 annexes | Architecture, SQL avancé, Performance, HA, Production | Français
A direct-style effect system in Scala 3 that tracks effects
Webtools Init is a minimal CLI tool that lets you create a full-stack web application using Slick (Front, SSR, SPA) and ExpressAPI (Back).
Save Desktop saves your Linux desktop environment configuration
Dynamic but Fast Obstacle Avoidance
A Verilog synthesis flow for Minecraft redstone circuits
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.
The /r/place Atlas is a project aiming to catalog all the artworks created during Reddit's 2022 /r/place event.
🎧 YouTube Playlist Manager CLI: Open source command-line tool to create, manage, sync, and download your YouTube playlists. Based on Python, Typer, yt-dlp, and the YouTube Data API v3. Modular arch…