253 results for “topic:type-inference”
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 PHP static analysis tool for finding errors and security vulnerabilities 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
A menagerie of cute implementations of modern typechecking algorithms
🏹 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
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Compiling real-world structures into verifiable on-chain forms.
A semantic indexer for Ruby with interprocedual type inference
A simple ML-like programming language with subtyping and full type inference.
Code from the book "Types and Programming Languages" in Scala
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
Programming is like drinking tea.
The IntercalScript programming language
A minimalist type-inferred programming language with procedural macro support
Hypertypes - generic programming for heterogeneous recursive types
Using Large Language Models for Repo-wide Type Prediction
A functional toolkit focused on type-safe pipelines, not FP dogma, for JavaScript and TypeScript.
Normalization by evaluation for Martin-Löf Type Theory with dependent records
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
The Ntha Programming Language