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: 19 Jan 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/mystpi/type_inference
"Type Inference by Example" in Gleam
Last synced: 02 Mar 2025
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: 23 Feb 2025
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: 07 Apr 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: 03 Mar 2025
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: 03 Mar 2025
https://github.com/nzrsky/modernobjc
Header-only ObjC modernization pack 😎
let objc objective-c typeinference
Last synced: 16 Jan 2025
