TypeScript-first schema validation with static type inference
🎨 The exhaustive Pattern Matching library for TypeScript, with smart ty...
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...
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
PHPStan based SQL static analysis and type inference for the database ac...
Linguagem Potigol - Linguagem de programação funcional moderna para inic...
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