gradual-typing

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

Emacs Lisp Static Analyzer and gradual type system.

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax

A compiler for the gradually typed lambda calculus

⛑ Fork of diamondback-ruby

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

A gradually typed language originally based on the crafting interpreters series

A type checker for Elixir

Seq2seq Type Inference using Static Analysis and CodeT5

A simple little programming language that could one day compile to JavaScript

Interpreter of the ITGL with dynamic type inference

The L Programming Language

The Combination of Dynamic and Static Typing from a Categorical Perspective

an implementation of gradual typing in mit-scheme

A Gradually Typed Functional Programming Language with Bounded Quantification

IntelliSense-like autocompletion features for string literals in TypeScript

Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.

A hybrid static and dynamic typing language for .NET

Lisp like programming language that can give type annotation for gradual typing

Collection of benchmarks for gradually-typed languages