static-types

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.

⚖️ Compare two Zod schemas recursively.

Type system workshop for reactathon

TypeScript-first minimal schema validation for JSON

Python Query builder for Cypher, the graph query language

🔒 A type-safe validation library for TypeScript that helps you validate data with complex business rules and dependencies 🚀

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 small programming language built to be kind, clear, and powerful [design & prototyping phase]

A runtime type-checking library for javascript