typeinference

There are 1 repository under typeinference topic.

• hegel

  JSMonk / hegel

  An advanced static type checker

  javascripttype-safetytypeinference
  Language:JavaScript 2100

• 7sharp9 / write-you-an-inference-in-fsharp

  Different type inference algorithms implemented in F#

  fsharphindley-milnerpolymorphismtypeinferencetypesystems
  Language:F# 154

• saltudelft / type4py

  Type4Py: Deep Similarity Learning-Based Type Inference for Python

  deeplearningmachinelearningml4sepythonsimilarity-learningtype4pytypeinference
  Language:Python 60

• secure-software-engineering / TypeEvalPy

  A Micro-benchmarking Framework for Python Type Inference Tools

  benchmarkpythonstaticanalysistypeinference
  Language:Python 24

• casperboone / dltpy

   🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context

  pythontypeinferencedeep-learning
  Language:Jupyter Notebook 14

• kwanghoon / bidi

  bidirectional type checking algorithms for higher-ranked polymorphism

  typestypeinferencefunctional-programminghigher-rank-typeshaskellbidirectional-typechecking
  Language:Haskell 13

• saltudelft / type4py-vscode-ext

  VSCode Extension of Type4Py

  autocompletiondeeplearningmachinelearningml4codeml4sepythontype4pytypeannotationstypeinferencevscodevscode-extension
  Language:TypeScript 7

• Dnomyar / Hindley-Milner-Type-System

  Implementation of Hindley-Milner type inference algorithm in Java

  grammarhaskellhindley-milnertypeinference
  Language:Java 3

• ortolanph / Java10Examples

  Java JEP286 examples

  javajava-10vartraitmixinstypeinference
  Language:Java 3

• MystPi / type_inference

  "Type Inference by Example" in Gleam

  gleamtypeinference
  Language:Gleam 1

• nzrsky / ModernObjC

  Header-only ObjC modernization pack 😎

  objcletobjective-ctypeinference
  Language:Objective-C 0

• vst-h / TypeInfer

  Auxiliary type inference without writing types that are not necessary.

  typeinference
  Language:C# 0

• abhinav-nath / java-generics

  All about Generics in Java

  javagenericstypeinference
  Language:Java

• afinlay5 / Java10Var

  Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).

  javajava10gradlevartypeinference
  Language:Java

• afinlay5 / Java11VarLambda

  Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).

  javajava11lambda-expressionstypeinferencevargradle-java
  Language:Java

• mtumilowicz / java10-local-type-inference

  Gentle introduction to Java 10 local variable type inference.

  type-inferencetypeinferencejava10try-with-resourcesvar
  Language:Java