A repo for building solutions in lua based on safety and provability - View it on GitHub