Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with narrowing
A curated list of projects in awesome lists tagged with narrowing .
https://github.com/nshen/narrowing
🤖 TypeScript tiny narrowing helpers you better use.
front-end narrowing react typeguard typescript vue
Last synced: 27 Oct 2024
https://github.com/lue-bird/elm-morph
a parser-printer: dev-friendly, general-purpose, great errors
bimap bits codec elm json narrowing parser parser-printer unparser
Last synced: 26 Oct 2024
https://github.com/ootidea/ts-tagged-union
A library for defining and manipulating algebraic data types in TypeScript.
algebraic-data-types discriminated-unions exhaustiveness-checking library narrowing npm-package pattern-matching tagged-unions typescript
Last synced: 23 Oct 2024
https://github.com/matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
Last synced: 13 Oct 2024
https://github.com/smikhalevski/jtdc
JSON Type Definition to TypeScript compiler.
compile guard json-schema jtd narrowing ts typescript validator
Last synced: 11 Nov 2024
