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

2 months ago

typed.js

typed.js

A JavaScript Typing Animation Library

JavaScript14703mit

3 months ago

is

is

Type check values

TypeScript1629mit

7 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

25 days ago

file-type

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3471mit

2 days ago

bufferdetectfile

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript364mit

6 months ago

flake8-type-checking

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

Python107bsd-3-clause

3 months ago

flake8flake8-extensionsflake8-plugin

kubernetes-typed

kubernetes-typed

mypy plugin to type check Kubernetes resources

Python19apache-2.0

3 months ago

crdkuberneteskubernetes-development

vue-typed-virtual-list

Small, efficient, type-safe virtual list for Vue 3

TypeScript31other

7 months ago

RazorPageRouteGenerator

Strongly typed Razor Page Route Generator (also works with Blazor)

C#7mit

5 months ago

zsh-autocomplete

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

Shell4808mit

last month

asynchronousautocompleteautocompletion

type-graphql

type-graphql

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

TypeScript7951mit

2 days ago

apicontrollersdecorators

rocker

rocker

Java 8 optimized, memory efficient, speedy template engine producing statically

Java692

9 months ago

javatemplatingweb

ferry

ferry

Stream-based strongly typed GraphQL client for Dart

Dart555mit

5 months ago

dartfluttergraphql

domkit

CSS Components based strictly typed UI framework for Haxe

Haxe81mit

2 months ago

jwarc

Java library for reading and writing WARC files with a typed API

Java43apache-2.0

3 months ago

StrongGrid

StrongGrid

Strongly typed library for the entire SendGrid v3 API, including webhooks

C#167

5 months ago

emailsendgridsendgrid-api

Curryfy

Provides strongly typed extensions methods for C# delegates to take advantages o

C#57apache-2.0

9 months ago

csharpcurrycurrying

FastCrud

fast & light .NET ORM for strongly typed people

C#479mit

7 months ago

dotnetormsql

dyon

dyon

A rusty dynamically typed scripting language

Rust1668apache-2.0

8 months ago

dynamicdyonscripting-language

bistro

A library to build and execute typed scientific workflows

OCaml45other

11 months ago

bioinformaticscomputational-biologyocaml

RegExtract

Clean & simple idiomatic C# RegEx-based line parser that emits strongly typed re

C#695mit

4 months ago

BlazorInteropGenerator

Generates Blazor -> Javascript strongly typed interop methods.

C#11mit

5 months ago

katakata_irb

IRB with Typed Completion

Ruby93mit

4 months ago

bog

Small, strongly typed, embeddable language.

Zig484mit

9 months ago

compilerprogramming-languagezig

swift-typed-date

Library for enhancing Swift's Date handling by enabling type-level customization

Swift19mit

6 months ago

cotowali

cotowali

A statically typed scripting language that transpile into POSIX sh

V585mpl-2.0

8 months ago

cotowarilanguageprogramming-language

FluentValidation

FluentValidation

A popular .NET validation library for building strongly-typed validation rules.

C#8649apache-2.0

3 months ago

Idris-dev

A Dependently Typed Functional Programming Language

Haskell3396other

4 months ago

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

Lua46mit

4 months ago

QuickDB

QuickDB

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

Makefile18mit

10 months ago

audiocodablecodedata

askama

Type-safe, compiled Jinja-like templates for Rust

Rust2930apache-2.0

2 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

5 months ago

slonik

slonik

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

TypeScript4391other

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

5 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

last month

enumenumerationsintegrations

Typo

A portable type inference library for Common Lisp

Common Lisp33mit

5 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

10 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

Lua1817apache-2.0

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

6 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

6 months ago

package-info.nvim

package-info.nvim

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

Lua410gpl-3.0

6 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

routes

typed bidirectional router for OCaml/ReasonML web applications

OCaml137bsd-3-clause

5 months ago

bidirectionalhttp-routerhttp-routing

returns

Make your functions return something meaningful, typed, and safe!

Python3022bsd-2-clause

5 months ago

dry-pythonfpfunctional-programming

apollo-kotlin

:robot:  A strongly-typed, caching GraphQL client for the JVM, Android, and Kotl

Kotlin3669mit

3 days ago

androidapollographqlgraphql

vite-boot

vite-boot

Vite Boot is a lightning fast Vue 3 boilerplate with strongly typed TypeScript,

Vue141mit

11 months ago

piniapnpmtailwind-css

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

last month

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

meiga

meiga

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

Python70mit

3 months ago

monadspythonresult

castor

Castor is a lightweight, typed Actor library for Scala and Scala.js

Scala127

2 months ago

serde-yaml

Strongly typed YAML library for Rust

Rust900apache-2.0

2 months ago

rustserdeyaml

R.swift

R.swift

Strong typed, autocompleted resources like images, fonts and segues in Swift pro

Swift9394mit

last month

autocompletioncode-generatorios

oauth2-rs

Extensible, strongly-typed Rust OAuth2 client library

Rust805apache-2.0

2 months ago

oauth2pkcerust

Schema.NET

Schema.NET

Schema.org objects turned into strongly typed C# POCO classes for use in .NET. A

C#609mit

4 months ago

c-sharpcovid-19dotnet

zsh-no-ps2

A plugin for zsh that inserts a newline on Enter if the typed command is incompl

Shell10mit

2 months ago

json

Strongly typed JSON library for Rust

Rust4417apache-2.0

2 months ago

jsonrustserde

drash

A microframework for building JavaScript HTTP applications. Runtime-agnostic. St

TypeScript1088gpl-3.0

6 months ago

apidenoframework

graphql-client

Typed, correct GraphQL requests and responses in Rust

Rust1108apache-2.0

23 days ago

clientgraphqlrust

odmantic

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

Python976isc

6 days ago

asyncasynciodatabase

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

TypeScript30510mit

yesterday

runtime-validationschema-validationstatic-types

bootsharp

bootsharp

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

C#634mit

3 days ago

buncodegencsharp

EoHoneypotBundle

Honeypot type for Symfony forms

PHP33

3 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

2 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

11 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

last month

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

last month

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

17 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

4 months ago

nuxtnuxtjsprops

apollo-ios

apollo-ios

📱  A strongly-typed, caching GraphQL client for iOS, written in Swift.

Swift3836mit

10 days ago

apollo-iosapollographqlgraphql

elasticsearch-net

elasticsearch-net

This strongly-typed, client library enables working with Elasticsearch. It is th

C#3502apache-2.0

3 months ago

c-sharpclientdot-net

pothos

pothos

Pothos GraphQL is library for creating GraphQL schemas in typescript using a str

TypeScript2243isc

4 days ago

graphqltypescript

next-api-decorators

next-api-decorators

Collection of decorators to create typed Next.js API routes, with easy request v

TypeScript402mit

30 days ago

api-decoratorsbackenddecorators

liquidsoap

liquidsoap

Liquidsoap is a statically typed scripting general-purpose language with dedicat

OCaml1312gpl-2.0

last month

liquidsoapstreamingwebradio

json-flatfile-datastore

Simple JSON flat file data store with support for typed and dynamic data.

C#401mit

4 months ago

c-sharpdatabasedatastore

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

TypeScript13407mit

2 days ago

ajvjson-schemavalidator

swift-argument-parser

Straightforward, type-safe argument parsing for Swift

Swift3106apache-2.0

5 months ago

clicommand-lineflag

flake8-typing-imports

flake8 plugin which checks that typing imports are properly guarded

Python48mit

2 months ago

flake8mypypre-commit

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

Swift2269mit

24 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

Coq1215other

4 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

14 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

5 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

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

9 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

last month

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.

Swift9483mit

3 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

changed-files

changed-files

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

Shell1004mit

last year

actionschange-detectionchange-detetion

GTFS-blocks-to-transfers

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

Python4mit

3 days ago

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

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

25 days ago

codegencoroutineseventbus

Swiftly-Typed-Resources

Swiftly-Typed-Resources

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

Swift73

7 years ago

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

ConfigurableTableViewController

ConfigurableTableViewController

Typed, yet Flexible Table View Controller

Swift269

8 years ago

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

vue-typed-js

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

JavaScript419mit

last year

typedtyped-jstyping

vue-typed

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

TypeScript103mit

6 years ago

typescriptvue

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

file-type-cli

Detect the file type of a file or stdin

JavaScript70mit

2 years ago

ember-typings

Typescript type definitions for ember.js

TypeScript13mit

6 years ago

definitelytypedemberember-typings

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

PredicateFlow

Write amazing, strong-typed and easy-to-read NSPredicate.

Swift103mit

last year

autogeneratedcocoapodscode-generation

pilgrim

Dependency injection for Swift (iOS, OSX, Linux). Strongly typed, pure Swift suc

Swift63mit

last year

appsquicklydependency-injectiondi

typenv

Go minimalist typed environment variables library

Go9unlicense

last year

gogolanglibrary

Strathweb.TypedRouting.AspNetCore

A library enabling strongly typed routing in ASP.NET Core MVC projects.

C#74mit

5 years ago

monkeys

A strongly-typed genetic programming framework for Python

Python118

6 years ago

aiant-colony-optimizationframework

JsonMapper

Typed JSON parser for ActionScript

ActionScript3mit

10 years ago

adobe-airadobe-flashadobe-flex

EntityFramework.TypedOriginalValues

Get typed access to the DbEntityEntry<T>.OriginalValues property bag

C#33mit

7 years ago

DefaultsKit

Simple, Strongly Typed UserDefaults for iOS, macOS and tvOS

Swift1428mit

last year

iosmacosswift

oak

A typed parser generator embedded in Rust code for Parsing Expression Grammars

Rust140apache-2.0

3 years ago

CbAutoComplete

Auto-completes typed values in an AHK ComboBox.

AutoHotkey23unlicense

8 years ago

Storez

💾 Safe, statically-typed, store-agnostic key-value storage written in Swift!

Swift67mit

2 years ago

cachecarthagecocoapods

d-ORModel

dORModel is an ORM for Delphi, based on models and object fields. LINQ support,

Pascal13apache-2.0

9 years ago

KeyPathKit

KeyPathKit is a library that provides the standard functions to manipulate data

Swift424mit

5 years ago

datasqlswift

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

Swift1050mit

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

2 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

future-typing

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

Python17mit

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

Lua504

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

FsShelter

FsShelter

Author Apache Storm topologies with F# using statically-typed streams

F#1other

6 years ago

wavefront_rs

An alternative, typed and simple wavefront format parser and writer.

Rust4mit

last year

objparserrust

elchemy

elchemy

Write Elixir code using statically-typed Elm-like syntax (compatible with Elm to

Elm1146mit

4 years ago

compilerelchemyelixir

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

aws4s

Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http

Scala87mit

6 years ago

awsscala

fluent-command-line-parser

A simple, strongly typed .NET C# command line parser library using a fluent easy

C#527other

5 years ago

pythonista-stubs

Typed interface stubs for Pythonista iOS

Python13apache-2.0

5 years ago

Logibit.Hawk

A F# Hawk implementation with a strongly typed API that guides your usage and mi

F#36other

6 years ago

mgl-gpr

MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evo

Common Lisp61mit

last year

typing-label

typing-label

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

Java148mit

last year

libgdxscene2d

ServiceStack.OrmLite

Fast, Simple, Typed ORM for .NET

C#1533other

last year

c-sharpfirebirdhigh-performance

Stripe

Typed .NET clients for stripe.com REST APIs

C#193other

2 years ago

asyncc-sharpclient

cacheme-go

🚀 Schema based, typed Redis caching/memoize framework for Go

Go24apache-2.0

2 years ago

cacheframeworkmemoization

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

blockbuster.apk

blockbuster.apk

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

JavaScript2mit

last year

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

5 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

sbt-json

sbt-json

sbt plugin that generates Scala case classes for easy, statically typed and impl

Scala31mit

6 years ago

code-generationjsonsbt

auto-optional

auto-optional

Makes typed arguments Optional when the default argument is None

Python16mit

last year

code-qualitypypipython

types-wm

TypeScript definitions for Web Monetization

3mit

2 years ago

definitiondtstypes

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

slacktyping

i'm typing when you're typing

Ruby1919other

6 years ago

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

Swift1073mit

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

last year

bidirectional-lstm-cellshuman-activity-recognitionlstm

vue-ts-loader

vue-ts-loader

Type-check your script in your vue-loader

JavaScript90mit

7 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

python-typing-koans

python-typing-koans

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

Python119

2 years ago

koansmypypep-484

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

react-native-auto-typing-text

react-native-auto-typing-text

Auto typing text component for react-native

JavaScript68mit

6 years ago

react-native

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

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

bow

bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

Swift641other

2 years ago

bowcarthagecategory-theory

tyre

Typed Regular Expressions

OCaml167isc

4 years ago

gadtocamlregex

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

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

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

jQuery-Slugify-Plugin

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

HTML87bsd-2-clause

8 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

Python94mit

2 years ago

databasesdatetimeorm