Encore – Back end framework for type-safe distributed systems

Thanks for submitting this! I'm one of the founders, happy to answer any questions.