flake8-typing-imports

flake8 plugin which checks that typing imports are properly guarded

Python48mit

3 months ago

flake8mypypre-commit

is

is

Type check values

TypeScript1630mit

13 days ago

assertionsisnode-module

com2ann

Tool for translation type comments to type annotations in Python

Python135mit

8 months ago

annotationspython-3-6source-to-source

convergen

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

Snowflaqe

Snowflaqe

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

F#154mit

9 months ago

code-generationdotnet-clifable

tailwindcss-fluid-type

tailwindcss-fluid-type

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

APIKit

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

Swift1988mit

last month

file-type

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3475mit

8 days ago

bufferdetectfile

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript366mit

6 months ago

flake8-type-checking

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

Python107bsd-3-clause

3 months ago

flake8flake8-extensionsflake8-plugin

typing-label

typing-label

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

Java148mit

21 days ago

libgdxscene2d

awesome-python-typing

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

1558cc-by-sa-4.0

2 months ago

awesomeawesome-listmypy

typing_inspect

Runtime inspection utilities for Python typing module

Python313mit

7 months ago

introspectionpythonpython3

zsh-autocomplete

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

Shell4872mit

last month

asynchronousautocompleteautocompletion

type-graphql

type-graphql

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

TypeScript7956mit

4 days ago

apicontrollersdecorators

urlazy

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

C#7bsd-3-clause

8 months ago

typical

typical

Animated typing in ~400 bytes 🐡 of JavaScript

JavaScript1230mit

8 months ago

animationjavascriptmodule

zsh-plugin-appup

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

Shell18mit

11 months ago

aliasesdockerdocker-compose

Shark

Shark

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

Swift381mit

11 months ago

basedmypy

basedmypy

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

Python72other

3 months ago

basedbaselinehacktoberfest

irregular-expressions

irregular-expressions

Android virtual keyboard for expressive typing

Kotlin121mit

4 days ago

androidimetyping

textratypist

textratypist

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

Java85apache-2.0

7 days ago

fontguijava

SFSafeSymbols

SFSafeSymbols

Safely access Apple's SF Symbols using static typing

Swift1607mit

2 months ago

iconsiossfsymbols

flutter_typeahead

flutter_typeahead

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

Dart747bsd-2-clause

4 months ago

easyloggingpp

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

C++3643mit

6 months ago

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

ferrum

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

JavaScript506apache-2.0

3 months ago

ferrumfunctionalhashing

typeguard

Run-time type checker for Python

Python1354other

5 months ago

bincat

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

OCaml1611

3 months ago

disassemblyida-pluginreverse-engineering

Reusable

Reusable

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

Swift2975mit

8 months ago

SOMotionDetector

SOMotionDetector

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

Objective-C1059mit

last month

neowords.nvim

Flexible and reliable hops by any type of words

Lua51mit

3 months ago

QuickDB

QuickDB

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

Makefile18mit

11 months ago

audiocodablecodedata

askama

Type-safe, compiled Jinja-like templates for Rust

Rust2930apache-2.0

3 months ago

custom-derivejinja2rust

goimpl.nvim

goimpl.nvim

Generate stub for interface on a type

Lua43

10 months ago

typed_struct

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

Elixir705mit

5 months ago

DotNetJS

DotNetJS

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

JavaScript608mit

4 months ago

bindingscodegencsharp

linguist-action

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

6mit

11 months ago

github-actiongithub-actionslanguage-detection

Money

Money

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

Swift907mit

8 months ago

currencydecimalgyb

DataSources

DataSources

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

Swift568mit

2 months ago

collectionviewdata-drivendatasource

knap

knap

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

Lua298gpl-3.0

6 months ago

slonik

slonik

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

TypeScript4396other

23 hours ago

javascriptnodejspostgres

orm

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

Go153mit

8 months ago

databasegenericsgo

ecto_shortuuid

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

10 months ago

htt

Hoare Type Theory

Coq63apache-2.0

6 months ago

coqhoare-logichoare-monads

rpc_parallel

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

OCaml47mit

7 months ago

duratom

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

prospector

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

Python1876gpl-2.0

5 months ago

enumeratum

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

Scala1178mit

2 months ago

enumenumerationsintegrations

Typo

A portable type inference library for Common Lisp

Common Lisp33mit

6 months ago

counterfeiter

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

Go908mit

3 months ago

unconvert

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

pyright

pyright

Static Type Checker for Python

Python11331other

5 months ago

Netswift

Netswift

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

Swift25mit

8 months ago

httphttp-requestsnetwork

nject

Golang type-safe dependency injection

Go28mit

11 months ago

dependency-injectiongogolang

magic_enum

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

C++4318mit

2 months ago

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

Optional

A robust option type for C#

C#866mit

8 months ago

functional-programmingoption-typesafety

ppx_import

Less redundancy in type declarations and signatures

OCaml85mit

11 months ago

torchtyping

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

Python1318apache-2.0

11 months ago

named-tensorspython-typingpytorch

libenvpp

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

C++115apache-2.0

3 months ago

CoreDataQueryInterface

CoreDataQueryInterface

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

Swift34mit

12 months ago

coredatafluent-interfaceswift

Guise

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

Swift58mit

7 months ago

dependency-injectiondependency-resolutionservice-locator

typed_ast

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

C225other

10 months ago

pyanalyze

A Python type checker

Python287apache-2.0

2 months ago

linterpythonstatic-analysis

lsp_signature.nvim

lsp_signature.nvim

LSP signature hint as you type

Lua1915apache-2.0

8 days ago

autocompletelspneovim

sqlpp11

A type safe SQL template library for C++

C++2339bsd-2-clause

2 months ago

reason

reason

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

OCaml10050mit

2 months ago

javascriptocamlprogramming-language

elastic4s

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

Scala1629apache-2.0

6 months ago

circeelasticsearchhttp

steep

Static type checker for Ruby

Ruby1311mit

3 months ago

rubytypechecker

ahk

ahk

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

Python742mit

5 months ago

ahk-scriptasyncioautohotkey

simple-source

simple-source

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

Swift99apache-2.0

3 months ago

iosswift-library

Firelord

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

TypeScript36mit

3 months ago

firebasefirestorescalable

FireSageJS

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

TypeScript9mit

7 months ago

firebasefirebase-databasefirebase-realtime-database

checker-framework

Pluggable type-checking for Java

Java956other

4 months ago

javatypesverification

MPCTT

Modeling and Proving in Computational Type Theory

Coq65

7 months ago

package-info.nvim

package-info.nvim

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

Lua444gpl-3.0

3 months ago

neovimneovim-guineovim-lua

splay_tree_map.cr

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

Crystal14apache-2.0

11 months ago

poppet

poppet

Minimal, type-safe RPC Scala library.

Scala25mit

8 months ago

flow

flow

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

OCaml22019mit

5 months ago

typed.js

typed.js

A JavaScript Typing Animation Library

JavaScript14703mit

4 months ago

mypy

mypy

Optional static typing for Python

Python16868other

5 months ago

linterpythontypechecker

collective.fieldedit

A flexible form to edit selected fields of a content type

Python3gpl-2.0

6 months ago

DefinitelyTyped

DefinitelyTyped

The repository for high quality TypeScript type definitions.

TypeScript45874other

5 months ago

definitiondtshacktoberfest

jet

jet

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

Go1954apache-2.0

2 months ago

cockroachdbcode-completioncode-generator

nexus

nexus

Code-First, Type-Safe, GraphQL Schema Construction

TypeScript3376mit

6 months ago

graphqlgraphql-nexusgraphql-schema

jstachio

jstachio

Java type safe statically compiled mustache

Java130bsd-3-clause

8 months ago

annotation-processordropwizardjava

SwifQL

SwifQL

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

Swift288mit

8 months ago

dslmysqlpostgresql

speed-type

speed-type

Practice touch/speed typing in emacs

Emacs Lisp129gpl-3.0

17 days ago

which-key.nvim

which-key.nvim

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

Lua4503apache-2.0

2 days ago

luaneovimneovim-lua

cel-go

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

Go1984apache-2.0

2 months ago

celexpressionexpression-evaluator

graphql-to-type

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

TypeScript5mit

4 months ago

better-escape.nvim

better-escape.nvim

Escape from insert mode without delay when typing

Lua512gpl-3.0

2 months ago

hacktoberfesthacktoberfest2021lua

grpc-stubs

gRPC typing stubs for Python

Python33mit

7 months ago

vue-highlightable-input

vue-highlightable-input

A vue component to highlight text as you're typing

Vue179mit

12 months ago

wee-slack

wee-slack

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

Python2500mit

8 days ago

odmantic

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

Python978isc

3 days ago

asyncasynciodatabase

blockbuster.apk

blockbuster.apk

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

JavaScript2mit

3 days ago

JET.jl

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

Julia681mit

2 months ago

error-detectionjuliaperformance-engineering

zod

zod

TypeScript-first schema validation with static type inference

TypeScript30640mit

yesterday

runtime-validationschema-validationstatic-types

bootsharp

bootsharp

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

C#637mit

8 days ago

buncodegencsharp

EoHoneypotBundle

Honeypot type for Symfony forms

PHP33

9 days ago

pyre-check

pyre-check

Performant type-checking for python.

Python6571mit

5 months ago

abstract-interpretationcode-qualitycontrol-flow-analysis

online_migrations

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

Ruby568mit

2 months ago

activerecordgemmigrations

strongtyping

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

Python102

5 months ago

decoratordocstring-checkerproperty

verify

Extensible, type-safe, fluent assertion Go library.

Go39mit

3 months ago

assertionsgogolang

DoctrineEnumBundle

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

PHP455mit

4 months ago

bundledoctrinedoctrine-dbal

vue-vroom

Type safe stores and mock API with minimal config

TypeScript10mit

5 months ago

mimetype

mimetype

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

Go1354mit

2 months ago

detectiongogolang

pytype

A static type analyzer for Python code

Python4426other

5 months ago

linterpythonstatic-analysis

ex_image_info

ex_image_info

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

Elixir93other

5 months ago

dimensionselixirelixir-lang

typesafe-i18n

typesafe-i18n

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

TypeScript1914mit

6 months ago

angularangular2i18n

goverter

Generate type-safe Go converters by simply defining an interface

Go412mit

3 months ago

code-generationconvertercopy

typesaurus

🦕 Type-safe TypeScript-first ODM for Firestore

TypeScript369

3 months ago

sqlc

sqlc

Generate type-safe code from SQL

Go8163mit

12 months ago

code-generatorgokotlin

armeria

armeria

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

Java4603apache-2.0

3 months ago

gatewaygrpcgrpc-client

typedpy

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

Python15mit

6 months ago

haiti

haiti

:key: Hash type identifier (CLI & lib)

Ruby455mit

8 months ago

ctfctf-toolscyber

genql

genql

Type safe TypeScript client for any GraphQL API

TypeScript844mit

last month

chimney

chimney

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

Scala1089apache-2.0

2 months ago

auto-mappingautomatic-conversionboilerplate

cvt

cvt

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

Go44mit

5 months ago

castconvertcvt

tapir

tapir

Declarative, type-safe web endpoints library

Scala1275apache-2.0

2 months ago

akkaakka-httpdeclarative

v-dialogs

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

JavaScript128mit

last year

alertdialoges6

typetta

Node.js ORM written in TypeScript for type lovers.

TypeScript101apache-2.0

23 days ago

graphqljavascriptmariadb

FirelordJS

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

TypeScript70mit

3 months ago

firebasefirestoregeneric-types

v-image

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

Vue39mit

6 months ago

image-componentvuevuejs

pinia

pinia

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

TypeScript11823mit

4 months ago

composition-apissrstore

pointer

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

Go41bsd-3-clause

10 months ago

gogodocgolang

foy

foy

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

TypeScript257mit

4 months ago

async-awaitbuild-toolcli

phantom-types

phantom-types

Phantom types for Python.

Python167bsd-3-clause

5 months ago

mypyphantom-typespython

vue-types

Vue Prop Types definitions

TypeScript538mit

5 months ago

nuxtnuxtjsprops

typical

typical

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

Python180mit

10 months ago

annotationsdata-validationdeserialization

typed-async-storage

Validate your AsyncStorage using PropTypes!

JavaScript7mit

7 months ago

asyncstorageasyncstorage-wrapperproptype-validators

core.typed

core.typed

An optional type system for Clojure

Clojure1278epl-1.0

3 months ago

polymorphic-functions

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

Common Lisp47

11 months ago

common-lisplisp

computed-types

🦩 Joi like validations for TypeScript

TypeScript360mit

7 months ago

asyncjavascriptruntime

ajv

ajv

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

TypeScript13429mit

yesterday

ajvjson-schemavalidator

swift-argument-parser

Straightforward, type-safe argument parsing for Swift

Swift3106apache-2.0

5 months ago

clicommand-lineflag

beartype

beartype

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

Python2149mit

5 months ago

python3runtime-typecheckingstatic-typechecking

prisma-client-rust

Type-safe database access for Rust

Rust1616apache-2.0

4 months ago

prismaprisma-clientprisma-client-rust

activerecord-typedstore

ActiveRecord::Store but with type definition

Ruby426mit

9 months ago

time

Robust and type-safe date and time calculations for Swift

Swift2280mit

30 days ago

calendarcalendar-apicalendars

pytest-mypy-testing

pytest plugin to test mypy static type analysis

Python25

8 months ago

mypypytest-plugin

golang-set

golang-set

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

Go3835other

4 months ago

concurrencydatastructuresgenerics

tsc.nvim

tsc.nvim

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

Lua265mit

3 months ago

hacktoberfesthacktoberfest-acceptedlua

Enum.Source.Generator

Enum.Source.Generator

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

C#129mit

10 months ago

codegenerationcodegeneratorcsharp-sourcegenerator

go-convert

Convert a value into another type

Go22mit

7 months ago

gogolang

modular-forms

modular-forms

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

TypeScript755mit

5 months ago

bundle-sizeformform-validation

isn

Postgrex.Extension and Ecto.Type for PostgreSQL isn module

Elixir8

2 months ago

Bolero

Bolero

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

F#1033apache-2.0

4 months ago

blazorbolerofsharp

gluon

gluon

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

Rust3067mit

5 months ago

compilerembeddablefunctional

ts-pattern

ts-pattern

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

TypeScript10356mit

3 months ago

branchingconditionsexhaustive

label-studio

label-studio

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

Python13598apache-2.0

10 months ago

annotationannotation-toolannotations

Coq-HoTT

A Coq library for Homotopy Type Theory

Coq1218other

3 days ago

homotopy-type-theorytype-theoryunivalent-foundations

label-studio

label-studio

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

JavaScript15229apache-2.0

4 months ago

annotationannotation-toolannotations

python-chrome-devtools-protocol

Python type wrappers for Chrome DevTools Protocol (CDP)

Python69mit

11 months ago

DeviceGuru

DeviceGuru

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

Swift471mit

20 days ago

C-Macro-Collections

C-Macro-Collections

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

C476mit

5 months ago

ccontainersdata-structure

coqhammer

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

OCaml192other

6 months ago

automationcoqdependent-types

directus-extension-generate-types

directus-extension-generate-types

Create types for your directus project in your favourite language.

TypeScript174other

2 months ago

mapstruct

mapstruct

An annotation processor for generating type-safe bean mappers

Java6549other

6 months ago

annotation-processorbean-mappingjava

ring-span-lite

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

C++147bsl-1.0

4 months ago

cpp11cpp14cpp17

zilla-slab

Mozilla's Zilla Slab Type Family

Shell399ofl-1.1

11 months ago

mozillatypographywebfont

nameof

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

C++1920mit

3 months ago

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

Proxy

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

C#41

7 months ago

backenddotnethttp-client

mysql-swift

A type safe MySQL client for Swift

Swift159mit

5 months ago

linuxmysqlmysql-client

nushell

nushell

A new type of shell

Rust28675mit

3 months ago

rustshell

purescript-css

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

PureScript105apache-2.0

10 months ago

flake8-pyi

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

Python71mit

3 months ago

flake8lintlinter

pydantic

Data validation using Python type hints

Python17139mit

4 months ago

hintsjson-schemaparsing

type4py

Type4Py: Deep Similarity Learning-Based Type Inference for Python

Python54apache-2.0

8 months ago

deeplearningmachinelearningml4se

impatient-mode

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

Emacs Lisp214

7 months ago

sorbet

sorbet

A fast, powerful type checker designed for Ruby

Ruby3517apache-2.0

2 months ago

rubysorbettypes

sqlc

sqlc

Generate type-safe code from SQL

Go10278mit

2 months ago

code-generatorgokotlin

squeryl

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

Scala583apache-2.0

7 months ago

SQLite.swift

SQLite.swift

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

Swift9494mit

9 days ago

sqliteswift

strawberry

strawberry

A GraphQL library for Python that leverages type annotations 🍓

Python3603mit

4 months ago

asgiasynciodjango

ImageResizer

ImageResizer

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

Kotlin365apache-2.0

11 months ago

androidapplicationbatch-processing

GTFS-blocks-to-transfers

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

Python4mit

9 days ago

typesplainer

typesplainer

A Python type explainer!

Python78mit

10 months ago

epoch

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

Go14mit

2 months ago

datedeserializationepoch

Runtime

Runtime

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

Swift1057mit

2 months ago

iosreflectionruntime

eventbus-service

Type-safe extensions for the vertx eventbus

Kotlin10apache-2.0

last month

codegencoroutineseventbus

scan

scan sql rows into any type powered by generics

Go59mit

4 months ago

databasedbgenerics

go-types

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

Go17mit

10 months ago

country-codescurrency-codesemail

pgmodeler

pgmodeler

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

C++2880gpl-3.0

2 months ago

c-plus-pluscode-generatordatabase

DeviceKit

DeviceKit is a value-type replacement of UIDevice.

Swift4347mit

4 days ago

battery-levelbattery-statedevice

lxml-stubs

Type stubs for the lxml package

Python34other

6 months ago

lxmlmypy-stubstype-annotations

collective.venue

Dexterity venue type for use with events.

Python3

12 months ago

trycast

trycast

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

Python64mit

6 months ago

parsingpythonruntime-typechecking

squid

Squid – type-safe metaprogramming and compilation framework for Scala

Scala197apache-2.0

3 months ago

metaprogrammingoptimizationscala

kubernetes-typed

kubernetes-typed

mypy plugin to type check Kubernetes resources

Python19apache-2.0

3 months ago

crdkuberneteskubernetes-development

vue-paho-mqtt

vue-paho-mqtt

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

TypeScript8mit

8 months ago

mqtt-clientpaho-mqttplugin

neotypes

neotypes

Scala lightweight, type-safe, asynchronous driver for neo4j

Scala159mit

2 months ago

databasefunctional-programminggraph

ng-for-track-by-property

ng-for-track-by-property

Angular global trackBy property directive with strict type checking.

TypeScript29mit

4 months ago

angularangular2

refit

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

C#7859mit

3 months ago

c-sharpdotnetdotnet-core

pytest-mypy

Mypy static type checker plugin for Pytest

Python233mit

10 months ago

flake8-annotations

Flake8 Type Annotation Checking

Python153mit

3 months ago

flake8flake8-pluginpython

fastimage

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

Ruby1352mit

5 months ago

jsonschema2pojo

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

Java6149apache-2.0

8 days ago

ant-taskgradle-plugingson

autoNumeric

autoNumeric

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

JavaScript1734mit

5 months ago

autonumericinput-validationinputmask

cogcomp-nlp

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

Java470other

10 months ago

big-datacogcompdata-mining

future-typing

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

Python17mit

3 years ago

slacktyping

i'm typing when you're typing

Ruby1919other

6 years ago

python-typing-koans

python-typing-koans

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

Python119

2 years ago

koansmypypep-484

react-native-auto-typing-text

react-native-auto-typing-text

Auto typing text component for react-native

JavaScript68mit

7 years ago

react-native

eslint-plugin-type-graphql

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

vue-props-type

TypeScript20

last year

TheAnimation

TheAnimation

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

Swift224mit

4 years ago

animationcarthagecocoapods

flake8-type-ignore

Python1bsd-3-clause

3 years ago

hacktoberfest

idris-type-providers

Type provider library for Idris

Idris85

6 years ago

react-hooks-screen-type

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

type-o-rama

type-o-rama

👾 JS type systems interportability

244

last year

closure-compilerelmflow

typingplus

An enhanced version of the Python typing library.

Python6mit

6 years ago

castpep484python

file-type-cli

Detect the file type of a file or stdin

JavaScript70mit

2 years ago

cakephp-encrypted-type

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

PHP7mit

3 years ago

cakephpcakephp-plugincakephp3

JFlepp.Maybe

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

geojson-multiply

Multiply single type geojsons into a multi type geojson

JavaScript2mit

8 years ago

editinggeojson

babel-plugin-type-assertion

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 years ago

typebot

Javascript library for typing animation

HTML18mit

8 years ago

SwiftyKeychainKit

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

Swift22mit

last year

keychainswift

typing_utils

Backport Python 3.8+ typing utils & add issubtype & more

Python11apache-2.0

2 years ago

AutocompleteField

AutocompleteField

Subclass of UITextField that shows inline suggestions while typing.

Swift665mit

4 years ago

autocompleteinputsuggestions

Letters

Mac app to learn typing and the alphabet

Swift26mit

6 years ago

KeyPress-OSD

KeyPress-OSD

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

AutoHotkey290

last year

ahkautohotkeydesktop-computer

pytypes

pytypes

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

Python193apache-2.0

last year

overridepep484python

bd

bd

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

Shell919mit

2 years ago

fancyInput

fancyInput

Makes typing in input fields fun with CSS3 effects

CSS1929

6 years ago

css3-effectstext-effectstyping-effect

ember-typings

Typescript type definitions for ember.js

TypeScript13mit

6 years ago

definitelytypedemberember-typings

quack

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

PHP323gpl-3.0

4 years ago

functional-programminglanguageprogramming-language

SwiftNotificationCenter

SwiftNotificationCenter

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

Swift637mit

5 years ago

emitter-kit

Type-safe event handling for Swift

Swift570mit

2 years ago

retype

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

Python135mit

2 years ago

mypypep484python

easyloggingpp

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

C++3371other

last year

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

ImageCropBundle

ImageCropBundle

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

PHP13mit

2 years ago

typedlua

An Optional Type System for Lua

Lua558

4 years ago

sequoia

OCaml type-safe query builder with syntax tree extension

OCaml124

last year

Result

Swift type modelling the success/failure of arbitrary operations.

Swift2507mit

3 years ago

GlueKit

Type-safe observable values and collections in Swift

Swift362mit

2 years ago

JSONRPCKit

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

Swift177mit

4 years ago

GetOptionKit

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

PHP147mit

last year

gotoprom

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

Go109other

last year

LinuxPA

A PortableApps.com type launcher for linux

Go25mit

last year

appimagelauncherlinux

Sica

Sica

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

Swift1051mit

2 years ago

animationcarthagecocoapods

CategorySliderView

CategorySliderView

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

Objective-C352mit

8 years ago

PullToRefreshCoreText

PullToRefreshCoreText

PullToRefresh extension for all UIScrollView type classes with animated text dra

Objective-C311mit

8 years ago

goimghdr

goimghdr

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

Go40bsd-3-clause

5 years ago

goimghdr

FitText.js

FitText.js

A jQuery plugin for inflating web type

HTML6778

3 years ago

rxeither

Either type for RxJava

Java90apache-2.0

8 years ago

SimpleArrayBundle

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

PHP2mit

7 years ago

hide

hide

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

Go59mit

3 years ago

golangidjson

siren4j

Java library for the Siren Hypermedia Type Specification

Java24mit

6 years ago

PackerDetectionToolEvaluation

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

PivotalR

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

R121

2 years ago

WarcPartitioner

Partition (W)ARC Files by MIME Type and Year

Java1mit

7 years ago

hadoopwarcweb-archiving

av-ts

av-ts

A modern, type-safe, idiomatic Vue binding library

TypeScript218mit

2 years ago

reacty_yew

Generate Yew components from React components via Typescript type definitions

JavaScript53apache-2.0

3 years ago

jsxproc-macroreact

Himotoki

A type-safe JSON decoding library purely written in Swift

Swift796mit

5 years ago

decodingjsonswift

freedsl

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

Scala36

6 years ago

effectsfree-monadfunctional-programming

Doric

Doric

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

Swift95other

5 years ago

adaptive-layoutsappleautolayout-constraints

refinerycms-dynamicfields

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

Ruby16

last year

Codextended

Codextended

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

Swift1483mit

3 years ago

codablejson-parsingswift

moldinium

moldinium

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

C#2

last year

dependency-injectiondependency-trackerdotnet

NFCNDEFParse

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

Swift16mit

7 years ago

cocoapodscorenfcdata-parser

exnumerator

Enumerable type in Elixir

Elixir64

4 years ago

StringStylizer

StringStylizer

Type strict builder class for NSAttributedString.

Swift73mit

2 years ago

iosnsattributedstringswift

merlin-eldoc

merlin-eldoc

Type and doc on hover for OCaml and Reason in emacs

Emacs Lisp42gpl-3.0

last year

emacsocamlreasonml

tx

tx

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

CSS80mit

10 years ago

crepl

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

V22gpl-3.0

2 years ago

scala-forklift

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

Scala190other

2 years ago

database-migrationsscalaslick

SmartUPy

Controlling "Tuya-type" smart power outlets using MicroPython

Python12apache-2.0

6 years ago

esp32home-automationmicropython

RestLess

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

C#110mit

last year

specialization-store

A different type of generic function for common lisp.

Common Lisp28other

4 years ago

common-lispgeneric-functionsmultiple-dispatch

TableKit

Type-safe declarative table views.

Swift705mit

last year

autolayoutgenericswift

PropertyKit

PropertyKit

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

Swift12mit

5 years ago

physical-quantities

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

Common Lisp31

3 years ago

scalarelational

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

Scala58

5 years ago

PMKVObserver

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

Objective-C707apache-2.0

3 years ago

prospector

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

Python1793gpl-2.0

last year

nvim-luapad

nvim-luapad

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

Lua522

last year

neovimneovim-pluginsnvim

OptionalExtensions

Swift µframework with extensions for the Optional Type

Swift182mit

5 years ago

functional-programmingswiftswift-extensions

reasonql

Type-safe and simple GraphQL library for ReasonML developers.

JavaScript96mit

last year

punchcard

Type-safe AWS infrastructure.

TypeScript506apache-2.0

2 years ago

awsaws-cdkinfrastructure-as-code

XcodeEquatableGenerator

XcodeEquatableGenerator

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

Swift191

5 years ago

extensionswift-equatablexcode

Regex

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

pep585-upgrade

Pre-commit hook for upgrading type hints

Python54bsd-3-clause

2 years ago

annotationspep-585pre-commit

Plutus-InvestmentTracker

Plutus-InvestmentTracker

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

Kotlin7apache-2.0

2 years ago

android-applicationbiometricsdiscrete-scrollview

rebed

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

Go29bsd-3-clause

2 years ago

embeddedembedded-filesfilesystem

promise

Type aware promises for crystal lang

Crystal39mit

2 years ago

qtypes

Rule based Answer Type classification system in Node.js

JavaScript160

8 years ago

SnappyTestCase

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

Swift15apache-2.0

6 years ago

RoastBot

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

Python21

3 years ago

simulacrum

First class syntax support for type classes in Scala

Scala940bsd-3-clause

last year

generic

flexible data type for Go

Go48mit

3 years ago

flexible-datagenericgo

comeonin_ecto_password

Ecto type for saving encrypted passwords using Comeonin

Elixir35bsd-3-clause

5 years ago

comeoninectopassword-hash

typeregistry

create type dynamically in Golang

Go23mit

4 years ago

hm-def

Runtime type checking for JS with Hindley Milner signatures

JavaScript196mit

last year

functional-programminghindley-milnerinvariant

MemoryCache

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

Swift78mit

3 years ago

carthagecocoapodsexpiration

pyspark-stubs

pyspark-stubs

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

Python114apache-2.0

2 years ago

apache-sparkmypypep484

Stringly.Typed

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

C#46mit

5 years ago

typed.tw

typed.tw

Brings types to TailwindCSS via TypeScript.

TypeScript414

2 years ago

csspurgecsstailwind

cleave.js

Format input text content when you are typing...

JavaScript17773apache-2.0

last year

credit-cardcreditcardinput

Tickeys

Tickeys

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

Rust1416mit

last year

macosrust

collective.mirror

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

Python1gpl-2.0

3 years ago

HoTT

Homotopy type theory

Coq1134other

2 years ago

homotopy-type-theorytype-theoryunivalent-foundations

python-phonenumbers-stubs

Python typing stubs for phonenumbers(lite)

Python0mit

3 years ago

npm-quick-run

npm-quick-run

Quickly run NPM script by prefix without typing the full name

JavaScript139

2 years ago

clinpmquick

crabtyper

crabtyper

A speed typing web app written in Rust

Rust189mit

2 years ago

rusttailwindcsstrunk

loading-dots

loading-dots

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

Java164mit

6 years ago

realtime-currency-formatter-objc

UITextField realtime currency formatter - format while typing

Objective-C14mit

7 years ago

jupyterlab-quickopen

jupyterlab-quickopen

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

Python75bsd-3-clause

last year

jupyterjupyterlabjupyterlab-extension

framer-ios-keyboard

framer-ios-keyboard

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

CoffeeScript31mit

9 years ago

guess-language.el

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

Emacs Lisp111

last year

emacsemacs-lisplanguage

sys-diver-zsh

sys-diver-zsh

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

Shell8mit

3 years ago

zshzsh-plugin

eslint-plugin-typelint

eslint-plugin-typelint

TypeLint is an ESlint plugin for optional static typing in JavaScript, based on

JavaScript174mit

6 years ago

jPanelMenu

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

JavaScript925

7 years ago

slap

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

OCaml85lgpl-2.1

4 years ago

mimesniffer

A MIME type sniffer for Go.

Go32mit

2 years ago

content-typefile-formatfile-signature

stateofwebtype

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

JavaScript64other

6 years ago

transformer

Flexible type conversion lightweight library

Elixir0apache-2.0

2 years ago

pelusa

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

Ruby441

9 years ago

fintrospect

Implement fast, type-safe HTTP webservices for Finagle

Scala90apache-2.0

4 years ago

finagleframeworkhttp

TypL

The Type Linter for JS

JavaScript362mit

2 years ago

assertionjavascriptlinter

pathtype

Add a type for paths in Go.

Go13mit

3 years ago

filefilepathfiles

json2go

Create go type representation from json

Go127mit

2 years ago

clijsonjson-to-go

Graphaello

Graphaello

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

Swift494mit

2 years ago

codegencommand-line-tooldata-driven

Threadly

Threadly

Type-safe thread-local storage in Swift

Swift72mit

6 years ago

carthagecocoapodsconcurrency

morpheus

Reactive type-safe Scala driver for SQL databases

Scala101other

5 years ago

bintraydslmorpheus

phantom

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

Scala1048apache-2.0

last year

cassandradatastax-enterprisephantom

CircleType

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

JavaScript667mit

last year

javascripttext-radiustypography

Overdrive

Overdrive

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

quantities

quantities

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

Idris155mit

5 years ago

type-safetyunit-conversionunits-of-measure

Autocomplete

Autocomplete

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

AutoHotkey179

last year

poke-types

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

JavaScript8mit

last year

gamegame-freakmodule

graphql-tools-types

Custom Scalar Types for GraphQL-Tools

JavaScript47

3 years ago

customgraphq-toolsgraphql

vue-typed

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

TypeScript103mit

6 years ago

typescriptvue

vue-typer

Vue component that simulates a user typing, selecting, and erasing text.

Vue786mit

4 years ago

componenttypewritervue

TySug

TySug

A project around helping to prevent typing typos. TySug (Typo Suggestions) sugge

Go17mit

last year

algorithmcorsdocker

vue-typical

🐡 Vue Animated typing in ~400 bytes of JavaScript

TypeScript166mit

last year

animatedcomponentstypical

types-wm

TypeScript definitions for Web Monetization

3mit

2 years ago

definitiondtstypes

ConfigurableTableViewController

ConfigurableTableViewController

Typed, yet Flexible Table View Controller

Swift269

8 years ago

Swiftly-Typed-Resources

Swiftly-Typed-Resources

A playground showing how Swift makes Strings, Colors, Fonts, Images, etc easier

Swift73

7 years ago

infer-types

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

Python66mit

last year

annotationscode-formattercode-generation

FireSword

FireSword

🔥 Filter Unknown Keys Or Keys With Incorrect Data Types Recursively Before Savi

TypeScript4mit

last year

filterfirebasefirebase-realtime-database

data-science-types

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

Python195apache-2.0

3 years ago

matplotlibmypymypy-stubs

purescript-queue

A queue-esque data type for purescript.

PureScript3bsd-3-clause

4 years ago

asynchandlerpubsub

activerecord-postgres_enum

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

Ruby349mit

2 years ago

activerecordenumpostgres

styled-text

styled-text

Declarative text styles and streamlined Dynamic Type support for iOS

Swift234mit

2 years ago

go-structured-query

Type safe SQL query builder and struct mapper for Go

Go195mit

last year

data-mappergomysql

Ada-promises

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

Ada6

7 years ago

cakephp-serialize-data-types

Serialize-able data types for the CakePHP ORM

PHP2mit

8 years ago

aurelia-typescript

aurelia-typescript

A starter kit for working with the Aurelia TypeScript type definitions

JavaScript144mit

8 years ago

vue-input-contenteditable

The same features you expect from `<input type="text">` but in a `contenteditabl

JavaScript19mit

last year

contenteditablehtmljavascript

UTIKit

UTIKit is an UTI (Uniform Type Identifier) wrapper for Swift.

Swift251mit

2 years ago

marked

marked port with type annotations for Deno

TypeScript8

4 years ago

typings

Dojo 1 - TypeScript Typings (including Dijit and DojoX)

TypeScript28other

last year

Time

🕰 Type-safe time calculations in Swift

Swift1072mit

2 years ago

genericsiosswift

anyhow

Flexible concrete Error type built on std::error::Error

Rust3585apache-2.0

last year

python-typecheckers

A list of Python type checkers (PEP 484 compliant and not, static and runtime/dy

60

2 years ago

react-native-device-specs

Detects device type on both android and ios

Java11

8 years ago

eslint-plugin-flowtype

Flow type linting rules for ESLint.

JavaScript1079other

2 years ago

eslintflowflowtype

redux-tcomb

Immutable and type-checked state and actions for Redux

JavaScript211mit

8 years ago

HAR-stacked-residual-bidir-LSTMs

HAR-stacked-residual-bidir-LSTMs

Using deep stacked residual bidirectional LSTM cells (RNN) with TensorFlow, we d

Python308apache-2.0

2 years ago

bidirectional-lstm-cellshuman-activity-recognitionlstm

vue-ts-loader

vue-ts-loader

Type-check your script in your vue-loader

JavaScript90mit

8 years ago

tsec

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

Scala352mit

2 years ago

cryptographyfunctional-programmingjca

ObjCSV

AutoHotkey_L (AHK) functions to load from CSV files, sort, display and save as C

AutoHotkey29

2 years ago

proxy-web-storage

Keep the type of storage value unchanged and change array and object directly. S

TypeScript233mit

last year

expiredlocalstorageproxy

ftor

ftor enables ML-like type-directed, functional programming with Javascript inclu

JavaScript44mit

6 years ago

combinatorscompositioncurrying

swift-tsao

Type-Safe Associated Objects in Swift

Swift138mit

2 years ago

cakephp-orm-json

Cakephp plugin to provide easy control over JSON type fields in database

PHP13mit

2 years ago

NoticeObserveKit

NoticeObserveKit is type-safe NotificationCenter wrapper.

Swift150mit

5 years ago

iosmacosnotificationcenter

eos-abigen

CLI for generating type-safe clients for EOS-compatible contracts.

Go4mit

2 years ago

blockchaincode-generationcryptocurrency

performance-bookmarklet

performance-bookmarklet

Performance-Bookmarklet helps to analyze the current page through the Resource T

JavaScript1122mit

last year

analyzerbookmarkletbrowser-extension

bacon-love

bacon-love

A Nodeschool type workshop for Functional Reactive Programming and Bacon.js

JavaScript48

7 years ago

slice

Type-safe functions for common Go slice operations

Go51mit

4 years ago

gogolangslice-tricks

ordered-set-stubs

Stubs with type annotations for ordered-set Python library

Python2mit

4 years ago

AutoHotkey-Type_Checking

Type Checking for AutoHotkey

AutoHotkey7lgpl-3.0

2 years ago

ahkautohotkeytype-checking

Percentage

A percentage type for Swift

Swift266mit

2 years ago

numberpercentpercentage

TypedDefaults

TypedDefaults is a utility library to type-safely use NSUserDefaults.

Swift110mit

7 years ago

TypedDefaults

TypedDefaults is a utility library to type-safely use NSUserDefaults.

Swift110mit

7 years ago

changed-files

changed-files

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

Shell1004mit

last year

actionschange-detectionchange-detetion

wp-graphql-enable-all-post-types

Add all custom post types to WP GraphQL

PHP6

4 years ago

typedefs

Programming language agnostic type construction language based on polynomials.

Idris363agpl-3.0

2 years ago

category-theoryf-algebrasmarshalling

typilus-action

typilus-action

A GitHub Action for suggesting Python type annotations.

Python40mit

last year

github-actionsmachine-learningpython3

universal-data-tool

universal-data-tool

Collaborate & label any type of data, images, text, or documents, in an easy web

JavaScript1895mit

2 years ago

annotate-imagesannotation-toolclassification

purescript-hedwig

Hedwig is a fast, type safe, declarative PureScript library for building web app

PureScript130

4 years ago

vue-img-inputer

vue-img-inputer

🏞 A graceful image type inputer / uploader

Vue565

5 years ago

componentinputui

Fornax

Fornax is a static site generator using type safe F# DSL to define page template

F#23mit

6 years ago

fsharpstatic site generator

awesome-react-native-meteor

awesome-react-native-meteor

An "awesome" type curated list of how to use React Native and Meteor together

153

8 years ago

purescript-routing

A clean, type-safe routing library for PureScript.

PureScript102apache-2.0

2 years ago

purescript-trout

purescript-trout

Type-Level Routing for PureScript

PureScript41mpl-2.0

4 years ago

typilus

Code for "Typilus: Neural Type Hints" PLDI 2020

Python52mit

last year

react-bulma

react-bulma

React.js components for Modern CSS framework based on Flexbox

JavaScript471mit

5 years ago

bulmabulma-css-frameworkbulma-ui

purescript-pux

purescript-pux

Build type-safe web apps with PureScript.

PureScript565other

last year

elm-architecturefrp-librarypurescript

ember-prop-types

Improved property management for Ember apps and addons.

JavaScript80mit

last year

tailwind-theme-switcher

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

Liquid182

last year

dark-modedark-themejavascript

Toolbelt.Blazor.FileDropZone

Toolbelt.Blazor.FileDropZone

Surround an "input type=file" element by this Blazor component to making a zone

HTML19mpl-2.0

2 years ago

blazordragdropdrop

vue-typed-js

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

JavaScript419mit

last year

typedtyped-jstyping

jQuery-Slugify-Plugin

Creates a URL slug as you type a page title (like Django slugify())

HTML87bsd-2-clause

9 years ago

sqlalchemy-enum34

SQLAlchemy type to store standard enum.Enum values

Python49mit

3 years ago

databasesenumorm

sqlalchemy-utc

SQLAlchemy type to store aware datetime values

Python96mit

2 years ago

databasesdatetimeorm

Validated

A Swift μ-Library for Somewhat Dependent Types

Swift607mit

7 years ago