Python Data Structures for Humans™.
Runtime validation for static types
A JavaScript compiler and TypeScript checker written in Rust with a focu...
Strict TypeScript and Flow types for style based on MDN data
Compile type annotated Python to fast C extensions
The Lux Programming Language
Python static typing home. Hosts the documentation and a user help forum.
Pluggable type-checking for Java
Flexible type system for Ruby with coercions and constraints
Auto generation of idiomatic bindings between Reason and JavaScript: eit...
Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
A linter that suggests interface types
Mypy plugin and stubs for SQLAlchemy
📊 Benchmark Comparison of Packages with Runtime Validation and TypeScri...