static-types topic
bagel
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.
redux-webpack-es6-boilerplate
A starter project for modern React apps with Redux
kitten
A statically typed concatenative systems programming language.
coulomb
coulomb: unit analysis for Scala
zod
TypeScript-first schema validation with static type inference
bycontract
Argument validation library based on JSDOC syntax
abitype
Strict TypeScript types for Ethereum ABIs
type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
pragmatic-types
Small practical guide on Flow and TypeScript for JavaScript developers