ZodTypeScript-first schema validation with static type inference
GluonA static, type inferred and embeddable language written in Rust.
JediAwesome autocompletion, static analysis and refactoring library for python
PsalmA static analysis tool for finding errors in PHP applications
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
type-inferA Clojure utility to inspect static types inferred by the Clojure compiler
DataAnalyzer.app✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!
REInferRuntime Extended Inference for json data.
visionsType System for Data Analysis in Python
HyperKAKnowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
TypologySwift type checking and semantic analysis for developer tools
heron-languageA pure functional type-inferred language based on JavaScript
TypesAndProofsType inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
LambdaNetProbabilistic Type Inference using Graph Neural Networks
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
phpstan-dbaPHPStan based SQL static analysis and type inference for the database access layer