The complete guide to static typing in "React & Redux" apps using TypeSc...
Collection of utility types, complementing TypeScript built-in mapped ty...
Apache Groovy: A powerful multi-faceted programming language for the JVM...
TypeScript's 1:1 validator, optimized from editor to runtime
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Python static typing home. Hosts the documentation and a user help forum.
Umka: a statically typed embeddable scripting language
daScript - high-performance statically strong typed scripting language
A language for building concurrent software with confidence
An experimental Python-to-C transpiler and domain specific language for ...
Shen language kernel sources for porters
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Phantom types for Python.
Generate and maintain stubs for different MicroPython ports to use with ...
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for...