rithvikp / dedalus

An interpreter and analyzer for Dedalus, a Datalog-based formalism for distributed systems.

Geek Repo

Github PK Tool