Highlights
- Pro
-
-
-
rmenai Public
Config files for my GitHub profile.
-
dotfiles Public
My dotfiles for blazing fast development
-
environnement Public
Forked from mpi-lamartin/environnementEnvironnement de développement pour les TP de MPI
Dockerfile UpdatedJun 24, 2025 -
rust-competitive-helper Public
Forked from rust-competitive-helper/rust-competitive-helperRust UpdatedMay 25, 2025 -
zsh-completions Public
Forked from zsh-users/zsh-completionsAdditional completion definitions for Zsh.
Shell Other UpdatedMay 16, 2025 -
-
-
surfingkeys-conf Public
Forked from b0o/surfingkeys-conf🏄 A SurfingKeys config which adds 180+ key mappings & 50+ search engines
JavaScript MIT License UpdatedMar 5, 2025 -
monkeytype Public
Forked from monkeytypegame/monkeytypeThe most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
TypeScript GNU General Public License v3.0 UpdatedJan 6, 2025 -
dvd-screensaver Public
A dvd screensaver for your desktop.
-
-
animatronic Public
An advanced animatronic control panel, starting with an audio visualizer
-
mpsilamartin.github.io Public
Forked from mpsilamartin/mpsilamartin.github.io -
sioyek Public
Forked from ahrm/sioyekSioyek is a PDF viewer with a focus on textbooks and research papers
C GNU General Public License v3.0 UpdatedJul 1, 2024 -
chatgpt-bot Public
A discord bot powered by the OpenAI chatGPT model.
-