TypeScript-first schema validation with static type inference

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

Awesome autocompletion, static analysis and refactoring library for python

A static analysis tool for finding errors in PHP applications

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

Strict TypeScript types for Ethereum ABIs

🏹 Parse JSON with style

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

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

Type System for Data Analysis in Python

A semantic indexer for Ruby with interprocedual type inference

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

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

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

Programming is like drinking tea.

A minimalist type-inferred programming language with procedural macro support