Awesome Open Source

Programming Languages

Search results for static analysis type inference

static-analysis x

type-inference x

10 search results found

Awesome autocompletion, static analysis and refactoring library for python

Psalm ⭐ 5,385

A static analysis tool for finding errors in PHP applications

Pysonar2 ⭐ 1,248

PySonar2: a semantic indexer for Python with interprocedual type inference

Psychec ⭐ 486

A compiler frontend for the C programming language

Phpstan Dba ⭐ 240

PHPStan based SQL static analysis and type inference for the database access layer

Rubysonar ⭐ 166

an advanced semantic indexer for Ruby

Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

Infer Types ⭐ 56

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

WIP: Python Type Checker and LSP 🔎

Typeevalpy ⭐ 12

A Micro-benchmarking Framework for Python Type Inference Tools

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

Related Searches

Python Static Analysis (256)

Java Static Analysis (189)

Php Static Analysis (185)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.