type-inference topic
cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
IntercalScript
The IntercalScript programming language
tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
joujou
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with su...
jedi
Awesome autocompletion, static analysis and refactoring library for python
samlang
Sam's Programming Language
polytype-rs
A Hindley-Milner polymorphic typing system
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
gluon
A static, type inferred and embeddable language written in Rust.