type-inference topic
linlam
a library for experimental linear lambda calculus
wort
A core concatenative programming language with variables and first-rank polymorphic type inference
mt
Master thesis on developing a static type checker for Erlang
hindley-milner
Template for Hindley-Milner based languages
Opal
Simple and powerful programming language with type inference
LambdaNet
Probabilistic Type Inference using Graph Neural Networks
HyperKA
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
REInfer
Runtime Extended Inference for json data.
DataAnalyzer.app
✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!