Awesome autocompletion, static analysis and refactoring library for python
-
Updated
Jul 9, 2026 - Python
#
type-inference
Here are 35 public repositories matching this topic...
Type System for Data Analysis in Python
-
Updated
May 27, 2026 - Python
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
python static-analysis annotations typing python3 code-generation type-checking type-inference type-annotations code-formatter mypy pyannotate pytype
-
Updated
Mar 17, 2023 - Python
Opinionated typing package for precise type hints in Python
-
Updated
Aug 27, 2026 - Python
A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.
programming-language bytecode compiler jvm language-design graalvm self-hosting bootstrapping type-inference native-image lsp effect-system
-
Updated
Sep 2, 2026 - Python
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
-
Updated
Mar 25, 2021 - Python
-
Updated
Sep 12, 2019 - Python
Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
transformers binary-analysis representation-learning type-inference attention-mechanism code-representation-learning binary-similarity malware-family-classification
-
Updated
Mar 10, 2025 - Python
A fast reader for messy CSV files with optional type inference.
-
Updated
Jun 4, 2025 - Python
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
programming-language type-inference traits row-polymorphism interactively-static-checking first-class-polymorphisms
-
Updated
Jan 18, 2020 - Python
Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!
python formatter linter static-analysis annotations inference ast python3 type-inference code-formatter mypy typeshed
-
Updated
Mar 17, 2023 - Python
the reproduction repository for paper "Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code"
-
Updated
Apr 17, 2026 - Python
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
-
Updated
Jul 16, 2026 - Python
Pico Compile, factored out "numpile" project, a small JIT compiler for Python with type inference
-
Updated
May 10, 2020 - Python
Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground
python programming-language interpreter compiler pipeline language-server pattern-matching virtual-machine transpiler algebraic-data-types ltl developer-tools vscode-extension os-dev type-inference bare-metal lsp c-backend lateralus lateralus-lang
-
Updated
Aug 1, 2026 - Python
Static type inference for python. (Suspended due to lack of meta in standard lib)
-
Updated
Apr 19, 2021 - Python
🐍🚀 A static Python-to-Rust transpiler that converts type-annotated Python code into performant and idiomatic Rust, with built-in compilation and execution.
python rust productivity open-source performance experimental compiler static-analysis ast transpiler programming-languages developer-tools memory-safety educational code-generation type-inference cli-tool language-interoperability code-transformer python-to-rust
-
Updated
Jun 11, 2026 - Python
[NeurIPS'25] Evaluating Program Semantics Reasoning with Type Inference in System F
-
Updated
Nov 26, 2025 - Python
A from-scratch statically-compiled programming language with Python-like syntax, built in Python. Features a production lexer with INDENT/DEDENT injection, Pratt expression parser, span-annotated AST, Hindley-Milner type inference, SSA/CFG mid-level IR, Polonius-inspired borrow checker, and first-class prompt and actor language constructs for AI an
python programming-language actors compiler llvm ssa ast language-design ownership hindley-milner type-inference ir compiler-frontend systems-programming indentation-depth static-typing borrow-checker ai-native
-
Updated
Apr 1, 2026 - Python
The Sorayunara Programming Language (.sora) — A High-Performance, Memory-Safe Systems Language Featuring Hindley-Milner Type Inference, Flow-Sensitive Borrow Checking, Lock-Free Actor Concurrency, Self-Hosting Architecture, and Native LLVM / C / WASM Codegen.
programming-language compiler language-server high-performance llvm concurrency webassembly developer-tools self-hosting type-inference systems-programming static-typing native-codegen sorayunara
-
Updated
Aug 31, 2026 - Python
Add this topic to your repo
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."