All Categories → No Category → type-inference

Top 18 type-inference open source projects

Zod
TypeScript-first schema validation with static type inference
Gluon
A static, type inferred and embeddable language written in Rust.
Jedi
Awesome autocompletion, static analysis and refactoring library for python
Psalm
A static analysis tool for finding errors in PHP applications
type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
REInfer
Runtime Extended Inference for json data.
HyperKA
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
heron-language
A pure functional type-inferred language based on JavaScript
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
1-18 of 18 type-inference projects