TypeDB: the power of programming, in your database - View it on GitHub