Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Repository Index
47,133 repositories indexed
25–48 of 48 · Most stars
A plugin for Babel v6 which transforms inline styles defined in JavaScript modules into class names so they become available to, e.g. the `className` prop of React elements. While transforming, the plugin processes all JavaScript style definitions found and bundles them up into a CSS file, ready to be requested from your web server.
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
An expansible unit conversion library for .NET: exact definitions, synonym-based unit names and no dependencies.
- unit-conversion
- csharp
- nuget
- nuget-package
RGBDS include file for Game Boy hardware definitions
- rgbds
- game-boy-development
- hardware
A starter kit for working with the Aurelia TypeScript type definitions
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
Guided code exploration for Neovim with definitions, refs, callers, tests, git, and persistent Trails from the current symbol
- code-navigation
- developer-tools
- lsp
- lua
GoDoc Live statically analyzes your Go HTTP services — extracts route definitions, request/response contracts, and authentication patterns — then generates beautiful, interactive API documentation.
- docs
- documentation
- documentation-generator
- golang
Definitions for the LÖVE 2D game framework
- luacats
- lua-language-server
Lookup word definitions, phonetics, and synonyms directly in PowerToys Run.
- csharp
- dotnet
- plugin
- powertoys
A neovim plugin to convert JSON objects to Type Definitions
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
Compile erlang record definitions into modules to convert them to/from json easily.
- erlang
- json
- json-converter
Data policy IN, dynamic view OUT: PACE is the Policy As Code Engine. It helps you to programatically create and apply a data policy to a processing platform like Databricks, Snowflake or BigQuery (or plain 'ol Postgres, even!) with definitions imported from Collibra, Datahub, ODD and the like.
- data-catalog
- data-processing
- policy-enforcement
- bigquery
A Lua language server add-on for writing PICO-8 code in an external editor
- lua
- pico8
- picotron
- vscode
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
time range expression in cron style
- range
- range-expression
- cron-style
- go-package
A complete Crystal lang implementation of the Matter protocol specification (https://buildwithmatter.com). Includes full support for controller, device, commissioning, secure communications, device types, and cluster definitions.
language injection definitions for PyCharm with playwright-python
Node.js Package to Combine Resolvers & Merge Graphql Schema
- apollo-server
- definitions
- nodejs-server
- graphql-apollo
TypeScript definitions for Web Monetization
- webmonetization
- web-monetization
- typescript
- types
FitEx is a Macro-Module which provides a bit of sugar for function definitions.
- macros
- elixir-lang
- elixir
- functional-programming