Type Inference Python Packages

jedi

Awesome autocompletion, static analysis and refactoring library for python

optype

Opinionated typing package for precise type hints in Python

visions

Type System for Data Analysis in Python

touchstone-prover

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

astypes

Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!

infer-types

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

pydanticforge

Infer robust Pydantic v2 models from messy, evolving JSON streams

lateralus-lang

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground

esnodepy

Zero-config Python boundary intelligence. Detects return type drift and implicit None fall-through in typed code.

grugbot420

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground

lateralus-grug-wisdom

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground