Gaétan Lepage's repositories
kickstart.nixvim
A launch point for your personal nixvim configuration
nixvim-neovim-conf-2023
Nixvim: Configure Neovim with the power of Nix
glove80-zmk-config
This repo is the official configuration of the MoErgo Glove80 wireless split contoured keyboard. Use it to develop your own keymap and easily build your own ZMK firmware to run on your Glove80.
Arcade-Learning-Environment
The Arcade Learning Environment (ALE) -- a platform for AI research.
codeium.vim
Free, ultrafast Copilot alternative for Vim and Neovim
dalle-mini
DALL·E Mini - Generate images from a text prompt
efmls-configs-nvim
An unofficial collection of linters and formatters configured for efm-langserver for neovim.
Elegant-sddm
Elevate your KDE Plasma experience with a sleek and stylish SDDM theme crafted in QML.
headlines.nvim
This plugin adds horizontal highlights for text filetypes, like markdown, orgmode, and neorg.
hmts.nvim
Custom treesitter queries for Home Manager nix files, in Neovim
home-manager
Manage a user environment using Nix [maintainer=@rycee]
lean4
Lean 4 programming language and theorem prover
nbQA
Run ruff, isort, pyupgrade, mypy, pylint, flake8, and more on Jupyter Notebooks
nix-update
Swiss-knife for updating nix packages.
presenterm
A terminal slideshow tool
rl
A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.
server-config
NixOS configurations for my home servers.
sniprun
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
startup.nvim
A highly configurable neovim startup screen