3 ms·
BTW this satellite was launched yesterday coded in ada : https://blog.adacore.com/using-ada-for-a-spanish-satellite-project https://blog.adacore.com/using-ada-
by jayp1418 6y ago
BTW this satellite was launched yesterday coded in ada :
https://blog.adacore.com/using-ada-for-a-spanish-satellite-project https://blog.adacore.com/using-ada-for-a-spanish-satellite-p...
- jayp1418 6y agoInteresting project : https://github.com/jrmarino/draco https://github.com/jrmarino/draco