The Wayback Machine - https://web.archive.org/web/20220326220807/https://github.com/topics/type-inference

#

type-inference

Here are 134 public repositories matching this topic...

colinhacks / zod

Sponsor

TypeScript-first schema validation with static type inference

typescript static-types schema-validation type-inference runtime-validation

Updated Mar 26, 2022
TypeScript

davidhalter / jedi

Sponsor

Awesome autocompletion, static analysis and refactoring library for python

refactoring python static-analysis auto-complete type-inference

Updated Jan 19, 2022
Python

vimeo / psalm

Open

Psalm is unaware of a handful of methods on the various core reflection classes

4

ollieread commented Mar 23, 2022

I've only created examples for the ones that I encountered, but if my understanding is correct, and stubs/Reflection.phpstub is how Psalm understands reflection classes, there is a lot missing.

ReflectionProperty::hasDefaultValue() https://psalm.dev/r/7de1ce446b
ReflectionProperty::isPromoted() https://psalm.dev/r/0b4cc46fd2
ReflectionParameter::isPromoted() https://psalm.dev/r/62322a

Read more

bug easy problems internal stubs/callmap Help wanted

Open

Improve support for is_file and family

13

Open

preg_replace_callback with PREG_UNMATCHED_AS_NULL flag results in `null` elements in callback

10

Find more good first issues

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Jan 11, 2021
Haskell

gluon-lang / gluon

A static, type inferred and embeddable language written in Rust.

language programming-language rust functional embeddable compiler repl gluon type-inference

Updated Feb 4, 2022
Rust

ts-pattern

gvergnaud / ts-pattern

Sponsor

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

javascript typescript matching pattern pattern-matching branching inference ts conditions type-inference exhaustive

Updated Mar 26, 2022
TypeScript

JohnSundell / Codextended

Extensions giving Swift's Codable API type inference super powers 🦸‍♂️

🦹‍♀️

swift type-inference json-parsing codable

Updated Apr 11, 2021
Swift

yinwang0 / pysonar2

PySonar2: an advanced semantic indexer for Python

python static-analysis code-analysis code-search index type-inference code-intelligence

Updated Dec 26, 2021
Java

ltcmelo / psychec

A compiler frontend for the C programming language

c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics

Updated Mar 8, 2022
C++

freshOS / Arrow

🏹 Parse JSON with style

swift ios json simple mapping arrow micro-framework decoding objectmapper swiftyjson unbox type-inference json-parsing freshos

Updated Jan 3, 2021
Swift

potigol / potigol

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

language programming-language scala compiler functional-programming beginner-friendly type-inference portugues portuguese potigol hacktoberfest hacktoberfest2018 linguagem-potigol

Updated Dec 13, 2021
Scala

yinwang0 / rubysonar

an advanced semantic indexer for Ruby

ruby static-analysis code-analysis code-search type-inference code-index

Updated Apr 26, 2021
Java

ilya-klyuchnikov / tapl-scala

Code from the book "Types and Programming Languages" in Scala

programming-languages tapl type-checking type-inference

Updated Oct 22, 2021
Scala

tealang / tea

Tea is a humanized programming language. Code less, Express more.

programming-language tea type-inference strongly-typed modularization tealang

Updated Jan 8, 2022
PHP

dylan-profiler / visions

Type System for Data Analysis in Python

python data-science spark numpy pandas data-analysis type-system type-inference hacktoberfest

Updated Mar 25, 2022
Python

murisi / L2

A minimalist type-inferred programming language with procedural macro support

c programming-language scheme lisp macros s-expressions hindley-milner type-inference meta-programming unsafe setjmp longjmp

Updated Oct 25, 2020
Racket

Storyyeller / IntercalScript

The IntercalScript programming language

programming-language type-inference

Updated Aug 30, 2020
Brainfuck

zjhmale / Ntha

The Ntha Programming Language

haskell lisp type-inference

Updated Nov 17, 2016
Haskell

lamdu / hypertypes

Sponsor

Hypertypes - generic programming for heterogeneous recursive types

programming-languages type-inference type-checker programming-language-development

Updated Feb 21, 2022
Haskell

Storyyeller / cubiml-demo

A simple ML-like programming language with subtyping and full type inference.

programming-language type-inference

Updated Oct 24, 2021
Rust

staabm / phpstan-dba

Sponsor

Open

Doctrina/dbal 2.x compat

2

staabm commented Jan 25, 2022

See https://github.com/doctrine/dbal/blob/3.3.x/UPGRADE.md#deprecated-fetchmode-and-the-corresponding-methods

for newer 2.x releases some api is the same to 3.x.

its only about the low hanging fruit. I guess we mostly need to check places like
https://github.com/staabm/phpstan-dba/blob/4d1c84b2dd4241ab9aee1f8e111a84e9d1df6313/src/Extensions/DoctrineConnectionExecuteQueryDynamicReturnTypeExt

Read more

help wanted good first issue

brendanzab / rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

Updated Jun 22, 2019
Rust

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.

algebraic-effects compiler functional-programming handlers type-inference continuations

Updated Dec 10, 2018
OCaml

zehaochen19 / vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

programming-language lambda-calculus polymorphism type-inference system-f higher-rank-types

Updated Dec 1, 2020
Haskell

MaxDesiatov / Typology

Sponsor

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Mar 16, 2022
Swift

cdiggins / heron-language

A pure functional type-inferred language based on JavaScript

javascript language programming-language webgl typed-language type-inference 3d 3d-graphics heron

Updated Oct 12, 2021
HTML

MrVPlusOne / LambdaNet

Probabilistic Type Inference using Graph Neural Networks

pointer-networks type-inference graph-neural-networks iclr2020

Updated Aug 10, 2021
Scala

kekyo / TypeInferencer

Sponsor

Algorithm W and Algorithm M in F#

functional fsharp ast type-inference algorithm-w algorithm-m

Updated Dec 22, 2021
F#

mbg / hindley-milner

Template for Hindley-Milner based languages

language types hindley-milner type-inference unification

Updated Dec 7, 2021
Haskell

caterinaurban / Typpete

python type-inference smt

Updated Sep 12, 2019
Python

Improve this page

Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."