Projects in Awesome Lists tagged with static-types

https://github.com/colinhacks/zod

TypeScript-first schema validation with static type inference

runtime-validation schema-validation static-types type-inference typescript

Last synced: 04 May 2026

https://github.com/evincarofautumn/kitten

A statically typed concatenative systems programming language.

concatenative effects forth haskell language programming-language static-types

Last synced: 16 May 2025

https://github.com/nicksp/redux-webpack-es6-boilerplate

A starter project for modern React apps with Redux

boilerplate css-modules flow react react-boilerplate react-router redux redux-boilerplate redux-devtools sass sentry starter-kit starter-react starter-template static-types tdd tdd-workflow webpack2

Last synced: 02 Oct 2025

https://github.com/wevm/abitype

Strict TypeScript types for Ethereum ABIs

abi ethereum static-types type-inference types typescript web3

Last synced: 13 May 2025

https://github.com/erikerlandson/coulomb

coulomb: unit analysis for Scala

avro-schema configuration configuration-management dimensional-analysis numeric pureconfig refined scala static-types type-safety typechecking typeclass typelevel unit-analysis unit-conversion unit-quantity units units-of-measure

Last synced: 07 Apr 2025

https://github.com/brundonsmith/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.

compiler deno functional-programming javascript reactivity static-types strongly-typed typescript

Last synced: 09 Apr 2025

https://github.com/stereobooster/pragmatic-types

Small practical guide on Flow and TypeScript for JavaScript developers

flow flowtype static-types typescript

Last synced: 12 Jul 2025

https://github.com/athos/type-infer

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

clojure macros static-types type-inference

Last synced: 09 Jul 2025

https://github.com/yuzheng14/valype

Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions.

farm rollup runtime-validation schema-validation static-types tsdown type-inference typecheck typechecker typescript unplugin validate validation validator vite webpack zod

Last synced: 30 Jun 2025

https://github.com/lawvs/zod-compare

⚖️ Compare two Zod schemas recursively.

runtime-validation schema-validation static-types type-inference typescript zod

Last synced: 14 Feb 2026

https://github.com/mbdevpl/static-typing

Add static type information into Python abstract syntax trees.

dynamic-analysis static-analysis static-types statically-typed type-safety type-system

Last synced: 21 Aug 2025

https://github.com/kevinwilde/type-system-workshop

Type system workshop for reactathon

static-types type-inference type-systems

Last synced: 11 Apr 2025

https://github.com/edamame-x/xalid

TypeScript-first minimal schema validation for JSON

runtime-validation schema-validation static-types type-inference typescript

Last synced: 30 Oct 2025

https://github.com/jacobweisenburger/leukocyte

Customizable validation with type inference

javascript runtime-validation schema-validation static-types type-inference typescript

Last synced: 12 Apr 2025

https://github.com/3v0k4/typescript.tips

Make bugs impossible. One TypeScript Tip At A Time.

static-types tips typescript

Last synced: 27 Apr 2026

https://github.com/io7m-graveyard/jcanephora

OpenGL plus static safety

java opengl static-types

Last synced: 04 Oct 2025

https://github.com/useflyyer/flyyer-variables

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

ajv flyyer json-schema react seo static-types typescript

Last synced: 02 May 2026

https://github.com/grubersjoe/master-thesis

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

babel-plugin flow static-types transpiler typescript

Last synced: 20 Jun 2025

https://github.com/giorgosart/strong-typed

A runtime type-checking library for javascript

hacktoberfest javascript-library static-types strong-typed type-check type-checking

Last synced: 14 Jun 2025

https://github.com/justinlubin/camille

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

interpreter programming-languages static-types type-system

Last synced: 24 Apr 2026

https://github.com/jithin-b-p/typescript-101

This repository serves as my personal playground for learning TypeScript. Here, I'll be documenting my progress, including code examples, and notes as I delve into the world of statically typed JavaScript. Feel free to follow along, contribute code snippets, or suggest resources!

codeexamples learning-resources static-types typescript

Last synced: 04 Jun 2026