flake8 plugin which checks that typing imports are properly guarded

Python48mit

2 months ago

flake8mypypre-commit

Type check values

TypeScript1628mit

3 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

9 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

21 days ago

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3468mit

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

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

1558cc-by-sa-4.0

2 months ago

awesomeawesome-listmypy

Runtime inspection utilities for Python typing module

Python313mit

7 months ago

introspectionpythonpython3

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

Shell4808mit

28 days ago

asynchronousautocompleteautocompletion

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

TypeScript7950mit

3 days ago

apicontrollersdecorators

A small utility for mobile web developers and testers who hate typing URLs into

C#7bsd-3-clause

8 months ago

Animated typing in ~400 bytes 🐡 of JavaScript

JavaScript1230mit

8 months ago

animationjavascriptmodule

The command that can save you typing 15 characters or more, each time!

Shell18mit

11 months ago

aliasesdockerdocker-compose

Swift CLI for strong-typing images, colors, storyboards, fonts and localizations

Swift381mit

11 months ago

Based Python static type checker with baseline, sane default settings and based

Python72other

2 months ago

basedbaselinehacktoberfest

Android virtual keyboard for expressive typing

Kotlin121mit

14 days ago

androidimetyping

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

Python193apache-2.0

last year

overridepep484python

Augmented text display system for libGDX, based on typing-label

Java85apache-2.0

19 days ago

fontguijava

Safely access Apple's SF Symbols using static typing

Swift1601mit

2 months ago

iconsiossfsymbols

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

27 days ago

Flexible and reliable hops by any type of words

Lua46mit

4 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

TypeScript4389other

8 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

10 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

3 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

6 months ago

circeelasticsearchhttp

Static type checker for Ruby

Ruby1311mit

3 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.

Swift99apache-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

Adds static typing to JavaScript to improve developer productivity and code qual

OCaml22019mit

5 months ago

A JavaScript Typing Animation Library

JavaScript14703mit

3 months ago

Optional static typing for Python

Python16868other

5 months ago

linterpythontypechecker

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

TypeScript3376mit

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

Practice touch/speed typing in emacs

Emacs Lisp124gpl-3.0

7 months ago

💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 tha

Lua4084apache-2.0

3 months ago

luaneovimneovim-lua

Fast, portable, non-Turing complete expression evaluation with gradual typing (G

Go1984apache-2.0

2 months ago

celexpressionexpression-evaluator

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

TypeScript5mit

3 months ago

Escape from insert mode without delay when typing

Lua461gpl-3.0

3 months ago

hacktoberfesthacktoberfest2021lua

gRPC typing stubs for Python

Python33mit

6 months ago

A vue component to highlight text as you're typing

Vue179mit

12 months ago

A WeeChat script for Slack.com. Supports threads and reactions, synchronizes rea

Python2500mit

13 days ago

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

Python974isc

10 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

TypeScript30455mit

16 hours ago

runtime-validationschema-validationstatic-types

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

C#633mit

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

3 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

TypeScript844mit

last month

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

13 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

Typical: Fast, simple, & correct data-validation using Python 3 typing.

Python180mit

9 months ago

annotationsdata-validationdeserialization

Validate your AsyncStorage using PropTypes!

JavaScript7mit

7 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

TypeScript13402mit

yesterday

ajvjson-schemavalidator

Straightforward, type-safe argument parsing for Swift

Swift3106apache-2.0

5 months ago

clicommand-lineflag

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

9 months ago

Robust and type-safe date and time calculations for Swift

Swift2268mit

20 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

10 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

5 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

5 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

Coq1215other

10 hours 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

11 days ago

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

C476mit

5 months ago

ccontainersdata-structure

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

OCaml192other

6 months ago

automationcoqdependent-types

Create types for your directus project in your favourite language.

TypeScript172other

2 months ago

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

4 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

3 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.

Swift9475mit

13 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

last year

actionschange-detectionchange-detetion

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

Python4mit

last month

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

21 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

Open-source data modeling tool designed for PostgreSQL. No more typing DDL comma

C++2880gpl-3.0

2 months ago

c-plus-pluscode-generatordatabase

DeviceKit is a value-type replacement of UIDevice.

Swift4345mit

yesterday

battery-levelbattery-statedevice

Type stubs for the lxml package

Python34other

5 months ago

lxmlmypy-stubstype-annotations

Dexterity venue type for use with events.

Python3

12 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

last year

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

10 months ago

Flake8 Type Annotation Checking

Python153mit

3 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

28 days ago

ant-taskgradle-plugingson

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

JavaScript1734mit

4 months ago

autonumericinput-validationinputmask

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

Python17mit

3 years ago

i'm typing when you're typing

Ruby1919other

6 years ago

Python typing koans to learn type-hints in Python3 using Mypy

Python119

2 years ago

koansmypypep-484

Auto typing text component for react-native

JavaScript68mit

6 years ago

react-native

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

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

Java148mit

last year

libgdxscene2d

An enhanced version of the Python typing library.

Python6mit

6 years ago

castpep484python

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

Javascript library for typing animation

HTML18mit

8 years ago

Modern Swift wrapper for Keychain Services API with the benefits of static typin

Swift22mit

last year

keychainswift

Backport Python 3.8+ typing utils & add issubtype & more

Python11apache-2.0

last year

Subclass of UITextField that shows inline suggestions while typing.

Swift665mit

4 years ago

autocompleteinputsuggestions

Mac app to learn typing and the alphabet

Swift26mit

6 years ago

This program is an On-Screen Display or a Heads-Up Display for keys. It displays

AutoHotkey290

last year

ahkautohotkeydesktop-computer

Quickly go back to a parent directory in linux instead of typing "cd ../../.." r

Shell918mit

2 years ago

Makes typing in input fields fun with CSS3 effects

CSS1929

6 years ago

css3-effectstext-effectstyping-effect

Typescript type definitions for ember.js

TypeScript13mit

6 years ago

definitelytypedemberember-typings

:baby_chick: A multi-paradigm programming language with gradual and duck typing

PHP323gpl-3.0

4 years ago

functional-programminglanguageprogramming-language

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

Swift1050mit

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.

Swift705mit

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

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

Format input text content when you are typing...

JavaScript17773apache-2.0

last year

credit-cardcreditcardinput

Instant audio feedback for typing. macOS version. (Rust)

Rust1416mit

last year

macosrust

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

Python typing stubs for phonenumbers(lite)

Python0mit

3 years ago

Quickly run NPM script by prefix without typing the full name

JavaScript139

2 years ago

clinpmquick

A speed typing web app written in Rust

Rust189mit

2 years ago

rusttailwindcsstrunk

Customizable bouncing dots for smooth loading effect. Mostly used in chat bubble

Java164mit

6 years ago

UITextField realtime currency formatter - format while typing

Objective-C14mit

7 years ago

Quickly open a file in JupyterLab by typing part of its name

Python75bsd-3-clause

last year

jupyterjupyterlabjupyterlab-extension

Because sometimes we all need to simulate typing in our framer prototypes.

CoffeeScript31mit

9 years ago

Emacs minor mode that detects the language you're typing in. Automatically switc

Emacs Lisp111

last year

emacsemacs-lisplanguage

A zsh plugin for directory change or editor startup with only key operations usi

Shell8mit

2 years ago

zshzsh-plugin