6 results found Sort:

238
1.6k
other
64
Python static typing home. Hosts the documentation and a user help forum.
Created 2014-09-29
880 commits to main branch, last one 3 days ago
27
646
gpl-3.0
20
Emacs Lisp Static Analyzer and gradual type system.
Created 2017-03-23
874 commits to master branch, last one about a year ago
A compiler for the gradually typed lambda calculus
Created 2014-12-10
606 commits to master branch, last one 3 years ago
A gradually typed language originally based on the crafting interpreters series
Created 2019-10-22
779 commits to main branch, last one 2 days ago
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Created 2022-09-01
135 commits to master branch, last one about a month ago
7
30
bsd-3-clause
2
Seq2seq Type Inference using Static Analysis and CodeT5
Created 2023-01-18
224 commits to master branch, last one about a year ago