GitHub topics: narrowing
ootidea/ts-tagged-union
A library for defining and manipulating algebraic data types in TypeScript.
Language: TypeScript - Size: 574 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 9 - Forks: 0
AndrasE/typescript-tutorial 📦
TypeScript basics
Language: TypeScript - Size: 5.84 MB - Last synced at: 18 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
nberlette/is
Just another portable platform-agnostic package of high-performance type predicates. 🤪
Language: TypeScript - Size: 567 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
nshen/narrowing
🤖 TypeScript tiny narrowing helpers you better use.
Language: TypeScript - Size: 183 KB - Last synced at: about 11 hours ago - Pushed at: about 1 year ago - Stars: 29 - Forks: 1
caksoylar/kakoune-focus
Focus on your selections, remove distractions
Language: KakouneScript - Size: 13.7 KB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 31 - Forks: 1
danielwaltz/ts-define-constant
Type safe utility for defining static constants with automatic type narrowing and additional helper functions
Language: TypeScript - Size: 1.34 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
KarimAziev/el-narrow
Narrow to the closest parent list
Language: Emacs Lisp - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
lue-bird/elm-morph
a parser-printer: dev-friendly, general-purpose, great errors
Language: Elm - Size: 1.8 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 1
fadoss/snarrow
Narrowing with strategies in Maude
Language: Python - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Brar21/TypeScript-Learning
Typescript is better face of Javascript . This repo is tutorial for beginners who want to learns Typescript from scratch every this is written in very simple way or easy to understand. For day get new things about Typescript you can Starred this repository and fork in your local system.
Language: TypeScript - Size: 4.65 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
Size: 110 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
smikhalevski/jtdc
JSON Type Definition to TypeScript compiler.
Language: TypeScript - Size: 770 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
