TypeScript-first schema validation with static type inference
-
Updated
Jun 7, 2024 - TypeScript
TypeScript-first schema validation with static type inference
A static analysis tool for finding errors in PHP applications
PySonar2: a semantic indexer for Python with interprocedual type inference
Awesome autocompletion, static analysis and refactoring library for python
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A semantic indexer for Ruby with interprocedual type inference
A static, type inferred and embeddable language written in Rust.
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
A compiler frontend for the C programming language
Strict TypeScript types for Ethereum ABIs
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
🏹 Parse JSON with style
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Code from the book "Types and Programming Languages" in Scala
Type System for Data Analysis in Python
PHPStan based SQL static analysis and type inference for the database access layer
A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7
Programming is like drinking tea.
Probabilistic Type Inference using Graph Neural Networks
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."