I don’t know if anyone here is planning to attend the TLA+ conference in St. Louis in conjunction with Strange Loop but there’s a talk scheduled that would certainly seem to be worth checking out:
Elixir Code Generation from TLA + specifications
Just wanted to make sure people are aware.