vtereshkov / umka-lang
Umka: a statically typed embeddable scripting language
vtereshkov / umka-lang
GaijinEntertainment / daScript
daslang - high-performance statically strong typed scripting language
arktypeio / arktype
TypeScript's 1:1 validator, optimized from editor to runtime
apache / groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
python / typing
Python static typing home. Hosts the documentation and a user help forum.