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