static-types
There are 35 repositories under static-types topic.
colinhacks/zod
TypeScript-first schema validation with static type inference
evincarofautumn/kitten
A statically typed concatenative systems programming language.
nicksp/redux-webpack-es6-boilerplate
A starter project for modern React apps with Redux
wevm/abitype
Strict TypeScript types for Ethereum ABIs
erikerlandson/coulomb
coulomb: unit analysis for Scala
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.
yuzheng14/valype
Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions with unplugin integration.
stereobooster/pragmatic-types
Small practical guide on Flow and TypeScript for JavaScript developers
athos/type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
ysknsid25/iolite
A generic Value Object library inspired by Zod for Kotlin. No dependence 3rd party libraries.
goshacmd/redux-typed-saga
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.
lawvs/zod-compare
⚖️ Compare two Zod schemas recursively.
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
kevinwilde/type-system-workshop
Type system workshop for reactathon
EdamAme-x/xalid
TypeScript-first minimal schema validation for JSON
muniter/model-validator-ts
🔒 A type-safe validation library for TypeScript that helps you validate data with complex business rules and dependencies 🚀
iddan/cypher_query_builder
Python Query builder for Cypher, the graph query language
3v0k4/typescript.tips
Make bugs impossible. One TypeScript Tip At A Time.
colxi/functyped
Automatic static type-checking for Javascript functions through declarative syntax.
DeepDoge/typem
An easy to use and extend runtime type checker for TypeScript.
giorgosart/strong-typed
A runtime type-checking library for javascript
grubersjoe/master-thesis
Masterarbeit: Statische Typsysteme für JavaScript - Entwicklung eines Transpilers zur Übersetzung von Flow nach TypeScript
io7m-graveyard/jcanephora
OpenGL plus static safety
justinlubin/Camille
Camille is an interpreted yet statically-typed programming language implemented in Haskell.
pentagram-lang/pentagram
A small programming language built to be kind, clear, and powerful [design & prototyping phase]
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.
xandrw/PHPStrongTypes
PHP strong types implementation (no composer autoload)
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!
AdinAck/bundle
A multi-type container with a static size.
christabor-archive/more_collections
An experiment in type safe data structures...
jwdunne/99-ocaml-problems
https://v2.ocaml.org/learn/tutorials/99problems.html
Mansafreo/PIE-Compiler
A Proof of concept compiler for a custom programming language
ranjankumarmandal/TypeScript-React-Hooks-Props-State-Project
TypeScript, React - state, props, props.children (with React.FC type), hooks (useState, useRef, useReducer).
UsamaIsrarDev/typescript-fundamentals
w3schools - TypeScript being a "Syntactic Superset" means that it shares the same base syntax as JavaScript, but adds something to it.
Yann-GitHub/typescript-patientor
👨⚕️ Patientor (Fullstack- the University of Helsinki)