flake8 plugin which checks that typing imports are properly guarded

Python48mit

2 months ago

flake8mypypre-commit

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

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

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

Type provider library for Idris

Idris85

6 years ago

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

TypeScript20

last year

Tool for translation type comments to type annotations in Python

Python135mit

8 months ago

annotationspython-3-6source-to-source

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

Swift1988mit

18 days ago

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

Swift224mit

4 years ago

animationcarthagecocoapods

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

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

Type check values

TypeScript1622mit

6 days ago

assertionsisnode-module

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

Python107bsd-3-clause

3 months ago

flake8flake8-extensionsflake8-plugin

👾 JS type systems interportability

244

last year

closure-compilerelmflow

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

F#154mit

8 months ago

code-generationdotnet-clifable

Python1bsd-3-clause

3 years ago

hacktoberfest

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

Java148mit

last year

libgdxscene2d

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

1558cc-by-sa-4.0

2 months ago

awesomeawesome-listmypy

An enhanced version of the Python typing library.

Python6mit

6 years ago

castpep484python

Runtime inspection utilities for Python typing module

Python313mit

7 months ago

introspectionpythonpython3

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

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

Shell4808mit

25 days ago

asynchronousautocompleteautocompletion

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

TypeScript7947mit

5 days ago

apicontrollersdecorators

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

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

Subclass of UITextField that shows inline suggestions while typing.

Swift665mit

4 years ago

autocompleteinputsuggestions

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

Swift381mit

11 months ago

Mac app to learn typing and the alphabet

Swift26mit

6 years ago

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

Python72other

2 months ago

basedbaselinehacktoberfest

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

AutoHotkey290

last year

ahkautohotkeydesktop-computer

Android virtual keyboard for expressive typing

Kotlin121mit

11 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

16 days ago

fontguijava

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

Safely access Apple's SF Symbols using static typing

Swift1599mit

2 months ago

iconsiossfsymbols

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

Swift637mit

5 years ago

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

Type-safe event handling for Swift

Swift570mit

2 years ago

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

Swift2975mit

8 months 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

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

Objective-C1059mit

24 days ago

Type-safe observable values and collections in Swift

Swift362mit

2 years 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

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

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

Either type for RxJava

Java90apache-2.0

8 years ago

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

JavaScript608mit

4 months ago

bindingscodegencsharp

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

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

6mit

11 months ago

github-actiongithub-actionslanguage-detection

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

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

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

Hoare Type Theory

Coq63apache-2.0

5 months ago

coqhoare-logichoare-monads

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

Scala36

6 years ago

effectsfree-monadfunctional-programming

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

OCaml47mit

7 months ago

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

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

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

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

Python1876gpl-2.0

5 months 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 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 different type of generic function for common lisp.

Common Lisp28other

4 years ago

common-lispgeneric-functionsmultiple-dispatch

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

Go908mit

2 months ago

Type-safe declarative table views.

Swift704mit

last year

autolayoutgenericswift

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

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

Swift12mit

5 years ago

Static Type Checker for Python

Python11331other

5 months ago

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

C#46mit

5 years ago

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

Common Lisp31

3 years 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-Safe framework for defining, modifying, and querying SQL databases

Scala58

5 years 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

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

Objective-C707apache-2.0

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

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

Python1793gpl-2.0

last year

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

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

Lua504

last year

neovimneovim-pluginsnvim

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

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

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

Scala1629apache-2.0

5 months ago

circeelasticsearchhttp

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

Static type checker for Ruby

Ruby1311mit

2 months ago

rubytypechecker

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

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

Rule based Answer Type classification system in Node.js

JavaScript160

8 years ago

Brings types to TailwindCSS via TypeScript.

TypeScript414

2 years ago

csspurgecsstailwind

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

🔥 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

First class syntax support for type classes in Scala

Scala940bsd-3-clause

last year

Pluggable type-checking for Java

Java956other

4 months ago

javatypesverification

Modeling and Proving in Computational Type Theory

Coq65

6 months ago

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

✍️ 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

create type dynamically in Golang

Go23mit

4 years ago

Runtime type checking for JS with Hindley Milner signatures

JavaScript196mit

last year

functional-programminghindley-milnerinvariant

Minimal, type-safe RPC Scala library.

Scala25mit

8 months ago

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

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

Format input text content when you are typing...

JavaScript17773apache-2.0

last year

credit-cardcreditcardinput

Optional static typing for Python

Python16868other

5 months ago

linterpythontypechecker

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

Rust1416mit

last year

macosrust

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 flexible form to edit selected fields of a content type

Python3gpl-2.0

6 months ago

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

Python1gpl-2.0

3 years ago

A speed typing web app written in Rust

Rust189mit

2 years ago

rusttailwindcsstrunk

Practice touch/speed typing in emacs

Emacs Lisp124gpl-3.0

7 months ago

The repository for high quality TypeScript type definitions.

TypeScript45874other

5 months ago

definitiondtshacktoberfest

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

Java164mit

6 years ago

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

Lua4084apache-2.0

3 months ago

luaneovimneovim-lua

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

Go1954apache-2.0

last month

cockroachdbcode-completioncode-generator

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

Go1984apache-2.0

2 months ago

celexpressionexpression-evaluator

Code-First, Type-Safe, GraphQL Schema Construction

TypeScript3374mit

5 months ago

graphqlgraphql-nexusgraphql-schema

Homotopy type theory

Coq1134other

2 years ago

homotopy-type-theorytype-theoryunivalent-foundations

Java type safe statically compiled mustache

Java130bsd-3-clause

7 months ago

annotation-processordropwizardjava

UITextField realtime currency formatter - format while typing

Objective-C14mit

7 years ago

(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

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

Python75bsd-3-clause

last year

jupyterjupyterlabjupyterlab-extension

gRPC typing stubs for Python

Python33mit

6 months ago

flake8 plugin which checks that typing imports are properly guarded

Python48mit

2 months ago

flake8mypypre-commit

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

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

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

Type provider library for Idris

Idris85

6 years ago

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

TypeScript20

last year

Tool for translation type comments to type annotations in Python

Python135mit

8 months ago

annotationspython-3-6source-to-source

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

Swift1988mit

18 days ago

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

Swift224mit

4 years ago

animationcarthagecocoapods

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

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

Type check values

TypeScript1622mit

6 days ago

assertionsisnode-module

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

Python107bsd-3-clause

3 months ago

flake8flake8-extensionsflake8-plugin

👾 JS type systems interportability

244

last year

closure-compilerelmflow

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

F#154mit

8 months ago

code-generationdotnet-clifable

Python1bsd-3-clause

3 years ago

hacktoberfest

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

Java148mit

last year

libgdxscene2d

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

1558cc-by-sa-4.0

2 months ago

awesomeawesome-listmypy

An enhanced version of the Python typing library.

Python6mit

6 years ago

castpep484python

Runtime inspection utilities for Python typing module

Python313mit

7 months ago

introspectionpythonpython3

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

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

Shell4808mit

25 days ago

asynchronousautocompleteautocompletion

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

TypeScript7947mit

5 days ago

apicontrollersdecorators

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

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

Subclass of UITextField that shows inline suggestions while typing.

Swift665mit

4 years ago

autocompleteinputsuggestions

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

Swift381mit

11 months ago

Mac app to learn typing and the alphabet

Swift26mit

6 years ago

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

Python72other

2 months ago

basedbaselinehacktoberfest

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

AutoHotkey290

last year

ahkautohotkeydesktop-computer

Android virtual keyboard for expressive typing

Kotlin121mit

11 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

16 days ago

fontguijava

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

Safely access Apple's SF Symbols using static typing

Swift1599mit

2 months ago

iconsiossfsymbols

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

Swift637mit

5 years ago

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

Type-safe event handling for Swift

Swift570mit

2 years ago

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

Swift2975mit

8 months 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

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

Objective-C1059mit

24 days ago

Type-safe observable values and collections in Swift

Swift362mit

2 years 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

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

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

Either type for RxJava

Java90apache-2.0

8 years ago

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

JavaScript608mit

4 months ago

bindingscodegencsharp

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

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

6mit

11 months ago

github-actiongithub-actionslanguage-detection

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

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

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

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

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

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

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

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

Python1876gpl-2.0

5 months 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