A data type definition language for generating implementations in various target languages (TypeScript, Java, etc.) - View it on GitHub