Tower

Tower Language - Safe by Construction, Expressive by Nature More info coming soon. Talks a LOT about AI in the mean time.