#Type-inference
Showing 13 of 13 repositories tagged #type-inference, ranked by stars
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, type inferred and embeddable language written in Rust.
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
Strict TypeScript types for Ethereum ABIs
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
🏹 Parse JSON with style
Type System for Data Analysis in Python
Compiling real-world structures into verifiable on-chain forms.
Experimental Python Type Checker and LSP 🔎
Swift type checking and semantic analysis for developer tools
Expressions Evaluator for .NET