Awesome autocompletion, static analysis and refactoring library for python
-
Updated
Oct 1, 2026 - Python
#
type-inference
Here are 47 public repositories matching this topic...
Type System for Data Analysis in Python
-
Updated
May 27, 2026 - Python
Self-hosted functional language with explicit effects. Compiles to JVM bytecode, C, and NVIDIA GPU kernels via cuTile.
programming-language bytecode compiler jvm gpu cuda language-design graalvm self-hosting bootstrapping type-inference native-image lsp effect-system cutile tile-ir
-
Updated
Oct 2, 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
Oct 1, 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
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
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
Hindley-Milner Algorithm W type inference engine implementing Robinson first-order syntactic unification and principal polymorphic type reconstruction.
-
Updated
Sep 9, 2026 - Python
Robinson's first-order term unification algorithm with occurs-check for automated theorem proving, Prolog engines, and type inference.
prolog theorem-proving first-order-logic type-inference robinson-unification agentic-ai genpark-skill
-
Updated
Sep 10, 2026 - Python
Automatic Python callable reflection and docstring inspection for dynamic JSON schema synthesis
reflection json-schema mcp developer-tools type-inference python-standard-library function-calling tool-calling agent-skills tool-synthesis inspect-module
-
Updated
Sep 29, 2026 - Python
Robinson's first-order term unification algorithm with occurs-check for automated theorem proving, Prolog engines, and type inference.
prolog theorem-proving first-order-logic type-inference robinson-unification agentic-ai genpark-skill
-
Updated
Sep 10, 2026 - Python
Hindley-Milner polymorphic type inference engine with Algorithm W unification and occurs check.
python polymorphism type-checking type-system hindley-milner type-inference compiler-design algorithm-w model-context-protocol mcp-server agent-skills
-
Updated
Sep 28, 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."