#type-inference (17 Repositories)
Ranked open-source repositories tagged with #type-inference, scored by pull request acceptance likelihood and maintainer engagement velocity.
30.1%
6.9h
17 repositories tagged #type-inference
rubys/roundhouse
Rails as a specification; the deployment target is a build flag
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!
anzellai/sky
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
colinhacks/zod
TypeScript-first schema validation with static type inference
staabm/phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
vimeo/psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
horacehoff/keel
A fast, statically-typed interpreted language that blends Rust-like syntax with Python's ease of use. 2-10x faster than Python, with type inference, monomorphization, and constant folding.
gvergnaud/ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
potigol/potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles.
JohnSundell/Codextended
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
yinwang0/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.