static-types topic

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.

brundonsmith

A starter project for modern React apps with Redux

nicksp

A statically typed concatenative systems programming language.

evincarofautumn

coulomb: unit analysis for Scala

erikerlandson

TypeScript-first schema validation with static type inference

colinhacks

Argument validation library based on JSDOC syntax

dsheiko

Strict TypeScript types for Ethereum ABIs

wevm

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

athos

Small practical guide on Flow and TypeScript for JavaScript developers

stereobooster