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

github.com/rithvikp/dedalus

Problem

Audience

Updates

No founder updates yet. Check back soon.