6 results found Sort:

python
typing python
235
1.6k
other
63
Python static typing home. Hosts the documentation and a user help forum.
types python typing static-typing gradual-typing
Created 2014-09-29
878 commits to main branch, last one 9 days ago
emacs-elsa
Elsa emacs-elsa
27
646
gpl-3.0
20
Emacs Lisp Static Analyzer and gradual type system.
elsa emacs emacs-lisp gradual-typing static-analysis
Created 2017-03-23
874 commits to master branch, last one about a year ago
Gradual-Typing
Grift Gradual-Typing
11
76
mit
5
A compiler for the gradually typed lambda calculus
grift compiler gradual-typing
Created 2014-12-10
606 commits to master branch, last one 3 years ago
Laythe-lang
Laythe Laythe-lang
4
65
mit
5
A gradually typed language originally based on the crafting interpreters series
laythe interpreter gradual-typing virtual-machine programming-language crafting-interpreters
Created 2019-10-22
743 commits to main branch, last one a day ago
orsinium-labs
mypy-baseline orsinium-labs
9
55
mit
3
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
cli mypy python typing python3 baseline legacy-code static-typing gradual-typing
Created 2022-09-01
135 commits to master branch, last one 21 days ago
utopia-group
TypeT5 utopia-group
8
29
bsd-3-clause
2
Seq2seq Type Inference using Static Analysis and CodeT5
python gradual-typing type-inference transformer-architecture
Created 2023-01-18
224 commits to master branch, last one about a year ago