⌨️ Software

Nixpkgs ❄️

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

• Nix CUDA team member
• Listen to my interview in the Full Time Nix podcast 🎙️
• Packages I maintain (PyTorch, Jax, Dask, Mujoco uv, ruff, …)
• List of my contributions (~3k merged PRs)

Nixvim ❄️ (core maintainer)

A nix module to configure Neovim by leveraging nixpkgs.

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

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

Acoustix 🐍

Audio simulation library targeting research in acoustics for robotics. It allows to simulate a reverberant acoustic environment where multiple sources and microphones can be modeled.

RL Audio Nav 🐍

Code from my PhD project.

• Built around the acoustix library
• (Active) Sound Source Localization
• Deep Reinforcement Learning for Sound-Driven Navigation

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, source code