Programming language agnostic type construction language based on polynomials.
-
Updated
May 29, 2024 - Idris
Programming language agnostic type construction language based on polynomials.
Tool to generate TypeScript declaration files for Dynamics 365/CDS client-side coding.
Updated and fixed version of TypeScript typings for Google APIs generator
Scripting environment for hackmud with minification, autocompletes / intellisense, and TypeScript support.
Community effort followup to provide mxgraph TypeScript type definitions / typings via DefinitelyTyped
Types to manage tournament brackets
Ruby structs but with type-checked attributes ⚡️🔐
Builds a single d.ts file library from generated d.ts sources
Type definitions for Nostr applications made with TypeScript
A TypeScript project featuring modular utilities and type definitions for various development tasks.
Type declarations for KWin's scripting API
TypeScript Definitions for daum.maps.* (Daum 지도 Web API)
Type patcher for Apollo's apollo-link-rest
📦 A plugin for the Parcel bundler to generate .d.ts files for your CSS Modules.
TypeScript declarations for the Adobe InDesign UXP scripting DOM. Completion, hover docs and type checking for the indesign module in UXP plugins and scripts. Built on Adobe's object-model dictionary, measured against the running application.
Extract definition files from local node modules.
Gloss is a language project which brings Crystal-like features to Ruby.
PHPStan stubs for Elementor and Elementor Pro. Full IDE autocomplete, IntelliSense, and type safety for WordPress developers building Elementor widgets and extensions.
To associate your repository with the type-definitions topic, visit your repo's landing page and select "manage topics."