#type-inference (9 Repositories)
Ranked open-source repositories tagged with #type-inference, scored by pull request acceptance likelihood and maintainer engagement velocity.
40.7%
87.4h
9 repositories tagged #type-inference
staabm/phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
hkust-taco/mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
anzellai/sky
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
potigol/potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
gvergnaud/ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.