Gradual Typing
Showing 10 of 10 projects
A static type checker for JavaScript that helps catch errors during development and improve code quality.
A static type checker for Python that enforces type hints to catch bugs before runtime.
A fast, small, safe, gradually typed embeddable scripting language derived from Lua, used by Roblox and game developers.
A fast, powerful type checker for Ruby that supports gradual typing and easy adoption in existing codebases.
A dynamically typed scripting language designed for seamless integration with Rust, featuring a lifetime checker and no garbage collector.
A static type checker for Ruby that supports gradual typing through explicit type annotations and signatures.
An optional type system for Clojure that provides static type checking as a library.
A multi-paradigm programming language with gradual and duck typing that compiles to PHP, Python, and JavaScript.
A Python tool that re-applies type annotations from .pyi stub files back into your source code.
A CLI tool that integrates mypy with existing Python projects by reporting only new type violations and ignoring existing ones.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.