6 results found Sort:

python
typing python
229
1.6k
other
59
Python static typing home. Hosts the documentation and a user help forum.
types python typing static-typing gradual-typing
Created 2014-09-29
837 commits to main branch, last one 3 days ago
emacs-elsa
Elsa emacs-elsa
26
639
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
74
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 2 years ago
Laythe-lang
Laythe Laythe-lang
4
63
mit
4
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
662 commits to main branch, last one about a year ago
orsinium-labs
mypy-baseline orsinium-labs
8
50
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
131 commits to master branch, last one 13 days ago
utopia-group
TypeT5 utopia-group
8
27
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 11 months ago