The repository for high quality TypeScript type definitions.
- typescript
- definition
- dts
- types
Repository Index
47,133 repositories indexed
1–24 of 48 · Most stars
Translated🎭 277 plug-and-play AI expert roles — supporting 20 tools such as Claude Code/Cursor/Copilot, covering 20 departments including engineering/design/marketing/finance. Includes 64 original agents for the Chinese market (Xiaohongshu/Douyin/WeChat/Feishu/DingTalk/Qt host computer software/mechanical design). Paired with the orchestrator agency-orchestrator, a single sentence lets multiple experts collaborate automatically as a DAG.
A collection of essential TypeScript types
- typescript-definitions
- typescript
- types
- utilities
Style definitions for nice terminal layouts 👄
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
- asyncapi
- reactive
- specification
- websockets
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Automatically generate Go (golang) struct definitions from example JSON
- gojson
- go
- cli
- golang
Create test data for Elixir applications
- elixir
- testing
- factory-definitions
- factories
GUI / visual editor for creating and editing OpenAPI / Swagger definitions
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
fast, simple packet creation / parsing, with definitions for the basic TCP/IP protocols
A small Neovim plugin for previewing definitions using floating windows.
- neovim
- lua
- hacktoberfest
- neovim-plugin
High level network definitions with pre-trained weights in TensorFlow
- tensorflow
- model
- zoo
- deep-learning
🚀 fast JavaScript 4 Eclipse Vert.x
- vertx
- language-support
- javascript
- typescript
A repository to hold definitions of docker images maintained by OSRF
A task scheduler built with Go and Vue.js that allows users to specify recurring jobs via a simple YAML configuration file. The scheduler reads job definitions, executes commands at specified times using cron expressions, and passes in environment variables for each job.
Highlight arguments' definitions and usages, using Treesitter
Official mirror for interface definitions and helper classes for Java code running on the AWS Lambda platform.
Display references, definitions and implementations of document symbols
Carbon Design System SVG icons as Svelte components
- ibm
- icons
- carbon
- carbon-design-system
Easy permission definitions in Elixir apps!
The Ott tool for writing definitions of programming languages and calculi
This package adds syntax definitions for the Laravel Blade engine.
- sublime-text
- blade-engine
- highlighter
- php