static-types
There are 30 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.
stereobooster/pragmatic-types
Small practical guide on Flow and TypeScript for JavaScript developers
dsheiko/bycontract
Argument validation library based on JSDOC syntax
athos/type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
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.
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
kevinwilde/type-system-workshop
Type system workshop for reactathon
lawvs/zod-compare
⚖️ Compare two Zod schemas recursively.
zimicjs/zimic
Next-gen, TypeScript-first HTTP request mocking
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/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 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)
AdinAck/bundle
A multi-type container with a static size.
christabor-archive/more_collections
An experiment in type safe data structures...
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!
jwdunne/99-ocaml-problems
https://v2.ocaml.org/learn/tutorials/99problems.html
ranjankumarmandal/TypeScript-React-Hooks-Props-State-Project
TypeScript, React - state, props, props.children (with React.FC type), hooks (useState, useRef, useReducer).