type-inference

There are 14 repositories under type-inference topic.

colinhacks / zod
TypeScript-first schema validation with static type inference
runtime-validation schema-validation static-types type-inference typescript
Language:TypeScript 30899
ts-pattern
gvergnaud / ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
branching conditions exhaustive inference javascript matching pattern pattern-matching ts type-inference typescript
Language:TypeScript 11028
davidhalter / jedi
Awesome autocompletion, static analysis and refactoring library for python
auto-complete python refactoring static-analysis type-inference
Language:Python 5688
vimeo / psalm
A static analysis tool for finding errors in PHP applications
hacktoberfest php security-analysis static-analysis taint-analysis type-inference
Language:PHP 5457
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representation
Language:Haskell 3319
gluon-lang / gluon
A static, type inferred and embeddable language written in Rust.
compiler embeddable functional gluon language programming-language repl rust type-inference
Language:Rust 3124
JohnSundell / Codextended
Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️
swift codable json-parsing type-inference
Language:Swift 1495
yinwang0 / pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
code-analysis code-intelligence code-search index python static-analysis type-inference
Language:Java 1374
ltcmelo / psychec
A compiler frontend for the C programming language
c type-inference compiler parser c-language clanguage static-analysis compiler-frontend parsing parsing-library program-analysis language-semantics
Language:C++ 501
wevm / abitype
Strict TypeScript types for Ethereum ABIs
abi ethereum static-types type-inference types typescript web3
Language:TypeScript 439
freshOS / Arrow
🏹 Parse JSON with style
json json-parsing ios swift micro-framework simple arrow mapping decoding unbox freshos type-inference swiftyjson objectmapper
Language:Swift 384
staabm / phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
phpstan phpstan-extension static-analysis php query-validation type-inference hacktoberfest
Language:PHP 245
potigol / potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
beginner-friendly compiler functional-programming hacktoberfest hacktoberfest2018 language linguagem-potigol portugues portuguese potigol programming-language scala type-inference
Language:Scala 243
dylan-profiler / visions
Type System for Data Analysis in Python
data-science python type-system data-analysis type-inference hacktoberfest pandas spark numpy
Language:Python 201
yinwang0 / rubysonar
A semantic indexer for Ruby with interprocedual type inference
code-analysis code-index code-search ruby static-analysis type-inference
Language:Java 190
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl type-checking type-inference
Language:Scala 175
tealang / tea
Programming is like drinking tea.
tea tealang programming-language strongly-typed type-inference modularization
Language:PHP 155
Storyyeller / cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
programming-language type-inference
Language:Rust 148
murisi / L2
A minimalist type-inferred programming language with procedural macro support
lisp scheme c programming-language unsafe macros s-expressions setjmp longjmp hindley-milner type-inference meta-programming
Language:Racket 135
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!
functional-programming type-inference
Language:Scala 134
Storyyeller / IntercalScript
The IntercalScript programming language
programming-language type-inference
Language:Brainfuck 132
lamdu / hypertypes
Hypertypes - generic programming for heterogeneous recursive types
programming-language-development programming-languages type-checker type-inference
Language:Haskell 107
zjhmale / Ntha
The Ntha Programming Language
haskell lisp type-inference
Language:Haskell 92
brendanzab / rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types normalization-by-evaluation bidirectional-typechecking semantic-typechecking type-theory dependent-record-types dependent-records debruijn-indices type-system type-checker unification type-inference
Language:Rust 90
GammaTauAI / opentau
Using Large Language Models for Gradual Type Inference
openai rust type-inference typescript ai llm
Language:Rust 90
zehaochen19 / vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
system-f type-inference polymorphism programming-language higher-rank-types lambda-calculus
Language:Haskell 87
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.
functional-programming algebraic-effects type-inference continuations handlers compiler
Language:OCaml 86
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system
Language:Swift 81
orsinium-labs / infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
code-formatter code-generation mypy pyannotate python python3 pytype type-inference typing annotations type-annotations static-analysis type-checking
Language:Python 77
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
compiler cpp llvm programming-language static-type-system low-level-programming type-inference system-programming language
Language:C++ 61
heron-language
cdiggins / heron-language
A pure functional type-inferred language based on JavaScript
language programming-language typed-language javascript 3d 3d-graphics webgl heron type-inference
Language:HTML 59
NFun
tmteam / NFun
Expressions Evaluator for .NET
expression-evaluator math automation calculations embedded eval evaluator execute executescript expression-parser interoperability mathematics parser reflection script script-language scripting type-inference
Language:C# 57
Glyphack / enderpy
WIP: Python Type Checker and LSP 🔎
lsp python auto-complete language-server rust static-analysis type-checker type-inference auto-com
Language:Rust 55
glossopoeia / boba
A general purpose statically-typed concatenative programming language.
compiler concatenative language programming-language type-inference
Language:F# 48
lorepozo / polytype-rs
A Hindley-Milner polymorphic typing system
hindley-milner polymorphism type-inference types
Language:Rust 46
MrVPlusOne / LambdaNet
Probabilistic Type Inference using Graph Neural Networks
type-inference graph-neural-networks pointer-networks iclr2020
Language:Scala 46