luau-lang / luau

A small, fast, and embeddable programming language based on Lua with a gradual type system.

cel-expr / cel-go

Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)

hedyorg / hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

python / typing

Python static typing home. Hosts the documentation and a user help forum.