#

narrowing

Here are 11 public repositories matching this topic...

caksoylar / kakoune-focus

Focus on your selections, remove distractions

plugin kakoune narrowing

Updated Jul 2, 2023
KakouneScript

nshen / narrowing

🤖 TypeScript tiny narrowing helpers you better use.

react front-end typescript vue typeguard narrowing

Updated Mar 11, 2024
TypeScript

elm-morph

lue-bird / elm-morph

a parser-printer: dev-friendly, general-purpose, great errors

parser json elm bits codec bimap narrowing unparser parser-printer

Updated Dec 1, 2023
Elm

ootidea / ts-tagged-union

A library for defining and manipulating algebraic data types in TypeScript.

library typescript pattern-matching npm-package algebraic-data-types discriminated-unions exhaustiveness-checking tagged-unions narrowing

Updated Sep 23, 2024
TypeScript

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.

debugging typescript strings array npm-package literals enum undefined null intersection any nullable tsconfig-paths null-check narrowing optional-chaining snowpack tsconfig-setttings tsconfig-json

Updated Jan 13, 2023
TypeScript

matthesjh / rewriting-curry

Libraries for term rewriting and narrowing in Curry

curry substitution unification rewriting narrowing critical-pairs pakcs kics2 definitional-trees

Updated Jan 17, 2021

danielwaltz / ts-define-constant

Type safe utility for defining static constants with automatic type narrowing and additional helper functions

utility typescript constant narrowing type-narrowing

Updated Oct 30, 2024
TypeScript

KarimAziev / el-narrow

Narrow to the closest parent list

emacs-lisp narrowing

Updated Nov 9, 2024
Emacs Lisp

smikhalevski / jtdc

JSON Type Definition to TypeScript compiler.

typescript json-schema validator guard ts compile narrowing jtd

Updated Dec 3, 2021
TypeScript

fadoss / snarrow

Narrowing with strategies in Maude

maude strategies narrowing

Updated Jan 20, 2024
Python

AndrasE / TypeScript-tutorial

TypeScript basics

debugging typescript tuples enum union-types chaining type-classes narrowing intersection-types type-aliases

Updated Oct 18, 2024
TypeScript

Improve this page

Add a description, image, and links to the narrowing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the narrowing topic, visit your repo's landing page and select "manage topics."