NoMake: A type-safe build system based on Deno/TypeScript with friendly auto-completion in IDEs.
Typed BNF: A BNF variant that supports backend-agnostic parser generation with type inference and semantic actions, i.e., write once (grammar), generate everywhere (multiple languages).