Gradual Typing
5 projects
Showing 5 of 5 projects
flowRust
A static type checker for JavaScript that helps catch errors during development and improve code quality.
#developer-tools#type-safety#flow-parser
Stars22.2k
Forks1.9k
Last commit1 day ago
mypyPython
A static type checker for Python that enforces type hints to catch bugs before runtime.
#developer-tools#python-typing#linter
Stars20.4k
Forks3.2k
Last commit1 day ago
LuauC++
A fast, small, safe, gradually typed embeddable scripting language derived from Lua, used by Roblox and game developers.
#programming-language#roblox#type-inference
Stars5.5k
Forks560
Last commit4 days ago
SorbetC++
A fast, powerful type checker for Ruby that supports gradual typing and easy adoption in existing codebases.
#developer-tools#language-server#code-quality
Stars3.8k
Forks584
Last commit1 day ago
dyonRust
A dynamically typed scripting language designed for seamless integration with Rust, featuring a lifetime checker and no garbage collector.
#lifetime-checker#4d-vectors#coroutines
Stars1.9k
Forks57
Last commit4 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
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.