Python static typing home. Hosts the documentation and a user help forum.
-
Updated
May 17, 2024 - Python
Python static typing home. Hosts the documentation and a user help forum.
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Emacs Lisp Static Analyzer and gradual type system.
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Interpreter of the ITGL with dynamic type inference
A simple little programming language that could one day compile to JavaScript.
Seq2seq Type Inference using Static Analysis and CodeT5
A gradually typed language originally based on the crafting interpreters series
The L Programming Language
A hybrid static and dynamic typing language for .NET
A compiler for the gradually typed lambda calculus
IntelliSense-like autocompletion features for string literals in TypeScript
an implementation of gradual typing in mit-scheme
Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
A gradually typed language with intersection types
Monotonic References for Gradual Typing in Agda
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."