type-inference

TypeScript-first schema validation with static type inference

Awesome autocompletion, static analysis and refactoring library for python

A static analysis tool for finding errors in PHP applications

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A static, type inferred and embeddable language written in Rust.

Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️

PySonar2: a semantic indexer for Python with interprocedual type inference

A compiler frontend for the C programming language

🏹 Parse JSON with style

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

A semantic indexer for Ruby with interprocedual type inference

Code from the book "Types and Programming Languages" in Scala

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

Type System for Data Analysis in Python

Tea is a humanized programming language.

A minimalist type-inferred programming language with procedural macro support

The IntercalScript programming language

A simple ML-like programming language with subtyping and full type inference.

Hypertypes - generic programming for heterogeneous recursive types