Python static typing home. Hosts the documentation and a user help forum.
-
Updated
Mar 5, 2025 - Python
#
gradual-typing
Here are 35 public repositories matching this topic...
Emacs Lisp Static Analyzer and gradual type system.
-
Updated
May 9, 2024 - Emacs Lisp
A compiler for the gradually typed lambda calculus
-
Updated
Nov 4, 2021 - C
A gradually typed language originally based on the crafting interpreters series
-
Updated
Nov 30, 2024 - Rust
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
-
Updated
Feb 20, 2025 - Python
Seq2seq Type Inference using Static Analysis and CodeT5
-
Updated
Jul 9, 2023 - Jupyter Notebook
Interpreter of the ITGL with dynamic type inference
-
Updated
Feb 24, 2025 - OCaml
A simple little programming language that could one day compile to JavaScript
language programming-language functional declarative idea immutability structural-typing expression-oriented gradual-typing multi-paradigm prototype-based kesh block-structured line-oriented object-based
-
Updated
Jan 3, 2025 - JavaScript
The L Programming Language
-
Updated
Jan 7, 2023 - JavaScript
The Combination of Dynamic and Static Typing from a Categorical Perspective
functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model
-
Updated
Sep 21, 2017 - TeX
an implementation of gradual typing in mit-scheme
-
Updated
Apr 11, 2021 - Scheme
A Gradually Typed Functional Programming Language with Bounded Quantification
functional-programming dynamic-typing gradual-typing categorical-semantics retracts bounded-quantification pl-implementation
-
Updated
Mar 7, 2017 - Haskell
IntelliSense-like autocompletion features for string literals in TypeScript
-
Updated
Aug 24, 2021 - TypeScript
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
-
Updated
Jun 11, 2018 - JavaScript
A hybrid static and dynamic typing language for .NET
-
Updated
May 12, 2022 - C#
Lisp like programming language that can give type annotation for gradual typing
-
Updated
Nov 27, 2024 - Rust
Collection of benchmarks for gradually-typed languages
-
Updated
Apr 25, 2020 - Racket
An interpreter written in Haskell for a gradually typed functional language
programming-language haskell interpreter stack functional-programming semantics lambda-calculus type-inference gradual-typing
-
Updated
Oct 2, 2017 - Haskell
Improve this page
Add a description, image, and links to the gradual-typing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gradual-typing topic, visit your repo's landing page and select "manage topics."