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

A collection of essential TypeScript types

TypeScript14mit

4 years ago

denotypestypescript

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

Go195mit

7 months ago

cliexportgo

TypeScript20

last year

Tool for translation type comments to type annotations in Python

Python135mit

8 months ago

annotationspython-3-6source-to-source

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

JavaScript3466mit

4 months ago

bufferdetectfile

Detect the image type of a Buffer/Uint8Array

JavaScript365mit

6 months ago

Type check values

TypeScript1621mit

4 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

Python1bsd-3-clause

3 years ago

hacktoberfest

Detect the file type of a file or stdin

JavaScript71mit

2 years ago

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

Go327gpl-3.0

2 months ago

code-generationcode-generatorcopy

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

PHP81

3 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 Lisp124gpl-3.0

7 months ago

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

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

TypeScript5mit

3 months ago

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

Shell4808mit

23 days ago

asynchronousautocompleteautocompletion

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

TypeScript7948mit

2 days ago

apicontrollersdecorators

A small JavaScript library for defining and using union types.

JavaScript477mit

5 years ago

Check all the available MIME types of an extension

JavaScript5mit

4 years ago

mime-typemime-type-checkmime-types

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 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

6 years ago

definitelytypedemberember-typings

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

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

2 months ago

disassemblyida-pluginreverse-engineering

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

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

Objective-C1059mit

22 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

An optional type system for Clojure

Clojure1278epl-1.0

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

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

Common Lisp47

11 months ago

common-lisplisp

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

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

TypeScript4383other

3 days ago

javascriptnodejspostgres

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

9 months ago

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

R121

last year

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

Go45mit

3 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

JavaScript53apache-2.0

3 years ago

jsxproc-macroreact

A type-safe JSON decoding library purely written in Swift

Swift797mit

5 years ago

decodingjsonswift

Hoare Type Theory

Coq63apache-2.0

5 months ago

coqhoare-logichoare-monads

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

Python4426other

5 months ago

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

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

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

Python72other

2 months ago

basedbaselinehacktoberfest

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

5 years ago

esp32home-automationmicropython

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

C#110mit

last year

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 JavaScript Typing Animation Library

JavaScript14703mit

3 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

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

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

Python66mit

last year

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.

Python1318apache-2.0

10 months ago

named-tensorspython-typingpytorch

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

Objective-C707apache-2.0

3 years ago

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

Python17mit

3 years ago

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

Python1793gpl-2.0

last year

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

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

N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarr

Scala47agpl-3.0

last year

array-programmingdottymachine-learning

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

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

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

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

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

5 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

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

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

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

The repository for high quality TypeScript type definitions.

TypeScript45874other

5 months ago

definitiondtshacktoberfest

Homotopy type theory

Coq1134other

2 years 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 jQuery plugin that creates a paneled-style menu (like the type seen in the mob

JavaScript925

7 years ago

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

OCaml85lgpl-2.1

4 years ago

A MIME type sniffer for Go.

Go32mit

2 years ago

content-typefile-formatfile-signature

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

Python974isc

5 days ago

asyncasynciodatabase

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

JavaScript2mit

last year

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

Julia681mit

2 months ago

error-detectionjuliaperformance-engineering

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

JavaScript64other

6 years ago

Flexible type conversion lightweight library

Elixir0apache-2.0

2 years ago

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

Ruby441

9 years ago

TypeScript-first schema validation with static type inference

TypeScript30346mit

yesterday

runtime-validationschema-validationstatic-types

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

Scala217mit

2 months ago

Implement fast, type-safe HTTP webservices for Finagle

Scala90apache-2.0

4 years ago

finagleframeworkhttp

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

C#632mit

2 months ago

buncodegencsharp

Honeypot type for Symfony forms

PHP33

7 months ago

Performant type-checking for python.

Python6571mit

5 months ago

abstract-interpretationcode-qualitycontrol-flow-analysis

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

Ruby568mit

last month

activerecordgemmigrations

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

Python102

5 months ago

decoratordocstring-checkerproperty

📦 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

Go1354mit

2 months ago

detectiongogolang

The Type Linter for JS

JavaScript362mit

2 years ago

assertionjavascriptlinter

A static type analyzer for Python code

Python4426other

5 months ago

linterpythonstatic-analysis

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

Java35mit

6 years ago

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

Elixir93other

5 months ago

dimensionselixirelixir-lang

Add a type for paths in Go.

Go13mit

3 years ago

filefilepathfiles

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

Java4603apache-2.0

2 months ago

gatewaygrpcgrpc-client

Create go type representation from json

Go127mit

2 years ago

clijsonjson-to-go

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

Swift494mit

2 years ago

codegencommand-line-tooldata-driven

:key: Hash type identifier (CLI & lib)

Ruby455mit

7 months ago

ctfctf-toolscyber

Type-safe thread-local storage in Swift

Swift72mit

5 years ago

carthagecocoapodsconcurrency

Reactive type-safe Scala driver for SQL databases

Scala101other

5 years ago

bintraydslmorpheus

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

Scala1048apache-2.0

last year

cassandradatastax-enterprisephantom

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

JavaScript667mit

last year

javascripttext-radiustypography

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

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

JavaScript128mit

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

TypeScript101apache-2.0

8 days ago

graphqljavascriptmariadb

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

AutoHotkey179

last year

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

Vue39mit

6 months ago

image-componentvuevuejs

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

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

JavaScript8mit

last year

gamegame-freakmodule

Custom Scalar Types for GraphQL-Tools

JavaScript47

3 years ago

customgraphq-toolsgraphql

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

JavaScript419mit

last year

typedtyped-jstyping

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

TypeScript103mit

6 years ago

typescriptvue

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

TypeScript13386mit

2 days ago

ajvjson-schemavalidator

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

A collection of essential TypeScript types

TypeScript14mit

4 years ago

denotypestypescript

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

Go195mit

7 months ago

cliexportgo

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

Swift1989mit

16 days ago

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

JavaScript3466mit

4 months ago

bufferdetectfile

Detect the image type of a Buffer/Uint8Array

JavaScript365mit

6 months ago

Type check values

TypeScript1621mit

4 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

Detect the file type of a file or stdin

JavaScript71mit

2 years ago

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

Go327gpl-3.0

2 months ago

code-generationcode-generatorcopy

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

PHP81

3 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 Lisp124gpl-3.0

7 months ago

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

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

TypeScript5mit

3 months ago

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

Shell4808mit

23 days ago

asynchronousautocompleteautocompletion

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

TypeScript7948mit

2 days ago

apicontrollersdecorators

A small JavaScript library for defining and using union types.

JavaScript477mit

5 years ago

Check all the available MIME types of an extension

JavaScript5mit

4 years ago

mime-typemime-type-checkmime-types

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 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

6 years ago

definitelytypedemberember-typings

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

2 months ago

disassemblyida-pluginreverse-engineering

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

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

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

22 days ago

Flexible and reliable hops by any type of words

Lua46mit

3 months ago

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

Makefile18mit

10 months ago

audiocodablecodedata

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

PHP147mit

last year

A PortableApps.com type launcher for linux

Go25mit

last year

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

7 years ago

An optional type system for Clojure

Clojure1278epl-1.0

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

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

Common Lisp47

11 months ago

common-lisplisp

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

Swift567mit

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

TypeScript4383other

3 days ago

javascriptnodejspostgres

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

Go153mit

8 months ago

databasegenericsgo

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

9 months ago

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

Generate Yew components from React components via Typescript type definitions

JavaScript53apache-2.0

3 years ago

jsxproc-macroreact

Hoare Type Theory

Coq63apache-2.0

5 months ago

coqhoare-logichoare-monads

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

Python4426other

5 months ago

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

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

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

Python72other

2 months ago

basedbaselinehacktoberfest

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

Controlling "Tuya-type" smart power outlets using MicroPython

Python12apache-2.0

5 years ago

esp32home-automationmicropython

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 JavaScript Typing Animation Library

JavaScript14703mit

3 months ago

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

Go908mit

2 months ago

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

Static Type Checker for Python

Python11331other

5 months ago

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

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

Python66mit

last year

annotationscode-formattercode-generation

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

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

Python17mit

3 years ago

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

Swift34mit

11 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