Type inference framework for Emacs. Build better APIs, tools, linters and optimizers with type info! - View it on GitHub