We are experienced in integrating smart contract development languages beyond Solidity, for example we built https://stx.fun which writes Clarity smart contracts and deploys them to Stacks Nakamoto Testnet.