Open Source Development Platform for building robust type-safe distributed systems with declarative infrastructure