gradual-typing topic
typing
Python static typing home. Hosts the documentation and a user help forum.
Elsa
Emacs Lisp Static Analyzer and gradual type system.
Grift
A compiler for the gradually typed lambda calculus
Laythe
A gradually typed language originally based on the crafting interpreters series
diamondback-ruby
⛑ Fork of diamondback-ruby
lambda-dti
Interpreter of the ITGL with dynamic type inference
ex_type
A type checker for Elixir
kesh
A simple little programming language that could one day compile to JavaScript.
mypy-baseline
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
L
The L Programming Language