An advanced static type checker
-
Updated
Jan 29, 2024 - JavaScript
#
typeinference
Here are 17 public repositories matching this topic...
Different type inference algorithms implemented in F#
-
Updated
Mar 2, 2021 - F#
Type4Py: Deep Similarity Learning-Based Type Inference for Python
-
Updated
Sep 6, 2023 - Python
A Micro-benchmarking Framework for Python Type Inference Tools
-
Updated
Dec 18, 2024 - Python
bidirectional type checking algorithms for higher-ranked polymorphism
-
Updated
Mar 23, 2022 - Haskell
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
-
Updated
May 3, 2024 - Jupyter Notebook
VSCode Extension of Type4Py
python autocompletion vscode vscode-extension machinelearning deeplearning typeinference ml4code typeannotations ml4se type4py
-
Updated
Mar 31, 2022 - TypeScript
Implementation of Hindley-Milner type inference algorithm in Java
-
Updated
Nov 30, 2017 - Java
A tree with CRUD, traversal, and visualization in TypeScript and F#. ChatGPT4-o1.
-
Updated
Dec 15, 2024 - TypeScript
Header-only ObjC modernization pack 😎
-
Updated
Oct 17, 2022 - Objective-C
Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).
-
Updated
May 1, 2018 - Java
Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).
-
Updated
May 1, 2018 - Java
Gentle introduction to Java 10 local variable type inference.
-
Updated
Nov 18, 2020 - Java
Auxiliary type inference without writing types that are not necessary.
-
Updated
Feb 5, 2023 - C#
Improve this page
Add a description, image, and links to the typeinference topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typeinference topic, visit your repo's landing page and select "manage topics."