Static Typing
Showing 29 of 65 projects
An ESLint plugin for optional static type checking in JavaScript using JSDoc and existing data schemas.
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.
An OCaml linear algebra library providing BLAS and LAPACK bindings with compile-time static size checking for matrix and vector operations.
An opinionated Python typing package providing precise type hints, single-method protocols, exact types, and typed operators.
Python library to convert Draft.js ContentState JSON to customizable HTML.
A CLI tool that integrates mypy with existing Python projects by reporting only new type violations and ignoring existing ones.
A type provider for regular expressions in F#, providing compile-time validation and IntelliSense.
Generate type-safe Elm client code from GraphQL queries and mutations with schema validation.
Enhanced type stubs for PyQt5 and related packages to enable accurate static type checking with mypy.
Provides missing but important type definitions for Common Lisp, such as proper-list, association-list, and standard designators.
A Neovim plugin that automatically generates type definitions from JSON for over 20 programming languages.
External type annotations (stubs) for the lxml Python package, enabling static type checking.
Generates Python TypedDict types from JSON Schema or OpenAPI3 schemas.
PEP-561-compliant stub-only package providing type information for gRPC in Python.
A mypy plugin that enables static type checking for zope.interface patterns in Python.
A next-generation MVC web application framework for Vala that enables rapid development of scalable, statically-typed applications.
A mypy plugin that provides static type checking for loguru's lazy logging and other features.
A statically-typed functional programming language for building secure and predictable smart contracts on the Waves blockchain.
A library for type-safe, strict Python structures with JSON schema support and static type checking.
A collection of essential TypeScript utility types that should have been built-in.
A JSON parser implemented in the Coalton programming language, providing type-safe JSON parsing and manipulation.
A statically typed, esoteric ML programming language that uses long-term storage for memory management.
Type stubs for the phonenumbers and phonenumbers-lite Python libraries, enabling static type checking.
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.