Top 10 static-typing open source projects

Typesafe utilities for "action-creators" in Redux / Flux Architecture

The complete guide to static typing in "React & Redux" apps using TypeScript

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim

Stubs of common micropython modules to aid in code completion, static typechecking and overall development

Phantom types for Python.

Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.