facebook / pyrefly

A fast type checker and language server for Python

teal-language / tl

The compiler for Teal, a typed dialect of Lua

jasmcaus / caer

High-performance Vision library in Python. Scale your research, not boilerplate.

PowderworksCode / headstart

Start dependent crates before their dependencies finish type-checking

gsxhq / gsxui

shadcn-style components for gsx — copy-in, type-checked, server-rendered

carthage-software / mago

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

beartype / beartype

Unbearably fast near-real-time pure-Python runtime-static type-checker.

ruby / rbs

The type signature language for Ruby

zubanls / zuban

Python Type Checker / Language Server

typetools / checker-framework

Pluggable type-checking for Java

johnthagen / python-blueprint

🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint

silq-lang / silq

Silq quantum programming language type checker, compiler, and experimental interpreter.

OpenLabs-so / oa-design

The Open Analytics design language as an agent skill: component recipes with type-checked source, token CSS, and a CLI. Works with Claude Code, Cursor, or any agent.

cornucopia-rs / cornucopia

Generate type-checked Rust from your PostgreSQL.