type-inference

There are 17 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 40626
ts-pattern
gvergnaud / ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
pattern-matching typescript ts pattern matching inference type-inference exhaustive conditions branching javascript
Language:TypeScript 14429
davidhalter / jedi
Awesome autocompletion, static analysis and refactoring library for python
static-analysis auto-complete python refactoring type-inference
Language:Python 6056
vimeo / psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
hacktoberfest php security-analysis static-analysis taint-analysis type-inference
Language:PHP 5769
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 3444
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 3349
JohnSundell / Codextended
Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️
codable json-parsing swift type-inference
Language:Swift 1508
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 1420
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++ 552
wevm / abitype
Strict TypeScript types for Ethereum ABIs
abi ethereum static-types type-inference types typescript web3
Language:TypeScript 533
freshOS / Arrow
🏹 Parse JSON with style
arrow decoding freshos ios json json-parsing mapping micro-framework objectmapper simple swift swiftyjson type-inference unbox
Language:Swift 386
typechecker-zoo
sdiehl / typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
compiler dependent-types type-inference type-system type-theory
Language:Rust 340
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 285
potigol / potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
potigol scala programming-language functional-programming type-inference portuguese portugues beginner-friendly language compiler hacktoberfest hacktoberfest2018 linguagem-potigol
Language:Scala 265
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 214
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 209
yinwang0 / rubysonar
A semantic indexer for Ruby with interprocedual type inference
code-analysis code-index code-search ruby static-analysis type-inference
Language:Java 195
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl type-checking type-inference
Language:Scala 185
Storyyeller / cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
programming-language type-inference
Language:Rust 180
tealang / tea
Programming is like drinking tea.
tea tealang programming-language strongly-typed type-inference modularization
Language:PHP 154
cu1ch3n / type-inference-zoo
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
functional-programming haskell programming-languages type-inference zoo
Language:Haskell 149
Storyyeller / IntercalScript
The IntercalScript programming language
programming-language type-inference
Language:Brainfuck 138
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 136
lamdu / hypertypes
Hypertypes - generic programming for heterogeneous recursive types
programming-language-development programming-languages type-checker type-inference
Language:Haskell 125
GammaTauAI / opentau
Using Large Language Models for Repo-wide Type Prediction
ai llm openai rust type-inference typescript
Language:Rust 111
brendanzab / rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Language:Rust 100
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 93
swr1bm86 / Ntha
The Ntha Programming Language
haskell lisp type-inference
Language:Haskell 91
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 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 90
Glyphack / enderpy
Experimental Python Type Checker and LSP 🔎
lsp python auto-complete language-server rust static-analysis type-checker type-inference auto-com
Language:Rust 83
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
hindley-milner type-checking type-inference type-checker type-system swift developer-tools semantic-analysis semantic-analyzer
Language:Swift 81
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++ 77
kakasoo / DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
deep-omit deep-pick deep-strict deep-strict-object-keys deep-strict-omit deep-strict-pick deep-types nested-types strict-types type-assertions type-checking type-helpers type-inference type-safety type-utils type-validation types typescript utility-types
Language:TypeScript 64
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# 61
lorepozo / polytype-rs
A Hindley-Milner polymorphic typing system
type-inference hindley-milner types polymorphism
Language:Rust 59