Topic: "typeinference"
JSMonk/hegel 📦
An advanced static type checker
Language: JavaScript - Size: 121 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2,097 - Forks: 59
7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
Language: F# - Size: 110 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 163 - Forks: 8
saltudelft/type4py
Type4Py: Deep Similarity Learning-Based Type Inference for Python
Language: Python - Size: 201 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 63 - Forks: 12
secure-software-engineering/TypeEvalPy
A Micro-benchmarking Framework for Python Type Inference Tools
Language: Python - Size: 29.2 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 33 - Forks: 2
casperboone/dltpy
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
Language: Jupyter Notebook - Size: 27.2 MB - Last synced at: 24 days ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 6
kwanghoon/bidi
bidirectional type checking algorithms for higher-ranked polymorphism
Language: Haskell - Size: 83 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 0
saltudelft/type4py-vscode-ext
VSCode Extension of Type4Py
Language: TypeScript - Size: 5.94 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0
ortolanph/Java10Examples
Java JEP286 examples
Language: Java - Size: 47.9 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0
Dnomyar/Hindley-Milner-Type-System
Implementation of Hindley-Milner type inference algorithm in Java
Language: Java - Size: 9.01 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
osama-raddad/Vault
Vault is a next-generation state management library for Kotlin that combines transactional safety with reactive programming. It provides a robust, type-safe way to manage application state with automatic error recovery and seamless persistence integration.
Language: Kotlin - Size: 98.6 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
MystPi/type_inference
"Type Inference by Example" in Gleam
Language: Gleam - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Tracktile/Veritas
Code first API framework with full type inference, validation, OpenAPI schema generation, and serverless integration.
Language: TypeScript - Size: 341 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
nzrsky/ModernObjC 📦
Header-only ObjC modernization pack 😎
Language: Objective-C - Size: 55.7 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
abhinav-nath/java-generics
All about Generics in Java
Language: Java - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
vst-h/TypeInfer
Auxiliary type inference without writing types that are not necessary.
Language: C# - Size: 10.7 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
mtumilowicz/java10-local-type-inference
Gentle introduction to Java 10 local variable type inference.
Language: Java - Size: 57.6 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
afinlay5/Java10Var
Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).
Language: Java - Size: 146 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1
afinlay5/Java11VarLambda
Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).
Language: Java - Size: 176 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1