Projects in Awesome Lists tagged with typeinference
A curated list of projects in awesome lists tagged with typeinference .
https://github.com/jsmonk/hegel
An advanced static type checker
javascript type-safety typeinference
Last synced: 29 Sep 2025
https://github.com/JSMonk/hegel
An advanced static type checker
javascript type-safety typeinference
Last synced: 13 Mar 2025
https://github.com/7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
fsharp hindley-milner polymorphism typeinference typesystems
Last synced: 14 Apr 2025
https://github.com/saltudelft/type4py
Type4Py: Deep Similarity Learning-Based Type Inference for Python
deeplearning machinelearning ml4se python similarity-learning type4py typeinference
Last synced: 13 May 2025
https://github.com/secure-software-engineering/typeevalpy
A Micro-benchmarking Framework for Python Type Inference Tools
benchmark python staticanalysis typeinference
Last synced: 10 Apr 2025
https://github.com/casperboone/dltpy
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
deep-learning python typeinference
Last synced: 22 Apr 2025
https://github.com/sinelaw/inty
Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation
javascript typechecking typeinference
Last synced: 09 Jun 2026
https://github.com/saltudelft/type4py-vscode-ext
VSCode Extension of Type4Py
autocompletion deeplearning machinelearning ml4code ml4se python type4py typeannotations typeinference vscode vscode-extension
Last synced: 19 Feb 2026
https://github.com/mystpi/type_inference
"Type Inference by Example" in Gleam
Last synced: 19 Mar 2026
https://github.com/aabbtree77/tree-chatgpt
A tree with CRUD, traversal, and visualization in TypeScript and F#. ChatGPT4-o1.
approximation chatgpt exhaustive tree typeinference
Last synced: 10 Sep 2025
https://github.com/afinlay5/java11varlambda
Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).
gradle-java java java11 lambda-expressions typeinference var
Last synced: 08 Jun 2026
https://github.com/mtumilowicz/java10-local-type-inference
Gentle introduction to Java 10 local variable type inference.
java10 try-with-resources type-inference typeinference var
Last synced: 26 Jun 2026
https://github.com/afinlay5/java10var
Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).
gradle java java10 typeinference var
Last synced: 18 May 2026
https://github.com/nzrsky/modernobjc
Header-only ObjC modernization pack 😎
let objc objective-c typeinference
Last synced: 25 Sep 2025
