If you mean freely available stuff,

https://www.adacore.com/academia/projects/muen-project

https://archive.fosdem.org/2020/schedule/event/ada_spunky/