🔍 Simplify error handling in TypeScript with a type-safe Result pattern, inspired by Rust, to clarify control flow and improve testing.

Declarative static and runtime type checking with Flow

coulomb: unit analysis for Scala

📝 Create simple, human-readable code with SimpleLang, a minimalist programming language that compiles to Go, making coding accessible to everyone.

A garden of small programming language implementations 🪴

Type checker for a subset of JavaScript, without transpilation

A JavaScript checker and optimizer.

A minimal type checking library that I need in various projects for safer programming

Python command line wrapper for pyright, a static type checker

Decorator which checks whether the function is called with the correct type of parameters.

Calculate the type coverage of popular Python libraries

Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

⚙️ Type stub generator for cffi modules

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

Lovable memory-safe systems language with a pretty fast compiler

A programming language. Static types. Full type inference. Garbage collection. --- not stable

Utility for type-checking only the specified TypeScript files using your project's configuration.

Strict typechecking in runtime for Roblox

Tiny runtime checker for typing annotations with an Option-like API.