1. https://blog.adacore.com/cubit-a-general-purpose-operating-s...
2. https://github.com/docandrew/CuBit