GitHub topics: static-types
lawvs/zod-compare
⚖️ Compare two Zod schemas recursively.
Language: TypeScript - Size: 386 KB - Last synced at: about 2 hours ago - Pushed at: about 3 hours ago - Stars: 6 - Forks: 0
wevm/abitype
Strict TypeScript types for Ethereum ABIs
Language: TypeScript - Size: 1.32 MB - Last synced at: about 7 hours ago - Pushed at: 5 days ago - Stars: 510 - Forks: 54
colinhacks/zod
TypeScript-first schema validation with static type inference
Language: TypeScript - Size: 17.8 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 37,085 - Forks: 1,342
io7m-graveyard/jcanephora 📦
OpenGL plus static safety
Language: Java - Size: 24.4 MB - Last synced at: 12 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
muniter/model-validator-ts
🔒 A type-safe validation library for TypeScript that helps you validate data with complex business rules and dependencies 🚀
Language: TypeScript - Size: 42 KB - Last synced at: 2 days ago - Pushed at: 22 days ago - Stars: 2 - Forks: 0
stereobooster/pragmatic-types
Small practical guide on Flow and TypeScript for JavaScript developers
Size: 95.7 KB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 41 - Forks: 2
athos/type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
Language: Clojure - Size: 33.2 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 0
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.
Language: TypeScript - Size: 4.21 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 2
EdamAme-x/xalid
TypeScript-first minimal schema validation for JSON
Language: TypeScript - Size: 52.7 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
erikerlandson/coulomb
coulomb: unit analysis for Scala
Language: Scala - Size: 4.05 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 143 - Forks: 9
3v0k4/typescript.tips
Make bugs impossible. One TypeScript Tip At A Time.
Language: Astro - Size: 614 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
nicksp/redux-webpack-es6-boilerplate 📦
A starter project for modern React apps with Redux
Language: JavaScript - Size: 141 KB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 560 - Forks: 126
pentagram-lang/pentagram
A small programming language built to be kind, clear, and powerful [design & prototyping phase]
Language: Python - Size: 158 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1
evincarofautumn/kitten
A statically typed concatenative systems programming language.
Language: Haskell - Size: 2.78 MB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 1,100 - Forks: 40
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
Language: Python - Size: 153 KB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 2
AdinAck/bundle 📦
A multi-type container with a static size.
Language: Rust - Size: 41 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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!
Language: TypeScript - Size: 316 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
christabor-archive/more_collections 📦
An experiment in type safe data structures...
Language: Python - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
kevinwilde/type-system-workshop
Type system workshop for reactathon
Language: TypeScript - Size: 57.6 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1
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.
Language: JavaScript - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 14 - Forks: 2
giorgosart/strong-typed
A runtime type-checking library for javascript
Language: JavaScript - Size: 9.77 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
metatypes/metatypes-ts
new approach to types of your code
Language: TypeScript - Size: 269 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
DeepDoge/typem
An easy to use and extend runtime type checker for TypeScript.
Language: TypeScript - Size: 139 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
iddan/cypher_query_builder 📦
Python Query builder for Cypher, the graph query language
Language: Python - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
grubersjoe/master-thesis
Masterarbeit: Statische Typsysteme für JavaScript - Entwicklung eines Transpilers zur Übersetzung von Flow nach TypeScript
Language: TeX - Size: 6.22 MB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
danieldogeanu/right-type
A simple utility for checking JavaScript types.
Language: JavaScript - Size: 907 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
ranjankumarmandal/TypeScript-React-Hooks-Props-State-Project
TypeScript, React - state, props, props.children (with React.FC type), hooks (useState, useRef, useReducer).
Language: TypeScript - Size: 308 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
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.
Language: TypeScript - Size: 2.73 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
jonathancast/globalscript
Global Script Typesetting System --- git clone
Language: C - Size: 5.28 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
colxi/functyped
Automatic static type-checking for Javascript functions through declarative syntax.
Language: JavaScript - Size: 79.1 KB - Last synced at: 6 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
jonathancast/globalscript-spec
Global Script Language Spec / test suite
Language: JavaScript - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
xandrw/PHPStrongTypes
PHP strong types implementation (no composer autoload)
Language: PHP - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
justinlubin/Camille
Camille is an interpreted yet statically-typed programming language implemented in Haskell.
Language: Haskell - Size: 1.07 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
