You must be logged in to sponsor RCoeurjoly
Become a sponsor to Roland Coeurjoly
👋 Hi, I'm Roland. I have an interest in Nix, formal verification, and improving safety in C and C++, along with electronics and FPGA projects.
I'm working to make software safer. Your sponsorship will help me dedicate more time to these important tasks.
Your support allows me to focus on developing safer, more reliable technology that benefits everyone.
Thank you for considering a sponsorship!
Featured work
-
YosysHQ/yosys
Yosys Open SYnthesis Suite
C++ 3,199 -
wolfcw/libfaketime
libfaketime modifies the system time for a single application
C 2,584 -
nix-community/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
Nix 737