Type check values

TypeScript1622mit

6 days ago

assertionsisnode-module

Tool for translation type comments to type annotations in Python

Python135mit

8 months ago

annotationspython-3-6source-to-source

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

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

F#154mit

8 months ago

code-generationdotnet-clifable

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

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

Swift1988mit

18 days ago

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3467mit

4 months ago

bufferdetectfile

Detect the image type of a Buffer/Uint8Array

JavaScript364mit

6 months ago

Flake8 plugin for managing type-checking imports & forward references.

Python107bsd-3-clause

3 months ago

flake8flake8-extensionsflake8-plugin

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

Shell4808mit

24 days ago

asynchronousautocompleteautocompletion

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

TypeScript7947mit

4 days ago

apicontrollersdecorators

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

Dart747bsd-2-clause

4 months ago

C++ logging library. It is extremely powerful, extendable, light-weight, fast pe

C++3643mit

6 months ago

c-plus-plusc-plus-plus-11cpp

Features from the rust language in javascript: Provides Traits/Type classes & a

JavaScript506apache-2.0

3 months ago

ferrumfunctionalhashing

Run-time type checker for Python

Python1354other

5 months ago

Binary code static analyser, with IDA integration. Performs value and taint anal

OCaml1611

3 months ago

disassemblyida-pluginreverse-engineering

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

Swift2975mit

8 months ago

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

Objective-C1059mit

24 days ago

Flexible and reliable hops by any type of words

Lua46mit

3 months ago

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

Makefile18mit

10 months ago

audiocodablecodedata

Type-safe, compiled Jinja-like templates for Rust

Rust2930apache-2.0

2 months ago

custom-derivejinja2rust

Generate stub for interface on a type

Lua43

10 months ago

An Elixir library for defining structs with a type without writing boilerplate c

Elixir705mit

5 months ago

Consume C# in JavaScript with comfort: single-file UMD library, auto-generated 2

JavaScript608mit

4 months ago

bindingscodegencsharp

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

6mit

11 months ago

github-actiongithub-actionslanguage-detection

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

Swift907mit

8 months ago

currencydecimalgyb

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

Swift568mit

last month

collectionviewdata-drivendatasource

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

Lua298gpl-3.0

5 months ago

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

TypeScript4384other

5 days ago

javascriptnodejspostgres

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

Go153mit

8 months ago

databasegenericsgo

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

9 months ago

Hoare Type Theory

Coq63apache-2.0

5 months ago

coqhoare-logichoare-monads

Type-safe library for building parallel applications, built on top of Async's Rp

OCaml47mit

7 months ago

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

Inspects Python source files and provides information about type and location of

Python1876gpl-2.0

5 months ago

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

Scala1178mit

last month

enumenumerationsintegrations

A portable type inference library for Common Lisp

Common Lisp33mit

5 months ago

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

Go908mit

2 months ago

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

Static Type Checker for Python

Python11331other

5 months ago

A type-safe, high-level networking solution for Swift apps

Swift25mit

7 months ago

httphttp-requestsnetwork

Golang type-safe dependency injection

Go28mit

11 months ago

dependency-injectiongogolang

Static reflection for enums (to string, from string, iteration) for modern C++,

C++4318mit

2 months ago

c-plus-plusc-plus-plus-17cplusplus

A robust option type for C#

C#866mit

8 months ago

functional-programmingoption-typesafety

Less redundancy in type declarations and signatures

OCaml85mit

10 months ago

Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.

Python1318apache-2.0

10 months ago

named-tensorspython-typingpytorch

A modern C++ library for type-safe environment variable parsing

C++115apache-2.0

3 months ago

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

Swift34mit

12 months ago

coredatafluent-interfaceswift

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

Swift58mit

6 months ago

dependency-injectiondependency-resolutionservice-locator

Modified fork of CPython's ast module that parses `# type:` comments

C225other

10 months ago

A Python type checker

Python287apache-2.0

2 months ago

linterpythonstatic-analysis

LSP signature hint as you type

Lua1817apache-2.0

5 months ago

autocompletelspneovim

A type safe SQL template library for C++

C++2339bsd-2-clause

2 months ago

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

OCaml10050mit

2 months ago

javascriptocamlprogramming-language

Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP Client

Scala1629apache-2.0

5 months ago

circeelasticsearchhttp

Static type checker for Ruby

Ruby1311mit

2 months ago

rubytypechecker

Python wrapper for AutoHotkey with full type support. Harness the automation pow

Python742mit

5 months ago

ahk-scriptasyncioautohotkey

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

Swift98apache-2.0

3 months ago

iosswift-library

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

TypeScript36mit

3 months ago

firebasefirestorescalable

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

TypeScript9mit

6 months ago

firebasefirebase-databasefirebase-realtime-database

Pluggable type-checking for Java

Java956other

4 months ago

javatypesverification

Modeling and Proving in Computational Type Theory

Coq65

6 months ago

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

Lua410gpl-3.0

6 months ago

neovimneovim-guineovim-lua

This is a Crystal implementation of a Splay Tree; which is a type of binary sear

Crystal14apache-2.0

11 months ago

Minimal, type-safe RPC Scala library.

Scala25mit

8 months ago

A JavaScript Typing Animation Library

JavaScript14703mit

3 months ago

A flexible form to edit selected fields of a content type

Python3gpl-2.0

6 months ago

The repository for high quality TypeScript type definitions.

TypeScript45874other

5 months ago

definitiondtshacktoberfest

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

Go1954apache-2.0

last month

cockroachdbcode-completioncode-generator

Code-First, Type-Safe, GraphQL Schema Construction

TypeScript3374mit

5 months ago

graphqlgraphql-nexusgraphql-schema

Java type safe statically compiled mustache

Java130bsd-3-clause

7 months ago

annotation-processordropwizardjava

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

Swift288mit

8 months ago

dslmysqlpostgresql

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

Python974isc

7 days ago

asyncasynciodatabase

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

Julia681mit

2 months ago

error-detectionjuliaperformance-engineering

TypeScript-first schema validation with static type inference

TypeScript30386mit

yesterday

runtime-validationschema-validationstatic-types

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

C#632mit

2 months ago

buncodegencsharp

Honeypot type for Symfony forms

PHP33

7 months ago

Performant type-checking for python.

Python6571mit

5 months ago

abstract-interpretationcode-qualitycontrol-flow-analysis

Catch unsafe PostgreSQL migrations in development and run them easier in product

Ruby568mit

last month

activerecordgemmigrations

Decorator which checks whether the function is called with the correct type of p

Python102

5 months ago

decoratordocstring-checkerproperty

Extensible, type-safe, fluent assertion Go library.

Go39mit

2 months ago

assertionsgogolang

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

PHP455mit

4 months ago

bundledoctrinedoctrine-dbal

Type safe stores and mock API with minimal config

TypeScript10mit

5 months ago

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

Go1354mit

2 months ago

detectiongogolang

A static type analyzer for Python code

Python4426other

5 months ago

linterpythonstatic-analysis

ExImageInfo is an Elixir library to parse images (binaries) and get the dimensio

Elixir93other

5 months ago

dimensionselixirelixir-lang

A fully type-safe and lightweight internationalization library for all your Type

TypeScript1914mit

6 months ago

angularangular2i18n

Generate type-safe Go converters by simply defining an interface

Go412mit

2 months ago

code-generationconvertercopy

🦕 Type-safe TypeScript-first ODM for Firestore

TypeScript369

3 months ago

Generate type-safe code from SQL

Go8163mit

11 months ago

code-generatorgokotlin

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

Java4603apache-2.0

2 months ago

gatewaygrpcgrpc-client

Type-safe, strict Python. Works well with standard Python

Python15mit

6 months ago

:key: Hash type identifier (CLI & lib)

Ruby455mit

8 months ago

ctfctf-toolscyber

Type safe TypeScript client for any GraphQL API

TypeScript838mit

29 days ago

Scala library for boilerplate-free, type-safe data transformations

Scala1089apache-2.0

last month

auto-mappingautomatic-conversionboilerplate

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

Go44mit

4 months ago

castconvertcvt

Declarative, type-safe web endpoints library

Scala1275apache-2.0

last month

akkaakka-httpdeclarative

A simple and clean instructional dialog plugin for Vue2, dialog type including M

JavaScript128mit

12 months ago

alertdialoges6

Node.js ORM written in TypeScript for type lovers.

TypeScript101apache-2.0

10 days ago

graphqljavascriptmariadb

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

TypeScript70mit

3 months ago

firebasefirestoregeneric-types

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

Vue39mit

6 months ago

image-componentvuevuejs

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

TypeScript11823mit

4 months ago

composition-apissrstore

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

Go41bsd-3-clause

10 months ago

gogodocgolang

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

TypeScript257mit

4 months ago

async-awaitbuild-toolcli

Phantom types for Python.

Python167bsd-3-clause

5 months ago

mypyphantom-typespython

Vue Prop Types definitions

TypeScript538mit

4 months ago

nuxtnuxtjsprops

Validate your AsyncStorage using PropTypes!

JavaScript7mit

6 months ago

asyncstorageasyncstorage-wrapperproptype-validators

An optional type system for Clojure

Clojure1278epl-1.0

2 months ago

A function type to dispatch on types instead of classes with partial support for

Common Lisp47

11 months ago

common-lisplisp

🦩 Joi like validations for TypeScript

TypeScript360mit

6 months ago

asyncjavascriptruntime

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

TypeScript13394mit

8 hours ago

ajvjson-schemavalidator

Straightforward, type-safe argument parsing for Swift

Swift3106apache-2.0

5 months ago

clicommand-lineflag

flake8 plugin which checks that typing imports are properly guarded

Python48mit

2 months ago

flake8mypypre-commit

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

Python2149mit

5 months ago

python3runtime-typecheckingstatic-typechecking

Type-safe database access for Rust

Rust1616apache-2.0

4 months ago

prismaprisma-clientprisma-client-rust

ActiveRecord::Store but with type definition

Ruby426mit

8 months ago

Robust and type-safe date and time calculations for Swift

Swift2267mit

17 days ago

calendarcalendar-apicalendars

pytest plugin to test mypy static type analysis

Python25

8 months ago

mypypytest-plugin

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

Go3835other

4 months ago

concurrencydatastructuresgenerics

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

Lua265mit

3 months ago

hacktoberfesthacktoberfest-acceptedlua

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

C#129mit

9 months ago

codegenerationcodegeneratorcsharp-sourcegenerator

Convert a value into another type

Go22mit

7 months ago

gogolang

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

TypeScript755mit

4 months ago

bundle-sizeformform-validation

Postgrex.Extension and Ecto.Type for PostgreSQL isn module

Elixir8

2 months ago

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

F#1033apache-2.0

4 months ago

blazorbolerofsharp

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

Rust3067mit

4 months ago

compilerembeddablefunctional

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type infer

TypeScript10356mit

3 months ago

branchingconditionsexhaustive

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

Python13598apache-2.0

10 months ago

annotationannotation-toolannotations

A Coq library for Homotopy Type Theory

Coq1214other

6 days ago

homotopy-type-theorytype-theoryunivalent-foundations

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

JavaScript15229apache-2.0

4 months ago

annotationannotation-toolannotations

Python type wrappers for Chrome DevTools Protocol (CDP)

Python69mit

11 months ago

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

Swift471mit

8 days ago

Easy to use, modular, header only, macro based, generic and type-safe Data Struc

C476mit

4 months ago

ccontainersdata-structure

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep

OCaml192other

5 months ago

automationcoqdependent-types

Create types for your directus project in your favourite language.

TypeScript172other

last month

An annotation processor for generating type-safe bean mappers

Java6549other

5 months ago

annotation-processorbean-mappingjava

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

C++147bsl-1.0

3 months ago

cpp11cpp14cpp17

Mozilla's Zilla Slab Type Family

Shell398ofl-1.1

11 months ago

mozillatypographywebfont

Nameof operator for modern C++, simply obtain the name of a variable, type, func

C++1920mit

3 months ago

c-plus-plusc-plus-plus-17cplusplus

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

C#41

7 months ago

backenddotnethttp-client

A type safe MySQL client for Swift

Swift159mit

5 months ago

linuxmysqlmysql-client

A new type of shell

Rust28675mit

2 months ago

rustshell

A clean, type-safe library for describing, manipulating and rendering CSS

PureScript105apache-2.0

9 months ago

A plugin for Flake8 that provides specializations for type hinting stub files

Python71mit

3 months ago

flake8lintlinter

Data validation using Python type hints

Python17139mit

4 months ago

hintsjson-schemaparsing

Type4Py: Deep Similarity Learning-Based Type Inference for Python

Python54apache-2.0

8 months ago

deeplearningmachinelearningml4se

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

Emacs Lisp214

7 months ago

A fast, powerful type checker designed for Ruby

Ruby3517apache-2.0

last month

rubysorbettypes

Generate type-safe code from SQL

Go10278mit

2 months ago

code-generatorgokotlin

A Scala DSL for talking with databases with minimum verbosity and maximum type s

Scala583apache-2.0

7 months ago

A type-safe, Swift-language layer over SQLite3.

Swift9471mit

10 days ago

sqliteswift

A GraphQL library for Python that leverages type annotations 🍓

Python3603mit

4 months ago

asgiasynciodjango

🖼️ Powerful image editor with width/height selection, applying filters, SVG to

Kotlin365apache-2.0

11 months ago

androidapplicationbatch-processing

:octocat: Github action to retrieve all (added, copied, modified, deleted, renam

Shell1004mit

12 months ago

actionschange-detectionchange-detetion

Converts GTFS blocks into a series of trip-to-trip transfers using heuristics to

Python4mit

last month

Collection of awesome Python types, stubs, plugins, and tools to work with them.

1558cc-by-sa-4.0

2 months ago

awesomeawesome-listmypy

A Python type explainer!

Python78mit

9 months ago

Contains primitives for marshaling/unmarshaling Unix timestamp/epoch to/from bui

Go14mit

2 months ago

datedeserializationepoch

A Swift Runtime library for viewing type info, and the dynamic getting and setti

Swift1057mit

2 months ago

iosreflectionruntime

Type-safe extensions for the vertx eventbus

Kotlin10apache-2.0

18 days ago

codegencoroutineseventbus

scan sql rows into any type powered by generics

Go59mit

4 months ago

databasedbgenerics

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

Go17mit

9 months ago

country-codescurrency-codesemail

DeviceKit is a value-type replacement of UIDevice.

Swift4345mit

12 days ago

battery-levelbattery-statedevice

Type stubs for the lxml package

Python34other

5 months ago

lxmlmypy-stubstype-annotations

Dexterity venue type for use with events.

Python3

11 months ago

trycast parses JSON-like values whose shape is defined by TypedDicts and other s

Python64mit

6 months ago

parsingpythonruntime-typechecking

Squid – type-safe metaprogramming and compilation framework for Scala

Scala197apache-2.0

3 months ago

metaprogrammingoptimizationscala

mypy plugin to type check Kubernetes resources

Python19apache-2.0

3 months ago

crdkuberneteskubernetes-development

Basic demo on how to switch styles with Tailwind, handy for dark mode type purpo

Liquid182

12 months ago

dark-modedark-themejavascript

Easy-to-use Paho MQTT client for Vue 3 with centralized subscription management,

TypeScript8mit

8 months ago

mqtt-clientpaho-mqttplugin

Scala lightweight, type-safe, asynchronous driver for neo4j

Scala159mit

last month

databasefunctional-programminggraph

Angular global trackBy property directive with strict type checking.

TypeScript29mit

4 months ago

angularangular2

The automatic type-safe REST library for .NET Core, Xamarin and .NET. Heavily in

C#7859mit

3 months ago

c-sharpdotnetdotnet-core

Mypy static type checker plugin for Pytest

Python233mit

9 months ago

Flake8 Type Annotation Checking

Python153mit

2 months ago

flake8flake8-pluginpython

FastImage finds the size or type of an image given its uri by fetching as little

Ruby1352mit

4 months ago

Generate Java types from JSON or JSON Schema and annotate those types for data-b

Java6147apache-2.0

25 days ago

ant-taskgradle-plugingson

AutoNumeric is a standalone library that provides live as-you-type formatting fo

JavaScript1734mit

4 months ago

autonumericinput-validationinputmask

CogComp's Natural Language Processing Libraries and Demos: Modules include lemma

Java470other

10 months ago

big-datacogcompdata-mining

CakePHP Decimal type handling using Decimal value object.

PHP7mit

5 months ago

cakephpdecimalphp

Detect device, and render view according to detected device type.

JavaScript2562mit

8 months ago

detectdevicejavascript

jOOR - Fluent Reflection in Java jOOR is a very simple fluent API that gives ac

Java2770apache-2.0

8 months ago

Type `git open` to open the GitHub page or website for a repository in your brow

Shell3270mit

24 days ago

bitbucketgitgithub

Prisma Client Go is an auto-generated and fully type-safe database client

Go1486apache-2.0

11 months ago

databasegogolang

An updated drop-in for statping. A Status Page for monitoring your websites and

Vue1259gpl-3.0

17 days ago

gomonitoringmonitoring-server

Prisma Client Go is an auto-generated and fully type-safe database client

Go1867apache-2.0

2 months ago

databasegogolang

Enums.NET is a high-performance type-safe .NET enum utility library

C#1592mit

5 months ago

csharpdotnetdotnet-core

Native file viewer for React Native. Preview any type of file supported by the m

Java419mit

3 months ago

ZIO — A type-safe, composable library for async and concurrent programming in Sc

Scala3979apache-2.0

last month

asynchronicityasynchronousasynchronous-programming

Description OctoLinker reads the source code you're currently viewing straigh

HTML5213mit

7 months ago

browser-extensiongithubgithub-extension

Description OctoLinker reads the source code you're currently viewing straigh

JavaScript2900

7 days ago

awesomeawesome-listbrowser-extension

Autogenerate type-safe GraphQL queries in Elm.

Elm775bsd-3-clause

3 months ago

elmgraphql

Haskell: Derive Elm types from Haskell types

Elm100bsd-3-clause

8 months ago

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

TypeScript31other

6 months ago

SecLists is the security tester's companion. It's a collection of multiple types

PHP51177mit

4 months ago

Lightweight TypeScript-first Vue prop type definitions

TypeScript4mit

4 months ago

hacktoberfestprop-typesprops

Generate Elm types, encoders, and decoders from Haskell types

Haskell59bsd-3-clause

12 months ago

Run eslint with reviewdog

JavaScript224mit

6 days ago

eslintreviewdog

Run golangci-lint with reviewdog

TypeScript201mit

9 days ago

golangci-lintreviewdog

Run misspell with reviewdog

Shell81mit

9 days ago

misspellreviewdog

Dojo 1 - TypeScript Typings (including Dijit and DojoX)

TypeScript28other

last year

Typescript type definitions for ember.js

TypeScript13mit

6 years ago

definitelytypedemberember-typings

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

TypeScript20

last year

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

Swift224mit

4 years ago

animationcarthagecocoapods

Python1bsd-3-clause

3 years ago

hacktoberfest

Type provider library for Idris

Idris85

6 years ago

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

👾 JS type systems interportability

244

last year

closure-compilerelmflow

Detect the file type of a file or stdin

JavaScript71mit

2 years ago

:lock_with_ink_pen: CakePHP 4 plugin that provides application-level database en

PHP7mit

3 years ago

cakephpcakephp-plugincakephp3

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

C#4unlicense

4 years ago

csharpmaybe-monad

Multiply single type geojsons into a multi type geojson

JavaScript2mit

8 years ago

editinggeojson

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 years ago

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

Swift637mit

5 years ago

Type-safe event handling for Swift

Swift570mit

2 years ago

Re-apply type annotations from .pyi stubs to your codebase.

Python135mit

2 years ago

mypypep484python

Single header C++ logging library. It is extremely powerful, extendable, light-w

C++3371other

last year

c-plus-plusc-plus-plus-11cpp

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

PHP13mit

2 years ago

An Optional Type System for Lua

Lua558

4 years ago

OCaml type-safe query builder with syntax tree extension

OCaml124

last year

Swift type modelling the success/failure of arbitrary operations.

Swift2506mit

3 years ago

Type-safe observable values and collections in Swift

Swift362mit

2 years ago

A type-safe JSON-RPC 2.0 library purely written in Swift

Swift177mit

4 years ago

An object-oriented option parser library for PHP, which supports type constraint

PHP147mit

last year

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

Go109other

last year

A PortableApps.com type launcher for linux

Go25mit

last year

appimagelauncherlinux

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

Swift1049mit

2 years ago

animationcarthagecocoapods

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

Objective-C352mit

8 years ago

PullToRefresh extension for all UIScrollView type classes with animated text dra

Objective-C311mit

7 years ago

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

Go40bsd-3-clause

5 years ago

goimghdr

A jQuery plugin for inflating web type

HTML6778

3 years ago

Either type for RxJava

Java90apache-2.0

8 years ago

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

PHP2mit

7 years ago

ID type with marshalling to/from hash to prevent sending IDs to clients.

Go59mit

2 years ago

golangidjson

Java library for the Siren Hypermedia Type Specification

Java24mit

6 years ago

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

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

R121

last year

Partition (W)ARC Files by MIME Type and Year

Java1mit

7 years ago

hadoopwarcweb-archiving

A modern, type-safe, idiomatic Vue binding library

TypeScript218mit

2 years ago

Generate Yew components from React components via Typescript type definitions

JavaScript53apache-2.0

3 years ago

jsxproc-macroreact

A type-safe JSON decoding library purely written in Swift

Swift796mit

5 years ago

decodingjsonswift

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

Scala36

6 years ago

effectsfree-monadfunctional-programming

Protocol oriented, type safe, scalable design system foundation swift framework

Swift95other

5 years ago

adaptive-layoutsappleautolayout-constraints

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

Ruby16

last year

Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️

Swift1483mit

3 years ago

codablejson-parsingswift

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

C#2

last year

dependency-injectiondependency-trackerdotnet

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

Swift16mit

7 years ago

cocoapodscorenfcdata-parser

Enumerable type in Elixir

Elixir64

4 years ago

Type strict builder class for NSAttributedString.

Swift73mit

2 years ago

iosnsattributedstringswift

Type and doc on hover for OCaml and Reason in emacs

Emacs Lisp42gpl-3.0

last year

emacsocamlreasonml

Erlang term explorer. Pastebin type app which displays terms of any complexity s

CSS80mit

10 years ago

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

V22gpl-3.0

2 years ago

Type-safe data migration tool for Slick, Git and beyond.

Scala190other

2 years ago

database-migrationsscalaslick

Controlling "Tuya-type" smart power outlets using MicroPython

Python12apache-2.0

6 years ago

esp32home-automationmicropython

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

C#110mit

last year

A different type of generic function for common lisp.

Common Lisp28other

4 years ago

common-lispgeneric-functionsmultiple-dispatch

Type-safe declarative table views.

Swift704mit

last year

autolayoutgenericswift

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

Swift12mit

5 years ago

A common lisp library that provides a numeric type with optional unit and/or unc

Common Lisp31

3 years ago

Type-Safe framework for defining, modifying, and querying SQL databases

Scala58

5 years ago

Modern thread-safe and type-safe key-value observing for Swift and Objective-C

Objective-C707apache-2.0

3 years ago

Backport for type hinting generics in standard collections and union types as X

Python17mit

3 years ago

Inspects Python source files and provides information about type and location of

Python1793gpl-2.0

last year

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

Lua504

last year

neovimneovim-pluginsnvim

Swift µframework with extensions for the Optional Type

Swift182mit

5 years ago

functional-programmingswiftswift-extensions

Type-safe and simple GraphQL library for ReasonML developers.

JavaScript96mit

last year

Type-safe AWS infrastructure.

TypeScript506apache-2.0

2 years ago

awsaws-cdkinfrastructure-as-code

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

Swift191

5 years ago

extensionswift-equatablexcode

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

Pre-commit hook for upgrading type hints

Python54bsd-3-clause

2 years ago

annotationspep-585pre-commit

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

Kotlin7apache-2.0

2 years ago

android-applicationbiometricsdiscrete-scrollview

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

Go29bsd-3-clause

2 years ago

embeddedembedded-filesfilesystem

Type aware promises for crystal lang

Crystal39mit

2 years ago

Rule based Answer Type classification system in Node.js

JavaScript160

8 years ago

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

Swift15apache-2.0

6 years ago

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

Python21

3 years ago

First class syntax support for type classes in Scala

Scala940bsd-3-clause

last year

flexible data type for Go

Go48mit

3 years ago

flexible-datagenericgo

Ecto type for saving encrypted passwords using Comeonin

Elixir35bsd-3-clause

5 years ago

comeoninectopassword-hash

create type dynamically in Golang

Go23mit

4 years ago

Runtime type checking for JS with Hindley Milner signatures

JavaScript196mit

last year

functional-programminghindley-milnerinvariant

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

Swift78mit

3 years ago

carthagecocoapodsexpiration

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

Python114apache-2.0

2 years ago

apache-sparkmypypep484

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

C#46mit

5 years ago

Brings types to TailwindCSS via TypeScript.

TypeScript414

2 years ago

csspurgecsstailwind

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

Python1gpl-2.0

3 years ago

Homotopy type theory

Coq1134other

2 years ago

homotopy-type-theorytype-theoryunivalent-foundations

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

JavaScript925

7 years ago

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix

OCaml85lgpl-2.1

4 years ago

A MIME type sniffer for Go.

Go32mit

2 years ago

content-typefile-formatfile-signature

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

JavaScript2mit

last year

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

JavaScript64other

6 years ago

Flexible type conversion lightweight library

Elixir0apache-2.0

2 years ago

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

Ruby441

9 years ago

Implement fast, type-safe HTTP webservices for Finagle

Scala90apache-2.0

4 years ago

finagleframeworkhttp

The Type Linter for JS

JavaScript362mit

2 years ago

assertionjavascriptlinter

Add a type for paths in Go.

Go13mit

3 years ago

filefilepathfiles

Create go type representation from json

Go127mit

2 years ago

clijsonjson-to-go

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

Swift494mit

2 years ago

codegencommand-line-tooldata-driven

Type-safe thread-local storage in Swift

Swift72mit

5 years ago

carthagecocoapodsconcurrency

Reactive type-safe Scala driver for SQL databases

Scala101other

5 years ago

bintraydslmorpheus

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

Scala1048apache-2.0

last year

cassandradatastax-enterprisephantom

A JavaScript library that lets you curve type on the web.

JavaScript667mit

last year

javascripttext-radiustypography

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Idris155mit

5 years ago

type-safetyunit-conversionunits-of-measure

Suggests and completes words as you type! Write faster and more efficiently.

AutoHotkey179

last year

🔥💧🍃 Pokémon types, including — their weaknesses, strengths and immunities.

JavaScript8mit

last year

gamegame-freakmodule

Custom Scalar Types for GraphQL-Tools

JavaScript47

3 years ago

customgraphq-toolsgraphql

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

JavaScript419mit

last year

typedtyped-jstyping

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

TypeScript103mit

6 years ago

typescriptvue