⌨️ Software

Nixvim ❄️ (core maintainer)

A nix module to configure Neovim by leveraging nixpkgs.

• >1k ⭐ on GitHub
• >100k LoC (including tests)

I made a talk at NeovimConf 2023 (recording, announcement).

Nixpkgs ❄️

I regularly contribute to nixpkgs, the nix package repository.
I mostly focus on the Python scientific ecosystem.

• Packages I maintain (protobuf, ruff, uv, dask, mujoco, …)
• List of my contributions

CompFigSep 🐍

Deep learning based compound figure separator.

RobotLearn Cluster Monitor 🐍

Web app to visualize the state of our research computing cluster.

Original version: 🔗 GitLab

RemI (Remote Inria) 🐍

Remote Inria is a tool I wrote for the researchers at Inria.
It eases the use of the clusters and other computing infrastructures.
🔗 Documentation