I couldn’t find the michaelson repo — but liquidity compiles to it and probably has the same properties (its basically Ocaml) https://github.com/OCamlPro/liquidity

As far as scilla is concerned, it is certainly released and open. I work in it already https://github.com/Zilliqa/scilla