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

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

Python Query builder for Cypher, the graph query language

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

Contravariant functors in JavaScript + Flow with correct type inference

Automatic static type-checking for Javascript functions through declarative syntax.

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.

A small programming language built to be kind, clear, and powerful [design phase]

OpenGL plus static safety

PHP strong types implementation (no composer autoload)