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