Robin Carlier
Lyon, Auvergne-Rhône-Alpes, France
Summary
🤩
RockstarRobin Carlier is a PhD student in mathematics based in Lyon with five years of software engineering experience bridging rigorous research and practical systems development. He contributes to high-profile open-source projects such as the GPU-based kitty terminal, where he implemented Wayland panel features and low-level C/Python integrations that reflect comfort with graphics stacks and compositor protocols. His work shows a knack for translating formal thinking into robust, user-facing configuration and performance improvements. Comfortable across full-stack boundaries, he combines academic depth with hands-on systems engineering, making him adept at tackling complex integration problems that span research and production.
5 years of coding experience
Github Skills (9)
c1710
terminal-emulator10
c1110
terminal-application10
wayland10
python10
glfw9
golang4
opengl4
Programming languages (10)
Github contributions (5)
kovidgoyal/kitty
Oct 2024 - Nov 2024
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 review, 1 PR, 3 comments in 23 days
Contributions summary:Robin primarily contributed to the `kitty` terminal's panel functionality, focusing on Wayland compositor integration. Their commits introduced options for controlling the panel's display layer, focus policy, and margins, demonstrating an understanding of the wlr layer shell protocol. Furthermore, they implemented the "edge=none" option for panel placement and made adjustments to exclusive zone handling, expanding panel customization and overall usability. These changes involved modifications to both Python configuration files and C source code within the project.
gputerminal-emulatorsopenglterminfovt100
robin-carlier/mathlib4
Jun 2025 - Jun 2026
The math library of Lean 4
Contributions:348 pushes, 71 branches in 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.