Not Jepsen tested but rqlite [0] could be in the running and meet the requirements and is open source (MIT).

0. https://rqlite.io/