Detect the archive type of a file or stdin

JavaScript6

6 years ago

Linter for TypeGraphQL decorators

TypeScript15apache-2.0

last year

Type provider library for Idris

Idris85

6 years ago

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

JavaScript238mit

10 months ago

fluid-typemodular-scaletailwind

A collection of essential TypeScript types

TypeScript14mit

3 years ago

denotypestypescript

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

Go179mit

13 days ago

cliexportgo

TypeScript20

9 months ago

Tool for translation type comments to type annotations in Python

Python132mit

5 months ago

annotationspython-3-6source-to-source

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

Swift221mit

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.

Go9mit

7 months ago

code-generatorddd-patternsgolang

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3258mit

22 days ago

bufferdetectfile

Detect the image type of a Buffer/Uint8Array

JavaScript347mit

8 months ago

Type check values

TypeScript1576mit

last month

assertionsisnode-module

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

Python97bsd-3-clause

6 months ago

flake8flake8-extensionsflake8-plugin

👾 JS type systems interportability

243

10 months ago

closure-compilerelmflow

Python1bsd-3-clause

2 years ago

hacktoberfest

Detect the file type of a file or stdin

JavaScript69mit

2 years ago

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

Go286gpl-3.0

yesterday

code-generationcode-generatorcopy

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

PHP79

2 years ago

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

PHP7mit

3 years ago

cakephpcakephp-plugincakephp3

Practice touch/speed typing in emacs

Emacs Lisp120gpl-3.0

yesterday

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

7 years ago

editinggeojson

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

TypeScript0mit

2 months ago

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

Shell3794mit

last month

asynchronousautocompleteautocompletion

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

TypeScript7845mit

yesterday

apicontrollersdecorators

A small JavaScript library for defining and using union types.

JavaScript477mit

4 years ago

Check all the available MIME types of an extension

JavaScript5mit

3 years ago

mime-typemime-type-checkmime-types

An experimental babel transformer plugin for rtts_assert

JavaScript0

8 years ago

Algebraic data types in Common Lisp

Common Lisp107bsd-3-clause

4 years ago

algebraic-data-typescommon-lispfunctional-programming

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

PHP226mit

3 years ago

coding-standardscsphp

Typescript type definitions for ember.js

TypeScript13mit

5 years ago

definitelytypedemberember-typings

Linux file search, instant results as you type

Python927gpl-2.0

2 years ago

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

Swift634mit

4 years ago

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

Dart724bsd-2-clause

19 days ago

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

JavaScript499apache-2.0

2 months ago

ferrumfunctionalhashing

Run-time type checker for Python

Python1283other

5 days ago

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

OCaml1523

7 months ago

disassemblyida-pluginreverse-engineering

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

Python133mit

last year

mypypep484python

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

PHP13mit

last year

An Optional Type System for Lua

Lua540

4 years ago

Swift type modelling the success/failure of arbitrary operations.

Swift2515mit

2 years ago

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

Objective-C1060mit

5 years ago

Type-safe observable values and collections in Swift

Swift362mit

2 years ago

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

Makefile17mit

3 months ago

audiocodablecodedata

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

Swift178mit

3 years ago

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

PHP144mit

6 months ago

A PortableApps.com type launcher for linux

Go24mit

8 months ago

appimagelauncherlinux

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

Swift1051mit

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

7 years ago

An optional type system for Clojure

Clojure1276epl-1.0

2 years ago

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

Go40bsd-3-clause

4 years ago

goimghdr

A jQuery plugin for inflating web type

HTML6785

3 years ago

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

Common Lisp47

4 months ago

common-lisplisp

Generate stub for interface on a type

Lua40

3 months ago

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

Elixir681mit

3 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

JavaScript594mit

23 hours 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.

Go56mit

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

4 months ago

github-actiongithub-actionslanguage-detection

Evaluation of packer type estimation/detection tools

Python9apache-2.0

3 years ago

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

Lua269gpl-3.0

2 months ago

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

TypeScript4070other

12 hours ago

javascriptnodejspostgres

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir24mit

last year

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

R120

11 months ago

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

Go33mit

2 years ago

castgogolang

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

JavaScript50apache-2.0

3 years ago

jsxproc-macroreact

A type-safe JSON decoding library purely written in Swift

Swift801mit

4 years ago

decodingjsonswift

Hoare Type Theory

Coq59apache-2.0

3 months ago

coqhoare-logichoare-monads

A Python library that generates static type annotations by collecting runtime ty

Python4331other

2 months ago

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

Scala37

5 years ago

effectsfree-monadfunctional-programming

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

Swift94other

4 years ago

adaptive-layoutsappleautolayout-constraints

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

Ruby16

9 months ago

A durable atom type for Clojure

Clojure185epl-1.0

6 months ago

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

Swift1476mit

2 years ago

codablejson-parsingswift

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

C#1

8 months ago

dependency-injectiondependency-trackerdotnet

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

Swift16mit

6 years ago

cocoapodscorenfcdata-parser

Enumerable type in Elixir

Elixir64

4 years ago

Type strict builder class for NSAttributedString.

Swift74mit

last year

iosnsattributedstringswift

Type and doc on hover for OCaml and Reason in emacs

Emacs Lisp42gpl-3.0

7 months ago

emacsocamlreasonml

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

Python45other

4 days ago

basedbaselinehacktoberfest

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

CSS80mit

9 years ago

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

V21gpl-3.0

last year

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

Scala190other

last year

database-migrationsscalaslick

Controlling "Tuya-type" smart power outlets using MicroPython

Python11apache-2.0

5 years ago

esp32home-automationmicropython

A portable type inference library for Common Lisp

Common Lisp30mit

3 months ago

A different type of generic function for common lisp.

Common Lisp28other

3 years ago

common-lispgeneric-functionsmultiple-dispatch

A JavaScript Typing Animation Library

JavaScript13404mit

4 months ago

Remove unnecessary type conversions from Go source

Go358bsd-3-clause

21 days ago

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

Swift12mit

4 years ago

Static Type Checker for Python

Python10611other

2 months ago

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

C#45mit

5 years ago

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

Common Lisp31

2 years ago

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

C++3913mit

13 days ago

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

A robust option type for C#

C#838mit

28 days ago

functional-programmingoption-typesafety

Less redundancy in type declarations and signatures

OCaml85mit

3 months ago

A CLI tool to automatically add type annotations into Python code. Must have too

Python62mit

6 months ago

annotationscode-formattercode-generation

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.

Python1234apache-2.0

6 months ago

named-tensorspython-typingpytorch

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

Objective-C707apache-2.0

2 years ago

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

Python15mit

2 years ago

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

Python1793gpl-2.0

6 months ago

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

C218other

11 months ago

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

Lua466

10 months ago

neovimneovim-pluginsnvim

LSP signature hint as you type

Lua1614apache-2.0

21 days ago

autocompletelspneovim

Swift µframework with extensions for the Optional Type

Swift182mit

5 years ago

functional-programmingswiftswift-extensions

Type-safe AWS infrastructure.

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

2 years ago

Pre-commit hook for upgrading type hints

Python54bsd-3-clause

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

Ruby1260mit

17 days ago

rubytypechecker

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

Go28bsd-3-clause

2 years ago

embeddedembedded-filesfilesystem

Type aware promises for crystal lang

Crystal38mit

last year

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

Python706mit

9 days ago

ahk-scriptasyncioautohotkey

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

Swift98apache-2.0

2 years ago

iosswift-library

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

Swift2apache-2.0

5 years ago

concurrencyconditionsdatabase

Rule based Answer Type classification system in Node.js

JavaScript160

7 years ago

🖼️ Image toolbox is the app which based on modern tech stack using Clean Archit

Kotlin666apache-2.0

4 hours ago

aes-256androidapplication

Brings types to TailwindCSS via TypeScript.

TypeScript414

last year

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.

TypeScript35mit

24 days ago

firebasefirestorescalable

First class syntax support for type classes in Scala

Scala938bsd-3-clause

8 months ago

Modeling and Proving in Computational Type Theory

Coq59

10 days ago

flexible data type for Go

Go48mit

3 years ago

flexible-datagenericgo

Ecto type for saving encrypted passwords using Comeonin

Elixir35bsd-3-clause

4 years ago

comeoninectopassword-hash

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

Lua284gpl-3.0

6 months ago

neovimneovim-guineovim-lua

Mypy stubs, i.e., type information, for numpy, pandas and matplotlib

Python195apache-2.0

3 years ago

matplotlibmypymypy-stubs

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

Crystal14apache-2.0

4 months ago

create type dynamically in Golang

Go22mit

4 years ago

Runtime type checking for JS with Hindley Milner signatures

JavaScript196mit

10 months ago

functional-programminghindley-milnerinvariant

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

Swift78mit

2 years ago

carthagecocoapodsexpiration

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

Python113apache-2.0

last year

apache-sparkmypypep484

A flexible form to edit selected fields of a content type

Python3gpl-2.0

7 months ago

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

Python1gpl-2.0

3 years ago

The repository for high quality TypeScript type definitions.

TypeScript45108other

24 days ago

definitiondtshacktoberfest

Homotopy type theory

Coq1134other

11 months ago

homotopy-type-theorytype-theoryunivalent-foundations

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

CSS10

10 years ago

A type-safe HTTP client for Android and the JVM

Java40697apache-2.0

last year

androidjava

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

JavaScript924

6 years ago

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

OCaml85lgpl-2.1

3 years ago

A MIME type sniffer for Go.

Go29mit

last year

content-typefile-formatfile-signature

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

Python843isc

16 days ago

asyncasynciodatabase

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

JavaScript1mit

6 months ago

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

JavaScript66other

6 years ago

Flexible type conversion lightweight library

Elixir0apache-2.0

last year

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

Ruby445

9 years ago

TypeScript-first schema validation with static type inference

TypeScript24445mit

last month

runtime-validationschema-validationstatic-types

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

Scala205mit

6 days ago

Implement fast, type-safe HTTP webservices for Finagle

Scala93apache-2.0

3 years ago

finagleframeworkhttp

Honeypot type for Symfony forms

PHP32

2 days ago

Performant type-checking for python.

OCaml6443mit

last month

abstract-interpretationcode-qualitycontrol-flow-analysis

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

Ruby483mit

2 days ago

activerecordgemmigrations

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

Python94

last month

decoratordocstring-checkerproperty

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

PHP455mit

4 months ago

bundledoctrinedoctrine-dbal

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

Go1231mit

3 days ago

detectiongogolang

The Type Linter for JS

JavaScript358mit

2 years ago

assertionjavascriptlinter

A static type analyzer for Python code

Python4307other

last month

linterpythonstatic-analysis

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

Java36mit

5 years ago

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

Elixir91other

last year

dimensionselixirelixir-lang

Add a type for paths in Go.

Go12mit

2 years ago

filefilepathfiles

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

Java4374apache-2.0

29 days ago

gatewaygrpcgrpc-client

Create go type representation from json

Go122mit

2 years ago

clijsonjson-to-go

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

Swift490mit

last year

codegencommand-line-tooldata-driven

:key: Hash type identifier (CLI & lib)

Ruby455mit

16 days ago

ctfctf-toolscyber

Type-safe thread-local storage in Swift

Swift72mit

5 years ago

carthagecocoapodsconcurrency

Reactive type-safe Scala driver for SQL databases

Scala101other

4 years ago

bintraydslmorpheus

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

JavaScript651mit

6 months ago

javascripttext-radiustypography

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

Swift810mit

6 years ago

concurrencymulti-threadingswift

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

JavaScript128mit

5 months ago

alertdialoges6

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

Idris155mit

5 years ago

type-safetyunit-conversionunits-of-measure

Node.js ORM written in TypeScript for type lovers.

TypeScript90apache-2.0

7 days ago

graphqljavascriptmariadb

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

AutoHotkey179

10 months ago

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

Vue39mit

25 days ago

image-componentvuevuejs

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

Go39bsd-3-clause

3 months ago

gogodocgolang

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

TypeScript242mit

5 months ago

async-awaitbuild-toolcli

Phantom types for Python.

Python153bsd-3-clause

5 months ago

mypyphantom-typespython

Vue Prop Types definitions

TypeScript526mit

24 days ago

nuxtnuxtjsprops

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

JavaScript7mit

9 months ago

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

10 months ago

typedtyped-jstyping

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

TypeScript103mit

5 years ago

typescriptvue

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

TypeScript12832mit

10 days ago

ajvjson-schemavalidator

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based

Python50mit

4 months ago

monadspythonresult

Validate your AsyncStorage using PropTypes!

JavaScript7mit

5 days ago

asyncstorageasyncstorage-wrapperproptype-validators

flake8 plugin which checks that typing imports are properly guarded

Python50mit

4 months ago

flake8mypypre-commit

A queue-esque data type for purescript.

PureScript3bsd-3-clause

3 years ago

asynchandlerpubsub

Unbearably fast near-real-time runtime type-checking in pure Python.

Python1897mit

2 months ago

python3runtime-typechecking

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

Ruby343mit

12 months ago

activerecordenumpostgres

Declarative text styles and streamlined Dynamic Type support for iOS

Swift235mit

12 months ago

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

Ada6

7 years ago

Serialize-able data types for the CakePHP ORM

PHP2mit

7 years ago

ActiveRecord::Store but with type definition

Ruby410mit

7 months ago

Detect the archive type of a file or stdin

JavaScript6

6 years ago

Linter for TypeGraphQL decorators

TypeScript15apache-2.0

last year

Type provider library for Idris

Idris85

6 years ago

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

JavaScript238mit

10 months ago

fluid-typemodular-scaletailwind

A collection of essential TypeScript types

TypeScript14mit

3 years ago

denotypestypescript

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

Go179mit

13 days ago

cliexportgo

TypeScript20

9 months ago

Tool for translation type comments to type annotations in Python

Python132mit

5 months ago

annotationspython-3-6source-to-source

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

Swift1979mit

6 months ago

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

A type-to-type copy function code generator.

Go9mit

7 months ago

code-generatorddd-patternsgolang

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3258mit

22 days ago

bufferdetectfile

Detect the image type of a Buffer/Uint8Array

JavaScript347mit

8 months ago

Type check values

TypeScript1576mit

last month

assertionsisnode-module

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

Python97bsd-3-clause

6 months ago

flake8flake8-extensionsflake8-plugin

👾 JS type systems interportability

243

10 months ago

closure-compilerelmflow

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

F#153mit

last month

code-generationdotnet-clifable

Python1bsd-3-clause

2 years ago

hacktoberfest

Detect the file type of a file or stdin

JavaScript69mit

2 years ago

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

Go286gpl-3.0

yesterday

code-generationcode-generatorcopy

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

PHP79

2 years ago

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

PHP7mit

3 years ago

cakephpcakephp-plugincakephp3

Practice touch/speed typing in emacs

Emacs Lisp120gpl-3.0

yesterday

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

7 years ago

editinggeojson

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

TypeScript0mit

2 months ago

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

Shell3794mit

last month

asynchronousautocompleteautocompletion

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

TypeScript7845mit

yesterday

apicontrollersdecorators

A small JavaScript library for defining and using union types.

JavaScript477mit

4 years ago

Check all the available MIME types of an extension

JavaScript5mit

3 years ago

mime-typemime-type-checkmime-types

An experimental babel transformer plugin for rtts_assert

JavaScript0

8 years ago

Algebraic data types in Common Lisp

Common Lisp107bsd-3-clause

4 years ago

algebraic-data-typescommon-lispfunctional-programming

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

PHP226mit

3 years ago

coding-standardscsphp

Typescript type definitions for ember.js

TypeScript13mit

5 years ago

definitelytypedemberember-typings

Linux file search, instant results as you type

Python927gpl-2.0

2 years ago

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

Dart724bsd-2-clause

19 days ago

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

C++3521mit

2 months ago

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

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

JavaScript499apache-2.0

2 months ago

ferrumfunctionalhashing

Run-time type checker for Python

Python1283other

5 days ago

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

OCaml1523

7 months ago

disassemblyida-pluginreverse-engineering

Type-safe event handling for Swift

Swift572mit

11 months ago

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

Swift2941mit

17 days ago

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

Python133mit

last year

mypypep484python

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

C++3371other

7 months ago

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

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

PHP13mit

last year

An Optional Type System for Lua

Lua540

4 years ago

OCaml type-safe query builder with syntax tree extension

OCaml124

9 months ago

Swift type modelling the success/failure of arbitrary operations.

Swift2515mit

2 years ago

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

Objective-C1060mit

5 years ago

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

Makefile17mit

3 months ago

audiocodablecodedata

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

PHP144mit

6 months ago

Type-safe Prometheus metrics builder library for golang

Go106other

7 months ago

gogolangmetrics

A PortableApps.com type launcher for linux

Go24mit

8 months ago

appimagelauncherlinux

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

7 years ago

An optional type system for Clojure

Clojure1276epl-1.0

2 years ago

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

Go40bsd-3-clause

4 years ago

goimghdr

A jQuery plugin for inflating web type

HTML6785

3 years ago

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

Common Lisp47

4 months ago

common-lisplisp

Type-safe, compiled Jinja-like templates for Rust

Rust2194apache-2.0

4 months ago

custom-derivejinja2rust

Generate stub for interface on a type

Lua40

3 months ago

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

Elixir681mit

3 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

JavaScript594mit

23 hours 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.

Go56mit

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

4 months ago

github-actiongithub-actionslanguage-detection

Evaluation of packer type estimation/detection tools

Python9apache-2.0

3 years ago

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

Swift897mit

28 days ago

currencydecimalgyb

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

Swift567mit

3 months ago

collectionviewdata-drivendatasource

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

Lua269gpl-3.0

2 months ago

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

TypeScript4070other

12 hours ago

javascriptnodejspostgres

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

Go144mit

29 days ago

databasegenericsgo

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir24mit

last year

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

R120

11 months ago

Partition (W)ARC Files by MIME Type and Year

Java1mit

7 years ago

hadoopwarcweb-archiving

Generate Yew components from React components via Typescript type definitions

JavaScript50apache-2.0

3 years ago

jsxproc-macroreact

Hoare Type Theory

Coq59apache-2.0

3 months ago

coqhoare-logichoare-monads

A Python library that generates static type annotations by collecting runtime ty

Python4331other

2 months ago

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

Scala37

5 years ago

effectsfree-monadfunctional-programming

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

OCaml47mit

28 days ago

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

Ruby16

9 months ago

A durable atom type for Clojure

Clojure185epl-1.0

6 months ago

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

Swift1476mit

2 years ago

codablejson-parsingswift

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

C#1

8 months ago

dependency-injectiondependency-trackerdotnet

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

Swift16mit

6 years ago

cocoapodscorenfcdata-parser

Enumerable type in Elixir

Elixir64

4 years ago

Type strict builder class for NSAttributedString.

Swift74mit

last year

iosnsattributedstringswift

Type and doc on hover for OCaml and Reason in emacs

Emacs Lisp42gpl-3.0

7 months ago

emacsocamlreasonml

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

Python45other

4 days ago

basedbaselinehacktoberfest

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

CSS80mit

9 years ago

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

V21gpl-3.0

last year

Controlling "Tuya-type" smart power outlets using MicroPython

Python11apache-2.0

5 years ago

esp32home-automationmicropython

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

C#109mit

10 months ago

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

Scala1163mit

2 months ago

enumenumerationsintegrations

A portable type inference library for Common Lisp

Common Lisp30mit

3 months ago

A different type of generic function for common lisp.

Common Lisp28other

3 years ago

common-lispgeneric-functionsmultiple-dispatch

A JavaScript Typing Animation Library

JavaScript13404mit

4 months ago

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

Go871mit

22 days ago

Type-safe declarative table views.

Swift702mit

5 months ago

autolayoutgenericswift

Remove unnecessary type conversions from Go source

Go358bsd-3-clause

21 days ago

Static Type Checker for Python

Python10611other

2 months ago

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

C#45mit

5 years ago

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

Common Lisp31

2 years ago

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

Swift25mit

3 months ago

httphttp-requestsnetwork

Golang type-safe dependency injection

Go27mit

4 months ago

dependency-injectiongogolang

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

C++3913mit

13 days ago

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

A robust option type for C#

C#838mit

28 days ago

functional-programmingoption-typesafety

Less redundancy in type declarations and signatures

OCaml85mit

3 months ago

A CLI tool to automatically add type annotations into Python code. Must have too

Python62mit

6 months ago

annotationscode-formattercode-generation

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

Python1234apache-2.0

6 months ago

named-tensorspython-typingpytorch

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

Python15mit

2 years ago

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

Swift33mit

5 months ago

coredatafluent-interfaceswift