type-inference
There are 222 repositories under type-inference topic.
colinhacks/zod
TypeScript-first schema validation with static type inference
gvergnaud/ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
davidhalter/jedi
Awesome autocompletion, static analysis and refactoring library for python
vimeo/psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
JohnSundell/Codextended
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
yinwang0/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
ltcmelo/psychec
A compiler frontend for the C programming language
wevm/abitype
Strict TypeScript types for Ethereum ABIs
freshOS/Arrow
🏹 Parse JSON with style
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
staabm/phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
potigol/potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
dylan-profiler/visions
Type System for Data Analysis in Python
hkust-taco/mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
yinwang0/rubysonar
A semantic indexer for Ruby with interprocedual type inference
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Storyyeller/cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
tealang/tea
Programming is like drinking tea.
cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
Storyyeller/IntercalScript
The IntercalScript programming language
murisi/L2
A minimalist type-inferred programming language with procedural macro support
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
GammaTauAI/opentau
Using Large Language Models for Repo-wide Type Prediction
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
orsinium-labs/infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
swr1bm86/Ntha
The Ntha Programming Language
Ekdohibs/joujou
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
zehaochen19/vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Glyphack/enderpy
Experimental Python Type Checker and LSP 🔎
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
AmrDeveloper/Amun
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
tmteam/NFun
Expressions Evaluator for .NET
lorepozo/polytype-rs
A Hindley-Milner polymorphic typing system