Static Typing
Showing 7 of 43 projects
A Python tool that converts type comments into modern type annotations while preserving original formatting.
A .NET type provider for reading Excel files with static type safety and IntelliSense support.
A Python tool that re-applies type annotations from .pyi stub files back into your source code.
F# type provider for PostgreSQL offering statically typed SQL queries and data modifications with idiomatic F# syntax.
A collection of Python typing koans that teach type hints through hands-on exercises using Mypy.
A pytest plugin that automatically generates PyAnnotate type annotations from your test runs.
A functional reactive programming language that transpiles to Arduino C++ for real-time embedded systems.
Related Tags
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.