Python static typing home. Hosts the documentation and a user help forum.
Static type checker for Ruby
Emacs Lisp Static Analyzer and gradual type system.
A compiler for the gradually typed lambda calculus
⛑ Fork of diamondback-ruby
A type checker for Elixir