tailwindcss-fluid-type

tailwindcss-fluid-type

A plugin that makes the use of Fluid Type a breeze.

JavaScript334mit

6 months ago

fluid-typemodular-scaletailwind

typex

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transit

Go196mit

last year

cliexportgo

APIKit

Type-safe networking abstraction layer that associates request type with respons

Swift1995mit

3 months ago

learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2116

21 days ago

TheAnimation

TheAnimation

Type-safe CAAnimation wrapper. It makes preventing to set wrong type values.

Swift224mit

5 years ago

animationcarthagecocoapods

convergen

A type-to-type copy function code generator.

Go32mit

6 months ago

code-generatorddd-patternsgolang

typebox

typebox

Json Schema Type Builder with Static Type Resolution for TypeScript

TypeScript4643other

2 months ago

ajvjson-schemaopen-api

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript372mit

3 months ago

is

is

Type check values

TypeScript1670mit

14 days ago

assertionsisnode-module

Snowflaqe

Snowflaqe

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automat

F#154mit

last year

code-generationdotnet-clifable

file-type

file-type

Detect the file type of a file, stream, or data

JavaScript3668mit

8 days ago

bufferdetectfile

file-type-cli

Detect the file type of a file or stdin

JavaScript71mit

3 years ago

copygen

Go generator to copy values from type to type and fields from struct to struct (

Go337gpl-3.0

6 months ago

code-generationcode-generatorcopy

wp-graphql-custom-post-type-ui

Adds Settings to the Custom Post Type UI plugin to show Post Types in WPGraphQL

PHP82

3 years ago

speed-type

speed-type

Practice touch/speed typing in emacs

Emacs Lisp133gpl-3.0

4 months ago

JFlepp.Maybe

JFlepp.Maybe

A Maybe type for C#, aimed as an idiomatic port of the option type in F# to C#

C#4unlicense

5 years ago

csharpmaybe-monad

geojson-multiply

Multiply single type geojsons into a multi type geojson

JavaScript2mit

8 years ago

editinggeojson

graphql-to-type

(almost) Fully functional GraphQL request parser written completely using TypeSc

TypeScript6mit

8 months ago

zsh-autocomplete

🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autoco

Shell5185mit

2 months ago

asynchronousautocompleteautocompletion

type-graphql

type-graphql

Create GraphQL schema and resolvers with TypeScript, using classes and decorator

TypeScript8026mit

3 days ago

apicontrollersdecorators

phpdoc-to-typehint

Add scalar type hints and return types to existing PHP projects using PHPDoc ann

PHP225mit

4 years ago

coding-standardscsphp

SwiftNotificationCenter

SwiftNotificationCenter

A Protocol-Oriented NotificationCenter which is type safe, thread safe and with

Swift639mit

5 years ago

flutter_typeahead

flutter_typeahead

A TypeAhead widget for Flutter, where you can show suggestions to users as they

Dart810bsd-2-clause

4 months ago

Reusable

Reusable

A Swift mixin for reusing views easily and in a type-safe way (UITableViewCells,

Swift2997mit

last year

ImageCropBundle

ImageCropBundle

ImageCrop lets you crop images in Symfony applications, this bundle add a new fo

PHP13mit

2 years ago

Result

Swift type modelling the success/failure of arbitrary operations.

Swift2507mit

3 years ago

SOMotionDetector

SOMotionDetector

Simple library to detect motion type (walking, running, automotive) and count us

Objective-C1060mit

2 months ago

neowords.nvim

Flexible and reliable hops by any type of words

Lua55mit

16 days ago

QuickDB

QuickDB

A Generic CoreData Manager to accept any type of objects. Fastest way for adding

Makefile18mit

last year

audiocodablecodedata

gotoprom

Type-safe Prometheus metrics builder library for golang [managed by soy-programa

Go109other

2 years ago

LinuxPA

A PortableApps.com type launcher for linux

Go26mit

2 years ago

appimagelauncherlinux

Sica

Sica

:deer: Simple Interface Core Animation. Run type-safe animation sequencially or

Swift1057mit

3 years ago

animationcarthagecocoapods

CategorySliderView

CategorySliderView

slider view for choosing categories. add any UIView type as category item view.

Objective-C349mit

9 years ago

PullToRefreshCoreText

PullToRefreshCoreText

PullToRefresh extension for all UIScrollView type classes with animated text dra

Objective-C310mit

8 years ago

goimghdr

goimghdr

The imghdr module determines the type of image contained in a file for go

Go39bsd-3-clause

5 years ago

goimghdr

askama

Type-safe, compiled Jinja-like templates for Rust

Rust3257apache-2.0

3 months ago

custom-derivejinja2rust

goimpl.nvim

goimpl.nvim

Generate stub for interface on a type

Lua56

2 months ago

SimpleArrayBundle

Symfony 2 bundle for simple tags management, based on doctrine 2 simple_array ty

PHP2mit

8 years ago

hide

hide

A Go type to prevent internal numeric IDs from being exposed to clients using Ha

Go67mit

3 years ago

golangidjson

linguist-action

Detects language type for a file, or, given a repository, determine language bre

6mit

last year

github-actiongithub-actionslanguage-detection

PackerDetectionToolEvaluation

Evaluation of packer type estimation/detection tools

Python9apache-2.0

3 years ago

Money

Money

A precise, type-safe representation of a monetary amount in a given currency

Swift914mit

last year

currencydecimalgyb

DataSources

DataSources

💾 🔜📱 Type-safe data-driven CollectionView, TableView Framework. (We can also

Swift569mit

6 months ago

collectionviewdata-drivendatasource

knap

knap

Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown

Lua339gpl-3.0

last month

slonik

slonik

A Node.js PostgreSQL client with runtime and build time type safety, and composa

TypeScript4532other

25 days ago

javascriptnodejspostgres

orm

A lightweight yet powerful, fast, customizable, type-safe object-relational mapp

Go157mit

last year

databasegenericsgo

PivotalR-archive

An convenient R tool for manipulating tables in PostgreSQL type databases and a

R125

2 years ago

typ

Null Types, Safe primitive type conversion and fetching value from complex struc

Go46mit

3 years ago

castgogolang

WarcPartitioner

Partition (W)ARC Files by MIME Type and Year

Java1mit

8 years ago

hadoopwarcweb-archiving

av-ts

av-ts

A modern, type-safe, idiomatic Vue binding library

TypeScript216mit

3 years ago

reacty_yew

Generate Yew components from React components via Typescript type definitions

JavaScript54apache-2.0

4 years ago

jsxproc-macroreact

ngx-mf

Bind your model types to angular FormGroup type

TypeScript38mit

2 months ago

Himotoki

A type-safe JSON decoding library purely written in Swift

Swift795mit

5 years ago

decodingjsonswift

freedsl

Practical effect composition library based on abstract wrapping type and the fre

Scala36

6 years ago

effectsfree-monadfunctional-programming

refinerycms-dynamicfields

This plugin lets the user create models dynamically and attach them to a page ty

Ruby16

2 years ago

moldinium

moldinium

write UI models in interfaces using dynamic type creation, dependency injection

C#2

2 years ago

dependency-injectiondependency-trackerdotnet

NFCNDEFParse

NFC Forum Well Known Type Data Parser for iOS11 and Core NFC

Swift16mit

7 years ago

cocoapodscorenfcdata-parser

exnumerator

Enumerable type in Elixir

Elixir65

5 years ago

StringStylizer

StringStylizer

Type strict builder class for NSAttributedString.

Swift73mit

2 years ago

iosnsattributedstringswift

crepl

Compile and execute C code on the fly as you type it.

V29gpl-3.0

7 months ago

RestLess

RestLess

The automatic type-safe-reflectionless REST API client library for .Net Standard

C#112mit

2 years ago

enumeratum

A type-safe, reflection-free, powerful enumeration implementation for Scala with

Scala1183mit

2 months ago

enumenumerationsintegrations

SOMotionDetector

SOMotionDetector

Simple library to detect motion type (walking, running, automotive) and count us

Objective-C1059mit

20 days ago

typed.js

typed.js

A JavaScript Typing Animation Library

JavaScript15391mit

5 months ago

counterfeiter

A tool for generating self-contained, type-safe test doubles in go

Go929mit

2 months ago

TableKit

Type-safe declarative table views.

Swift707mit

last year

autolayoutgenericswift

PropertyKit

PropertyKit

A protocol-centric, type and queue safe key-value workflow.

Swift12mit

5 years ago

pyright

pyright

Static Type Checker for Python

Python12751other

2 months ago

Stringly.Typed

Stringly.Typed

Making it easier to convert strings to/from .NET types.

C#46mit

6 years ago

nject

Golang type-safe dependency injection

Go28mit

2 months ago

dependency-injectiongogolang

Optional

A robust option type for C#

C#890mit

last year

functional-programmingoption-typesafety

CoreDataQueryInterface

CoreDataQueryInterface

A type-safe, fluent Swift library for working with Core Data

Swift36mit

last year

coredatafluent-interfaceswift

Guise

An elegant, flexible, type-safe dependency resolution framework for Swift

Swift58mit

11 months ago

dependency-injectiondependency-resolutionservice-locator

pyanalyze

A Python type checker

Python320apache-2.0

2 months ago

linterpythonstatic-analysis

nvim-luapad

nvim-luapad

Interactive real time neovim scratchpad for embedded lua engine - type and watch

Lua547

4 months ago

neovimneovim-pluginsnvim

lsp_signature.nvim

lsp_signature.nvim

LSP signature hint as you type

Lua2028apache-2.0

4 days ago

autocompletelspneovim

reason

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml10122mit

17 days ago

javascriptocamlprogramming-language

OptionalExtensions

Swift µframework with extensions for the Optional Type

Swift182mit

6 years ago

functional-programmingswiftswift-extensions

reasonql

Type-safe and simple GraphQL library for ReasonML developers.

JavaScript96mit

2 years ago

punchcard

Type-safe AWS infrastructure.

TypeScript506apache-2.0

3 years ago

awsaws-cdkinfrastructure-as-code

XcodeEquatableGenerator

XcodeEquatableGenerator

Xcode 8 Source Code Extension will generate conformance to Swift Equatable proto

Swift191

5 years ago

extensionswift-equatablexcode

Regex

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

Plutus-InvestmentTracker

Plutus-InvestmentTracker

We're here to track money going out of your checking account into different type

Kotlin9apache-2.0

3 months ago

android-applicationbiometricsdiscrete-scrollview

steep

Static type checker for Ruby

Ruby1356mit

21 hours ago

rubytypechecker

rebed

Recreates directory and files from embedded filesystem using Go 1.16 embed.FS ty

Go29bsd-3-clause

3 years ago

embeddedembedded-filesfilesystem

simple-source

simple-source

Easy and type-safe iOS table and collection views in Swift.

Swift99apache-2.0

4 months ago

iosswift-library

sticky-locking

A general purpose embedded hierarchical lock manager used to build highly concur

Swift2apache-2.0

6 years ago

concurrencyconditionsdatabase

qtypes

Rule based Answer Type classification system in Node.js

JavaScript160

8 years ago

SnappyTestCase

iOS Simulator type agnostic snapshot testing, built on top of the FBSnapshotTest

Swift15apache-2.0

7 years ago

RoastBot

A chat bot that insults its user! Type "Roast me" to start.

Python21

4 years ago

Firelord

Firelord

🔥 Write V9 like Firestore Admin code with extreme type safety.

TypeScript37mit

5 months ago

firebasefirestorescalable

FireSageJS

FireSageJS

🔥Surgical Precision Type Safe For Realtime Database Web, Write Realtime Databas

TypeScript9mit

11 months ago

firebasefirebase-databasefirebase-realtime-database

simulacrum

First class syntax support for type classes in Scala

Scala935bsd-3-clause

6 months ago

checker-framework

Pluggable type-checking for Java

Java1012other

23 hours ago

javatypesverification

generic

flexible data type for Go

Go48mit

4 years ago

flexible-datagenericgo

package-info.nvim

package-info.nvim

✍️ All the npm/yarn/pnpm commands I don't want to type

Lua477gpl-3.0

last month

neovimneovim-guineovim-lua

typeregistry

create type dynamically in Golang

Go23mit

5 years ago

poppet

poppet

Minimal, type-safe RPC Scala library.

Scala25mit

3 months ago

MemoryCache

LRU, type-safe, thread-safe memory cache class in Swift

Swift78mit

3 years ago

carthagecocoapodsexpiration

pyspark-stubs

pyspark-stubs

Apache (Py)Spark type annotations (stub files).

Python115apache-2.0

2 years ago

apache-sparkmypypep484

collective.fieldedit

A flexible form to edit selected fields of a content type

Python3gpl-2.0

11 months ago

collective.mirror

A content type that mirrors the content of any other container.

Python1gpl-2.0

4 years ago

jet

jet

Type safe SQL builder with code generation and automatic query result data mappi

Go2262apache-2.0

2 months ago

cockroachdbcode-completioncode-generator

nexus

nexus

Code-First, Type-Safe, GraphQL Schema Construction

TypeScript3387mit

10 months ago

graphqlgraphql-nexusgraphql-schema

SwifQL

SwifQL

💎 A Swift DSL for type-safe, extensible, and transformable SQL queries.

Swift293mit

3 months ago

dslmysqlpostgresql

media-query-to-type

A method for creating an IE specific stylesheet that allows the content of media

CSS10

11 years ago

jPanelMenu

A jQuery plugin that creates a paneled-style menu (like the type seen in the mob

JavaScript922

7 years ago

mimesniffer

A MIME type sniffer for Go.

Go33mit

2 years ago

content-typefile-formatfile-signature

odmantic

Sync and Async ODM (Object Document Mapper) for MongoDB based on python type hin

Python1029isc

2 months ago

asyncasynciodatabase

blockbuster.apk

blockbuster.apk

Block'Buster is a simple HTML5 arkanoid-type game for Android.

JavaScript2mit

4 months ago

JET.jl

An experimental code analyzer for Julia. No need for additional type annotations

Julia732mit

4 days ago

error-detectionjuliaperformance-engineering

stateofwebtype

Up-to-date data on support for type and typographic features on the web.

JavaScript65other

7 years ago

transformer

Flexible type conversion lightweight library

Elixir0apache-2.0

2 years ago

pelusa

Static analysis Lint-type tool to improve your OO Ruby code

Ruby438

10 years ago

zod

zod

TypeScript-first schema validation with static type inference

TypeScript33050mit

2 days ago

runtime-validationschema-validationstatic-types

PPrint

PPrint

Pretty-printing value, types and type-signatures in Scala

Scala221mit

3 months ago

fintrospect

Implement fast, type-safe HTTP webservices for Finagle

Scala90apache-2.0

4 years ago

finagleframeworkhttp

basedpyright

basedpyright

pyright fork with various type checking improvements, improved vscode support an

TypeScript712other

2 months ago

basedpylancepyright

bootsharp

bootsharp

Compile C# solution into single-file ES module with auto-generated JavaScript bi

C#662mit

2 months ago

buncodegencsharp

EoHoneypotBundle

Honeypot type for Symfony forms

PHP33

4 months ago

valibot

valibot

The modular and type safe schema library for validating structural data 🤖

TypeScript5716mit

2 months ago

bundle-sizemodularparsing

verify

Extensible, type-safe, fluent assertion Go library.

Go40mit

3 months ago

assertionsgogolang

DoctrineEnumBundle

📦 Provides support of ENUM type for Doctrine in Symfony applications.

PHP459mit

last month

bundledoctrinedoctrine-dbal

vue-vroom

Type safe stores and mock API with minimal config

TypeScript10mit

3 months ago

mimetype

mimetype

A fast Golang library for media type and file extension detection, based on magi

Go1500mit

2 months ago

detectiongogolang

graphql-java-type-generator

This library will autogenerate GraphQL types for usage in com.graphql-java:graph

Java36mit

6 years ago

goverter

Generate type-safe Go converters by simply defining an interface

Go474mit

2 months ago

code-generationconvertercopy

pathtype

Add a type for paths in Go.

Go13mit

3 years ago

filefilepathfiles

typesaurus

typesaurus

🦕 Type-safe TypeScript-first ODM for Firestore

TypeScript409

3 months ago

armeria

armeria

Your go-to microservice framework for any situation, from the creator of Netty e

Java4756apache-2.0

2 months ago

gatewaygrpcgrpc-client

json2go

Create go type representation from json

Go129mit

3 years ago

clijsonjson-to-go

Graphaello

Graphaello

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftU

Swift493mit

2 years ago

codegencommand-line-tooldata-driven

haiti

haiti

:key: Hash type identifier (CLI & lib)

Ruby743mit

2 months ago

ctfctf-toolscyber

Threadly

Threadly

Type-safe thread-local storage in Swift

Swift74mit

6 years ago

carthagecocoapodsconcurrency

morpheus

Reactive type-safe Scala driver for SQL databases

Scala101other

5 years ago

bintraydslmorpheus

phantom

Schema safe, type-safe, reactive Scala driver for Cassandra/Datastax Enterprise

Scala1045apache-2.0

last year

cassandradatastax-enterprisephantom

genql

genql

Type safe TypeScript client for any GraphQL API

TypeScript864mit

3 months ago

Overdrive

Overdrive

⚡️ Fast async task based Swift framework with focus on type safety, concurrency

Swift806mit

7 years ago

concurrencymulti-threadingswift

cvt

cvt

Easy and safe convert any value to another type in Go. (Go 数据类型安全转换)

Go47mit

9 months ago

castconvertcvt

typetta

Node.js ORM written in TypeScript for type lovers.

TypeScript102apache-2.0

2 months ago

graphqljavascriptmariadb

FirelordJS

FirelordJS

🔥High Precision Typescript Wrapper for Firestore Web, Providing Unparalleled Ty

TypeScript80mit

5 months ago

firebasefirestoregeneric-types

v-image

:camera: Tiny little component for input type=file (css free! style it as you wa

Vue40mit

2 months ago

image-componentvuevuejs

pinia

pinia

🍍 Intuitive, type safe, light and flexible Store for Vue using the composition

TypeScript12762mit

2 months ago

composition-apissrstore

pointer

Helper routines for simplifying the creation of optional fields of basic type.

Go41bsd-3-clause

5 months ago

gogodocgolang

foy

foy

A simple, light-weight, type-friendly and modern task runner for general purpose

TypeScript258mit

19 days ago

async-awaitbuild-scriptsbuild-system

vue-typed-js

Typed.js integration for vue.js. Create a typing animation.

JavaScript461mit

2 years ago

typedtyped-jstyping

vue-typed

Sets of ECMAScript / Typescript decorators that helps you write Vue component ea

TypeScript103mit

6 years ago

typescriptvue

ajv

ajv

The fastest JSON schema Validator. Supports JSON Schema draft-04/06/07/2019-09/2

TypeScript13732mit

5 days ago

ajvjson-schemavalidator

macos-zsh-theme

macos-zsh-theme

MacOS-type terminal for zsh

Shell14mit

4 months ago

macos-themeterminal-themezsh

typed-async-storage

Validate your AsyncStorage using PropTypes!

JavaScript8mit

11 months ago

asyncstorageasyncstorage-wrapperproptype-validators

purescript-queue

A queue-esque data type for purescript.

PureScript3bsd-3-clause

4 years ago

asynchandlerpubsub

beartype

beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Pytho

Python2534mit

2 months ago

python3runtime-typecheckingstatic-typechecking

activerecord-postgres_enum

Integrate PostgreSQL's enum data type into ActiveRecord's schema and migrations.

Ruby360mit

3 months ago

activerecordenumpostgres

styled-text

styled-text

Declarative text styles and streamlined Dynamic Type support for iOS

Swift234mit

2 years ago

prisma-client-rust

Type-safe database access for Rust

Rust1758apache-2.0

4 months ago

prismaprisma-clientprisma-client-rust

vue-typed-virtual-list

Small, efficient, type-safe virtual list for Vue 3

TypeScript32other

11 months ago

activerecord-typedstore

ActiveRecord::Store but with type definition

Ruby440mit

7 months ago

aurelia-typescript

aurelia-typescript

A starter kit for working with the Aurelia TypeScript type definitions

JavaScript144mit

9 years ago

vue-input-contenteditable

The same features you expect from `<input type="text">` but in a `contenteditabl

JavaScript19mit

2 years ago

contenteditablehtmljavascript

types-wm

TypeScript definitions for Web Monetization

3mit

2 years ago

definitiondtstypes

time

Robust and type-safe date and time calculations for Swift

Swift2316mit

5 months ago

calendarcalendar-apicalendars

golang-set

golang-set

A simple, battle-tested and generic set type for the Go language. Trusted by Doc

Go4027other

4 months ago

concurrencydatastructuresgenerics

tsc.nvim

tsc.nvim

A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking

Lua376mit

last month

luaneovimnvim

Time

🕰 Type-safe time calculations in Swift

Swift1071mit

2 years ago

genericsiosswift

Enum.Source.Generator

Enum.Source.Generator

A C# source generator to create an enumeration class from an enum type. With thi

C#173mit

3 months ago

codegenerationcodegeneratorcsharp-sourcegenerator

go-convert

Convert a value into another type

Go23mit

4 months ago

gogolang

modular-forms

modular-forms

The modular and type-safe form library for SolidJS, Qwik and Preact

TypeScript986mit

13 days ago

bundle-sizeformform-validation

ConfigurableTableViewController

ConfigurableTableViewController

Typed, yet Flexible Table View Controller

Swift269

8 years ago

react-native-device-specs

Detects device type on both android and ios

Java11

8 years ago

vue-ts-types

Lightweight TypeScript-first Vue prop type definitions

TypeScript7mit

2 months ago

hacktoberfestprop-typesprops

which-key.nvim

which-key.nvim

💥 Create key bindings that stick. WhichKey helps you remember your Neovim key

Lua5157apache-2.0

20 days ago

luaneovimneovim-lua

Bolero

Bolero

Bolero brings Blazor to F# developers with an easy to use Model-View-Update arch

F#1055apache-2.0

16 days ago

blazorbolerofsharp

gluon

gluon

A static, type inferred and embeddable language written in Rust.

Rust3161mit

7 months ago

compilerembeddablefunctional

HAR-stacked-residual-bidir-LSTMs

HAR-stacked-residual-bidir-LSTMs

Using deep stacked residual bidirectional LSTM cells (RNN) with TensorFlow, we d

Python318apache-2.0

2 years ago

bidirectional-lstm-cellshuman-activity-recognitionlstm

vue-ts-loader

vue-ts-loader

Type-check your script in your vue-loader

JavaScript91mit

8 years ago

Coq-HoTT

A Coq library for Homotopy Type Theory

Coq1233other

2 months ago

homotopy-type-theorytype-theoryunivalent-foundations

label-studio

label-studio

Label Studio is a multi-type data labeling and annotation tool with standardized

JavaScript18274apache-2.0

15 hours ago

annotationannotation-toolannotations

python-chrome-devtools-protocol

Python type wrappers for Chrome DevTools Protocol (CDP)

Python93mit

11 months ago

DeviceGuru

DeviceGuru

DeviceGuru is a simple lib (Swift) to know the exact type of the device, e.g. iP

Swift473mit

2 months ago

tsec

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

Scala351mit

3 years ago

cryptographyfunctional-programmingjca

Monoco.CMS.FieldTypes

Monoco Field Type Sitecore additions.

C#0

12 years ago

virtual-types.nvim

virtual-types.nvim

Neovim plugin that shows type annotations as virtual text

Lua364mit

last year

nvimnvim-lspnvim-plugin

router

A type safe router for vuejs

TypeScript136mit

2 months ago

directus-extension-generate-types

directus-extension-generate-types

Create types for your directus project in your favourite language.

TypeScript188other

6 months ago

ring-span-lite

ring-span lite - A C++yy-like ring_span type for C++98, C++11 and later in a sin

C++149bsl-1.0

4 months ago

cpp11cpp14cpp17

NoticeObserveKit

NoticeObserveKit is type-safe NotificationCenter wrapper.

Swift150mit

3 months ago

iosmacosnotificationcenter

eos-abigen

CLI for generating type-safe clients for EOS-compatible contracts.

Go4mit

2 years ago

blockchaincode-generationcryptocurrency

performance-bookmarklet

performance-bookmarklet

Performance-Bookmarklet helps to analyze the current page through the Resource T

JavaScript1138mit

2 years ago

analyzerbookmarkletbrowser-extension

bacon-love

bacon-love

A Nodeschool type workshop for Functional Reactive Programming and Bacon.js

JavaScript48

8 years ago

go-types

Library providing opanapi3 and Go types for store/validation and transfer of ISO

Go18mit

2 months ago

country-codescurrency-codesemail

zilla-slab

Mozilla's Zilla Slab Type Family

Shell405ofl-1.1

last year

mozillatypographywebfont

Proxy

The type-safe REST library for .NET Standard 2.0 (NetCoreStack Flying Proxy)

C#42

11 months ago

backenddotnethttp-client

computed-types

🦩 Joi like validations for TypeScript

TypeScript365mit

3 months ago

asyncjavascriptruntime

react-native-auto-typing-text

react-native-auto-typing-text

Auto typing text component for react-native

JavaScript69mit

7 years ago

react-native

set

Package set is a small wrapper around the official reflect package that facilita

Go46mit

2 years ago

gogolangreflection

nushell

nushell

A new type of shell

Rust31202mit

last month

rustshell

slice

Type-safe functions for common Go slice operations

Go51mit

4 years ago

gogolangslice-tricks

typing-label

typing-label

A libGDX Label that appears as if it was being typed in real time.

Java151mit

4 months ago

libgdxscene2d

Equinox

Equinox

Description Create dynamic wallpapers for macOS for free. Upgrade your deskto

Swift1132mit

3 months ago

appappkitapplication

celery-types

:seedling: Type stubs for Celery and its related packages

Python73apache-2.0

4 months ago

amqpbilliardcelery

tailwindcss-fluid-type

tailwindcss-fluid-type

A plugin that makes the use of Fluid Type a breeze.

JavaScript334mit

6 months ago

fluid-typemodular-scaletailwind

typex

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transit

Go196mit

last year

cliexportgo

APIKit

Type-safe networking abstraction layer that associates request type with respons

Swift1995mit

3 months ago

learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2116

21 days ago

TheAnimation

TheAnimation

Type-safe CAAnimation wrapper. It makes preventing to set wrong type values.

Swift224mit

5 years ago

animationcarthagecocoapods

convergen

A type-to-type copy function code generator.

Go32mit

6 months ago

code-generatorddd-patternsgolang

typebox

typebox

Json Schema Type Builder with Static Type Resolution for TypeScript

TypeScript4643other

2 months ago

ajvjson-schemaopen-api

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript372mit

3 months ago

is

is

Type check values

TypeScript1670mit

14 days ago

assertionsisnode-module

Snowflaqe

Snowflaqe

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automat

F#154mit

last year

code-generationdotnet-clifable

file-type

file-type

Detect the file type of a file, stream, or data

JavaScript3668mit

8 days ago

bufferdetectfile

file-type-cli

Detect the file type of a file or stdin

JavaScript71mit

3 years ago

copygen

Go generator to copy values from type to type and fields from struct to struct (

Go337gpl-3.0

6 months ago

code-generationcode-generatorcopy

wp-graphql-custom-post-type-ui

Adds Settings to the Custom Post Type UI plugin to show Post Types in WPGraphQL

PHP82

3 years ago

speed-type

speed-type

Practice touch/speed typing in emacs

Emacs Lisp133gpl-3.0

4 months ago

JFlepp.Maybe

JFlepp.Maybe

A Maybe type for C#, aimed as an idiomatic port of the option type in F# to C#

C#4unlicense

5 years ago

csharpmaybe-monad

geojson-multiply

Multiply single type geojsons into a multi type geojson

JavaScript2mit

8 years ago

editinggeojson

graphql-to-type

(almost) Fully functional GraphQL request parser written completely using TypeSc

TypeScript6mit

8 months ago

zsh-autocomplete

🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autoco

Shell5185mit

2 months ago

asynchronousautocompleteautocompletion

type-graphql

type-graphql

Create GraphQL schema and resolvers with TypeScript, using classes and decorator

TypeScript8026mit

3 days ago

apicontrollersdecorators

phpdoc-to-typehint

Add scalar type hints and return types to existing PHP projects using PHPDoc ann

PHP225mit

4 years ago

coding-standardscsphp

SwiftNotificationCenter

SwiftNotificationCenter

A Protocol-Oriented NotificationCenter which is type safe, thread safe and with

Swift639mit

5 years ago

flutter_typeahead

flutter_typeahead

A TypeAhead widget for Flutter, where you can show suggestions to users as they

Dart810bsd-2-clause

4 months ago

Reusable

Reusable

A Swift mixin for reusing views easily and in a type-safe way (UITableViewCells,

Swift2997mit

last year

ImageCropBundle

ImageCropBundle

ImageCrop lets you crop images in Symfony applications, this bundle add a new fo

PHP13mit

2 years ago

Result

Swift type modelling the success/failure of arbitrary operations.

Swift2507mit

3 years ago

SOMotionDetector

SOMotionDetector

Simple library to detect motion type (walking, running, automotive) and count us

Objective-C1060mit

2 months ago

neowords.nvim

Flexible and reliable hops by any type of words

Lua55mit

16 days ago

QuickDB

QuickDB

A Generic CoreData Manager to accept any type of objects. Fastest way for adding

Makefile18mit

last year

audiocodablecodedata

gotoprom

Type-safe Prometheus metrics builder library for golang [managed by soy-programa

Go109other

2 years ago

LinuxPA

A PortableApps.com type launcher for linux

Go26mit

2 years ago

appimagelauncherlinux

Sica

Sica

:deer: Simple Interface Core Animation. Run type-safe animation sequencially or

Swift1057mit

3 years ago

animationcarthagecocoapods

CategorySliderView

CategorySliderView

slider view for choosing categories. add any UIView type as category item view.

Objective-C349mit

9 years ago

PullToRefreshCoreText

PullToRefreshCoreText

PullToRefresh extension for all UIScrollView type classes with animated text dra

Objective-C310mit

8 years ago

goimghdr

goimghdr

The imghdr module determines the type of image contained in a file for go

Go39bsd-3-clause

5 years ago

goimghdr

askama

Type-safe, compiled Jinja-like templates for Rust

Rust3257apache-2.0

3 months ago

custom-derivejinja2rust

goimpl.nvim

goimpl.nvim

Generate stub for interface on a type

Lua56

2 months ago

SimpleArrayBundle

Symfony 2 bundle for simple tags management, based on doctrine 2 simple_array ty

PHP2mit

8 years ago

hide

hide

A Go type to prevent internal numeric IDs from being exposed to clients using Ha

Go67mit

3 years ago

golangidjson

linguist-action

Detects language type for a file, or, given a repository, determine language bre

6mit

last year

github-actiongithub-actionslanguage-detection

PackerDetectionToolEvaluation

Evaluation of packer type estimation/detection tools

Python9apache-2.0

3 years ago

Money

Money

A precise, type-safe representation of a monetary amount in a given currency

Swift914mit

last year

currencydecimalgyb

DataSources

DataSources

💾 🔜📱 Type-safe data-driven CollectionView, TableView Framework. (We can also

Swift569mit

6 months ago

collectionviewdata-drivendatasource

knap

knap

Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown

Lua339gpl-3.0

last month

slonik

slonik

A Node.js PostgreSQL client with runtime and build time type safety, and composa

TypeScript4532other

25 days ago

javascriptnodejspostgres

PivotalR-archive

An convenient R tool for manipulating tables in PostgreSQL type databases and a

R125

2 years ago

typ

Null Types, Safe primitive type conversion and fetching value from complex struc

Go46mit

3 years ago

castgogolang

WarcPartitioner

Partition (W)ARC Files by MIME Type and Year

Java1mit

8 years ago

hadoopwarcweb-archiving

av-ts

av-ts

A modern, type-safe, idiomatic Vue binding library

TypeScript216mit

3 years ago

reacty_yew

Generate Yew components from React components via Typescript type definitions

JavaScript54apache-2.0

4 years ago

jsxproc-macroreact

ngx-mf

Bind your model types to angular FormGroup type

TypeScript38mit

2 months ago

Himotoki

A type-safe JSON decoding library purely written in Swift

Swift795mit

5 years ago

decodingjsonswift

freedsl

Practical effect composition library based on abstract wrapping type and the fre

Scala36

6 years ago

effectsfree-monadfunctional-programming

refinerycms-dynamicfields

This plugin lets the user create models dynamically and attach them to a page ty

Ruby16

2 years ago

moldinium

moldinium

write UI models in interfaces using dynamic type creation, dependency injection

C#2

2 years ago

dependency-injectiondependency-trackerdotnet

NFCNDEFParse

NFC Forum Well Known Type Data Parser for iOS11 and Core NFC

Swift16mit

7 years ago

cocoapodscorenfcdata-parser

exnumerator

Enumerable type in Elixir

Elixir65

5 years ago

StringStylizer

StringStylizer

Type strict builder class for NSAttributedString.

Swift73mit

2 years ago

iosnsattributedstringswift

crepl

Compile and execute C code on the fly as you type it.

V29gpl-3.0

7 months ago

RestLess

RestLess

The automatic type-safe-reflectionless REST API client library for .Net Standard

C#112mit

2 years ago

enumeratum

A type-safe, reflection-free, powerful enumeration implementation for Scala with

Scala1183mit

2 months ago

enumenumerationsintegrations

SOMotionDetector

SOMotionDetector

Simple library to detect motion type (walking, running, automotive) and count us

Objective-C1059mit

20 days ago

typed.js

typed.js

A JavaScript Typing Animation Library

JavaScript15391mit

5 months ago

counterfeiter

A tool for generating self-contained, type-safe test doubles in go

Go929mit

2 months ago

TableKit

Type-safe declarative table views.

Swift707mit

last year

autolayoutgenericswift

PropertyKit

PropertyKit

A protocol-centric, type and queue safe key-value workflow.

Swift12mit

5 years ago

pyright

pyright

Static Type Checker for Python

Python12751other

2 months ago

Stringly.Typed

Stringly.Typed

Making it easier to convert strings to/from .NET types.

C#46mit

6 years ago

nject

Golang type-safe dependency injection

Go28mit

2 months ago

dependency-injectiongogolang

Optional

A robust option type for C#

C#890mit

last year

functional-programmingoption-typesafety

CoreDataQueryInterface

CoreDataQueryInterface

A type-safe, fluent Swift library for working with Core Data

Swift36mit

last year

coredatafluent-interfaceswift

Guise

An elegant, flexible, type-safe dependency resolution framework for Swift

Swift58mit

11 months ago

dependency-injectiondependency-resolutionservice-locator

pyanalyze

A Python type checker

Python320apache-2.0

2 months ago

linterpythonstatic-analysis

nvim-luapad

nvim-luapad

Interactive real time neovim scratchpad for embedded lua engine - type and watch

Lua547

4 months ago

neovimneovim-pluginsnvim

lsp_signature.nvim

lsp_signature.nvim

LSP signature hint as you type

Lua2028apache-2.0

4 days ago

autocompletelspneovim

reason

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml10122mit

17 days ago

javascriptocamlprogramming-language

OptionalExtensions

Swift µframework with extensions for the Optional Type

Swift182mit

6 years ago

functional-programmingswiftswift-extensions

reasonql

Type-safe and simple GraphQL library for ReasonML developers.

JavaScript96mit

2 years ago

punchcard

Type-safe AWS infrastructure.

TypeScript506apache-2.0

3 years ago

awsaws-cdkinfrastructure-as-code

XcodeEquatableGenerator

XcodeEquatableGenerator

Xcode 8 Source Code Extension will generate conformance to Swift Equatable proto

Swift191

5 years ago

extensionswift-equatablexcode

Regex

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

Plutus-InvestmentTracker

Plutus-InvestmentTracker

We're here to track money going out of your checking account into different type

Kotlin9apache-2.0

3 months ago

android-applicationbiometricsdiscrete-scrollview

steep

Static type checker for Ruby

Ruby1356mit

21 hours ago

rubytypechecker

rebed

Recreates directory and files from embedded filesystem using Go 1.16 embed.FS ty

Go29bsd-3-clause

3 years ago

embeddedembedded-filesfilesystem

simple-source

simple-source

Easy and type-safe iOS table and collection views in Swift.

Swift99apache-2.0

4 months ago

iosswift-library

sticky-locking

A general purpose embedded hierarchical lock manager used to build highly concur

Swift2apache-2.0

6 years ago

concurrencyconditionsdatabase

qtypes

Rule based Answer Type classification system in Node.js

JavaScript160

8 years ago

SnappyTestCase

iOS Simulator type agnostic snapshot testing, built on top of the FBSnapshotTest

Swift15apache-2.0

7 years ago

RoastBot

A chat bot that insults its user! Type "Roast me" to start.

Python21

4 years ago

Firelord

Firelord

🔥 Write V9 like Firestore Admin code with extreme type safety.

TypeScript37mit

5 months ago

firebasefirestorescalable

FireSageJS

FireSageJS

🔥Surgical Precision Type Safe For Realtime Database Web, Write Realtime Databas

TypeScript9mit

11 months ago

firebasefirebase-databasefirebase-realtime-database

simulacrum

First class syntax support for type classes in Scala

Scala935bsd-3-clause

6 months ago

checker-framework

Pluggable type-checking for Java

Java1012other

23 hours ago

javatypesverification

generic

flexible data type for Go

Go48mit

4 years ago

flexible-datagenericgo

package-info.nvim

package-info.nvim

✍️ All the npm/yarn/pnpm commands I don't want to type

Lua477gpl-3.0

last month

neovimneovim-guineovim-lua

typeregistry

create type dynamically in Golang

Go23mit

5 years ago

poppet

poppet

Minimal, type-safe RPC Scala library.

Scala25mit

3 months ago

MemoryCache

LRU, type-safe, thread-safe memory cache class in Swift

Swift78mit

3 years ago

carthagecocoapodsexpiration

pyspark-stubs

pyspark-stubs

Apache (Py)Spark type annotations (stub files).

Python115apache-2.0

2 years ago

apache-sparkmypypep484

collective.fieldedit

A flexible form to edit selected fields of a content type

Python3gpl-2.0

11 months ago

collective.mirror

A content type that mirrors the content of any other container.

Python1gpl-2.0

4 years ago

jet

jet

Type safe SQL builder with code generation and automatic query result data mappi

Go2262apache-2.0

2 months ago

cockroachdbcode-completioncode-generator

nexus

nexus

Code-First, Type-Safe, GraphQL Schema Construction

TypeScript3387mit

10 months ago

graphqlgraphql-nexusgraphql-schema

SwifQL

SwifQL

💎 A Swift DSL for type-safe, extensible, and transformable SQL queries.

Swift293mit

3 months ago

dslmysqlpostgresql

media-query-to-type

A method for creating an IE specific stylesheet that allows the content of media

CSS10

11 years ago

jPanelMenu

A jQuery plugin that creates a paneled-style menu (like the type seen in the mob

JavaScript922

7 years ago

mimesniffer

A MIME type sniffer for Go.

Go33mit

2 years ago

content-typefile-formatfile-signature

odmantic

Sync and Async ODM (Object Document Mapper) for MongoDB based on python type hin

Python1029isc

2 months ago

asyncasynciodatabase

blockbuster.apk

blockbuster.apk

Block'Buster is a simple HTML5 arkanoid-type game for Android.

JavaScript2mit

4 months ago

JET.jl

An experimental code analyzer for Julia. No need for additional type annotations

Julia732mit

4 days ago

error-detectionjuliaperformance-engineering

stateofwebtype

Up-to-date data on support for type and typographic features on the web.

JavaScript65other

7 years ago

transformer

Flexible type conversion lightweight library

Elixir0apache-2.0

2 years ago

pelusa

Static analysis Lint-type tool to improve your OO Ruby code

Ruby438

10 years ago

zod

zod

TypeScript-first schema validation with static type inference

TypeScript33050mit

2 days ago

runtime-validationschema-validationstatic-types

PPrint

PPrint

Pretty-printing value, types and type-signatures in Scala

Scala221mit

3 months ago

fintrospect

Implement fast, type-safe HTTP webservices for Finagle

Scala90apache-2.0

4 years ago

finagleframeworkhttp

basedpyright

basedpyright

pyright fork with various type checking improvements, improved vscode support an

TypeScript712other

2 months ago

basedpylancepyright

bootsharp

bootsharp

Compile C# solution into single-file ES module with auto-generated JavaScript bi

C#662mit

2 months ago

buncodegencsharp

EoHoneypotBundle

Honeypot type for Symfony forms

PHP33

4 months ago

valibot

valibot

The modular and type safe schema library for validating structural data 🤖

TypeScript5716mit

2 months ago

bundle-sizemodularparsing

verify

Extensible, type-safe, fluent assertion Go library.

Go40mit

3 months ago

assertionsgogolang

DoctrineEnumBundle

📦 Provides support of ENUM type for Doctrine in Symfony applications.

PHP459mit

last month

bundledoctrinedoctrine-dbal

vue-vroom

Type safe stores and mock API with minimal config

TypeScript10mit

3 months ago

mimetype

mimetype

A fast Golang library for media type and file extension detection, based on magi

Go1500mit

2 months ago

detectiongogolang

graphql-java-type-generator

This library will autogenerate GraphQL types for usage in com.graphql-java:graph

Java36mit

6 years ago

goverter

Generate type-safe Go converters by simply defining an interface

Go474mit

2 months ago

code-generationconvertercopy

pathtype

Add a type for paths in Go.

Go13mit

3 years ago

filefilepathfiles

typesaurus

typesaurus

🦕 Type-safe TypeScript-first ODM for Firestore

TypeScript409

3 months ago

armeria

armeria

Your go-to microservice framework for any situation, from the creator of Netty e

Java4756apache-2.0

2 months ago

gatewaygrpcgrpc-client

json2go

Create go type representation from json

Go129mit

3 years ago

clijsonjson-to-go

Graphaello

Graphaello

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftU

Swift493mit

2 years ago

codegencommand-line-tooldata-driven

haiti

haiti

:key: Hash type identifier (CLI & lib)

Ruby743mit

2 months ago

ctfctf-toolscyber

Threadly

Threadly

Type-safe thread-local storage in Swift

Swift74mit

6 years ago

carthagecocoapodsconcurrency

morpheus

Reactive type-safe Scala driver for SQL databases

Scala101other

5 years ago

bintraydslmorpheus

phantom

Schema safe, type-safe, reactive Scala driver for Cassandra/Datastax Enterprise

Scala1045apache-2.0

last year

cassandradatastax-enterprisephantom

genql

genql

Type safe TypeScript client for any GraphQL API

TypeScript864mit

3 months ago

Overdrive

Overdrive

⚡️ Fast async task based Swift framework with focus on type safety, concurrency

Swift806mit

7 years ago

concurrencymulti-threadingswift

cvt

cvt

Easy and safe convert any value to another type in Go. (Go 数据类型安全转换)

Go47mit

9 months ago

castconvertcvt

typetta

Node.js ORM written in TypeScript for type lovers.

TypeScript102apache-2.0

2 months ago

graphqljavascriptmariadb

FirelordJS

FirelordJS

🔥High Precision Typescript Wrapper for Firestore Web, Providing Unparalleled Ty

TypeScript80mit

5 months ago

firebasefirestoregeneric-types

v-image

:camera: Tiny little component for input type=file (css free! style it as you wa

Vue40mit

2 months ago

image-componentvuevuejs

pinia

pinia

🍍 Intuitive, type safe, light and flexible Store for Vue using the composition

TypeScript12762mit

2 months ago

composition-apissrstore

pointer

Helper routines for simplifying the creation of optional fields of basic type.

Go41bsd-3-clause

5 months ago

gogodocgolang

foy

foy

A simple, light-weight, type-friendly and modern task runner for general purpose

TypeScript258mit

19 days ago

async-awaitbuild-scriptsbuild-system

vue-typed-js

Typed.js integration for vue.js. Create a typing animation.

JavaScript461mit

2 years ago

typedtyped-jstyping

vue-typed

Sets of ECMAScript / Typescript decorators that helps you write Vue component ea

TypeScript103mit

6 years ago

typescriptvue

ajv

ajv

The fastest JSON schema Validator. Supports JSON Schema draft-04/06/07/2019-09/2

TypeScript13732mit

5 days ago

ajvjson-schemavalidator

macos-zsh-theme

macos-zsh-theme

MacOS-type terminal for zsh

Shell14mit

4 months ago

macos-themeterminal-themezsh

typed-async-storage

Validate your AsyncStorage using PropTypes!

JavaScript8mit

11 months ago

asyncstorageasyncstorage-wrapperproptype-validators

purescript-queue

A queue-esque data type for purescript.

PureScript3bsd-3-clause

4 years ago

asynchandlerpubsub

beartype

beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Pytho

Python2534mit

2 months ago

python3runtime-typecheckingstatic-typechecking

activerecord-postgres_enum

Integrate PostgreSQL's enum data type into ActiveRecord's schema and migrations.

Ruby360mit

3 months ago

activerecordenumpostgres

styled-text

styled-text

Declarative text styles and streamlined Dynamic Type support for iOS

Swift234mit

2 years ago

prisma-client-rust

Type-safe database access for Rust

Rust1758apache-2.0

4 months ago

prismaprisma-clientprisma-client-rust

vue-typed-virtual-list

Small, efficient, type-safe virtual list for Vue 3

TypeScript32other

11 months ago

activerecord-typedstore

ActiveRecord::Store but with type definition

Ruby440mit

7 months ago

aurelia-typescript

aurelia-typescript

A starter kit for working with the Aurelia TypeScript type definitions

JavaScript144mit

9 years ago

vue-input-contenteditable

The same features you expect from `<input type="text">` but in a `contenteditabl

JavaScript19mit

2 years ago

contenteditablehtmljavascript

types-wm

TypeScript definitions for Web Monetization

3mit

2 years ago

definitiondtstypes

time

Robust and type-safe date and time calculations for Swift

Swift2316mit

5 months ago

calendarcalendar-apicalendars

golang-set

golang-set

A simple, battle-tested and generic set type for the Go language. Trusted by Doc

Go4027other

4 months ago

concurrencydatastructuresgenerics

tsc.nvim

tsc.nvim

A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking

Lua376mit

last month

luaneovimnvim

Time

🕰 Type-safe time calculations in Swift

Swift1071mit

2 years ago

genericsiosswift

Enum.Source.Generator

Enum.Source.Generator

A C# source generator to create an enumeration class from an enum type. With thi

C#173mit

3 months ago

codegenerationcodegeneratorcsharp-sourcegenerator

go-convert

Convert a value into another type

Go23mit

4 months ago

gogolang

modular-forms

modular-forms

The modular and type-safe form library for SolidJS, Qwik and Preact

TypeScript986mit

13 days ago

bundle-sizeformform-validation

ConfigurableTableViewController

ConfigurableTableViewController

Typed, yet Flexible Table View Controller

Swift269

8 years ago

react-native-device-specs

Detects device type on both android and ios

Java11

8 years ago

vue-ts-types

Lightweight TypeScript-first Vue prop type definitions

TypeScript7mit

2 months ago

hacktoberfestprop-typesprops

which-key.nvim

which-key.nvim

💥 Create key bindings that stick. WhichKey helps you remember your Neovim key

Lua5157apache-2.0

20 days ago

luaneovimneovim-lua

Bolero

Bolero

Bolero brings Blazor to F# developers with an easy to use Model-View-Update arch

F#1055apache-2.0

16 days ago

blazorbolerofsharp

gluon

gluon

A static, type inferred and embeddable language written in Rust.

Rust3161mit

7 months ago

compilerembeddablefunctional

HAR-stacked-residual-bidir-LSTMs

HAR-stacked-residual-bidir-LSTMs

Using deep stacked residual bidirectional LSTM cells (RNN) with TensorFlow, we d

Python318apache-2.0

2 years ago

bidirectional-lstm-cellshuman-activity-recognitionlstm

vue-ts-loader

vue-ts-loader

Type-check your script in your vue-loader

JavaScript91mit

8 years ago

Coq-HoTT

A Coq library for Homotopy Type Theory

Coq1233other

2 months ago

homotopy-type-theorytype-theoryunivalent-foundations

label-studio

label-studio

Label Studio is a multi-type data labeling and annotation tool with standardized

JavaScript18274apache-2.0

15 hours ago

annotationannotation-toolannotations

python-chrome-devtools-protocol

Python type wrappers for Chrome DevTools Protocol (CDP)

Python93mit

11 months ago

DeviceGuru

DeviceGuru

DeviceGuru is a simple lib (Swift) to know the exact type of the device, e.g. iP

Swift473mit

2 months ago

tsec

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

Scala351mit

3 years ago

cryptographyfunctional-programmingjca

Monoco.CMS.FieldTypes

Monoco Field Type Sitecore additions.

C#0

12 years ago

virtual-types.nvim

virtual-types.nvim

Neovim plugin that shows type annotations as virtual text

Lua364mit

last year

nvimnvim-lspnvim-plugin

router

A type safe router for vuejs

TypeScript136mit

2 months ago

directus-extension-generate-types

directus-extension-generate-types

Create types for your directus project in your favourite language.

TypeScript188other

6 months ago

ring-span-lite

ring-span lite - A C++yy-like ring_span type for C++98, C++11 and later in a sin

C++149bsl-1.0

4 months ago

cpp11cpp14cpp17

NoticeObserveKit

NoticeObserveKit is type-safe NotificationCenter wrapper.

Swift150mit

3 months ago

iosmacosnotificationcenter

eos-abigen

CLI for generating type-safe clients for EOS-compatible contracts.

Go4mit

2 years ago

blockchaincode-generationcryptocurrency

performance-bookmarklet

performance-bookmarklet

Performance-Bookmarklet helps to analyze the current page through the Resource T

JavaScript1138mit

2 years ago

analyzerbookmarkletbrowser-extension

go-types

Library providing opanapi3 and Go types for store/validation and transfer of ISO

Go18mit

2 months ago

country-codescurrency-codesemail

zilla-slab

Mozilla's Zilla Slab Type Family

Shell405ofl-1.1

last year

mozillatypographywebfont

Proxy

The type-safe REST library for .NET Standard 2.0 (NetCoreStack Flying Proxy)

C#42

11 months ago

backenddotnethttp-client

computed-types

🦩 Joi like validations for TypeScript

TypeScript365mit

3 months ago

asyncjavascriptruntime

react-native-auto-typing-text

react-native-auto-typing-text

Auto typing text component for react-native

JavaScript69mit

7 years ago

react-native

set

Package set is a small wrapper around the official reflect package that facilita

Go46mit

2 years ago

gogolangreflection

nushell

nushell

A new type of shell

Rust31202mit

last month

rustshell

slice

Type-safe functions for common Go slice operations

Go51mit

4 years ago

gogolangslice-tricks

typing-label

typing-label

A libGDX Label that appears as if it was being typed in real time.

Java151mit

4 months ago

libgdxscene2d

Equinox

Equinox

Description Create dynamic wallpapers for macOS for free. Upgrade your deskto

Swift1132mit

3 months ago

appappkitapplication

celery-types

:seedling: Type stubs for Celery and its related packages

Python73apache-2.0

4 months ago

amqpbilliardcelery

impatient-mode

Impatient html mode. See your changes in the browser as you type

Emacs Lisp215

12 months ago

sorbet

sorbet

A fast, powerful type checker designed for Ruby

Ruby3541apache-2.0

2 months ago

rubysorbettypes