Hello Nicolas,
Hope you are doing well.
Unfortunately, we do not have a guide to port code from C to ADA. All of our examples are implemented using C.
I recommend to check the documentation that you have mentioned and Adacore support system.
Hope it helps!
Sabina
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------