TypeScript-first schema validation with static type inference

A statically typed concatenative systems programming language.

A starter project for modern React apps with Redux

Strict TypeScript types for Ethereum ABIs

coulomb: unit analysis for Scala

A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used to the JavaScript/TypeScript language and ecosystem.

Small practical guide on Flow and TypeScript for JavaScript developers

Argument validation library based on JSDOC syntax

A Clojure utility to inspect static types inferred by the Clojure compiler

A type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the generator completely.

Add static type information into Python abstract syntax trees.

Type system workshop for reactathon

⚖️ Compare two Zod schemas recursively.

Python Query builder for Cypher, the graph query language

Masterarbeit: Statische Typsysteme für JavaScript - Entwicklung eines Transpilers zur Übersetzung von Flow nach TypeScript

Camille is an interpreted yet statically-typed programming language implemented in Haskell.

A runtime type-checking library for javascript

Helper module to create a `schema` that enables Flyyer.io to display template's variables on https://flyyer.io/dashboard for decks and templates.

An easy to use and extend runtime type checker for TypeScript.

OpenGL plus static safety