Python static typing home. Hosts the documentation and a user help forum.
-
Updated
Sep 27, 2024 - Python
Python static typing home. Hosts the documentation and a user help forum.
Emacs Lisp Static Analyzer and gradual type system.
A compiler for the gradually typed lambda calculus
A gradually typed language originally based on the crafting interpreters series
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Seq2seq Type Inference using Static Analysis and CodeT5
Interpreter of the ITGL with dynamic type inference
A simple little programming language that could one day compile to JavaScript.
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.
Collection of benchmarks for gradually-typed languages
An interpreter written in Haskell for a gradually typed functional language
A hybrid static and dynamic typing language for .NET
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Add a description, image, and links to the gradual-typing topic page so that developers can more easily learn about it.
To associate your repository with the gradual-typing topic, visit your repo's landing page and select "manage topics."