Comment by PeterBarrett

Sequent might be of interest yo you https://sequentworld.com/