...
Accord Ergo - https://github.com/accordproject/ergo
DAML - https://github.com/digital-asset/daml
See also
A review of smart contract languages (not everything linked appears to be strictly a language): https://github.com/s-tikhomirov/smart-contract-languages
...