typed-async-storage
Validate your AsyncStorage using PropTypes!
JavaScript7mit
7 months ago
asyncstorageasyncstorage-wrapperproptype-validators
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
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
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
flake8-type-checking
Flake8 plugin for managing type-checking imports & forward references.
Python107bsd-3-clause
3 months ago
flake8flake8-extensionsflake8-plugin
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
Create GraphQL schema and resolvers with TypeScript, using classes and decorator
TypeScript7951mit
2 days ago
apicontrollersdecorators
rocker
Java 8 optimized, memory efficient, speedy template engine producing statically
Java692
9 months ago
javatemplatingweb
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
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
swift-typed-date
Library for enhancing Swift's Date handling by enabling type-level customization
Swift19mit
6 months ago
cotowali
A statically typed scripting language that transpile into POSIX sh
V585mpl-2.0
8 months ago
cotowarilanguageprogramming-language
FluentValidation
A popular .NET validation library for building strongly-typed validation rules.
C#8649apache-2.0
3 months ago
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
bincat
Binary code static analyser, with IDA integration. Performs value and taint anal
OCaml1611
3 months ago
disassemblyida-pluginreverse-engineering
Reusable
A Swift mixin for reusing views easily and in a type-safe way (UITableViewCells,
Swift2975mit
8 months ago
SOMotionDetector
Simple library to detect motion type (walking, running, automotive) and count us
Objective-C1059mit
last month
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
typed_struct
An Elixir library for defining structs with a type without writing boilerplate c
Elixir705mit
5 months ago
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
A precise, type-safe representation of a monetary amount in a given currency
Swift907mit
8 months ago
currencydecimalgyb
DataSources
💾 🔜📱 Type-safe data-driven CollectionView, TableView Framework. (We can also
Swift568mit
2 months ago
collectionviewdata-drivendatasource
knap
Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown
Lua298gpl-3.0
5 months ago
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
rpc_parallel
Type-safe library for building parallel applications, built on top of Async's Rp
OCaml47mit
7 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
Netswift
A type-safe, high-level networking solution for Swift apps
Swift25mit
8 months ago
httphttp-requestsnetwork
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
torchtyping
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Python1318apache-2.0
11 months ago
named-tensorspython-typingpytorch
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
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
ahk
Python wrapper for AutoHotkey with full type support. Harness the automation pow
Python742mit
5 months ago
ahk-scriptasyncioautohotkey
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
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
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 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
The repository for high quality TypeScript type definitions.
TypeScript45874other
5 months ago
definitiondtshacktoberfest
jet
Type safe SQL builder with code generation and automatic query result data mappi
Go1954apache-2.0
last month
cockroachdbcode-completioncode-generator
nexus
Code-First, Type-Safe, GraphQL Schema Construction
TypeScript3376mit
6 months ago
graphqlgraphql-nexusgraphql-schema
jstachio
Java type safe statically compiled mustache
Java130bsd-3-clause
8 months ago
annotation-processordropwizardjava
SwifQL
💎 A Swift DSL for type-safe, extensible, and transformable SQL queries.
Swift288mit
8 months ago
dslmysqlpostgresql
meiga
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based
Python70mit
3 months ago
monadspythonresult
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.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
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
TypeScript-first schema validation with static type inference
TypeScript30510mit
yesterday
runtime-validationschema-validationstatic-types
bootsharp
Compile C# solution into single-file ES module with auto-generated JavaScript bi
C#634mit
3 days ago
buncodegencsharp
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
DoctrineEnumBundle
📦 Provides support of ENUM type for Doctrine in Symfony applications.
PHP455mit
4 months ago
bundledoctrinedoctrine-dbal
mimetype
A fast Golang library for media type and file extension detection, based on magi
Go1354mit
2 months ago
detectiongogolang
ex_image_info
ExImageInfo is an Elixir library to parse images (binaries) and get the dimensio
Elixir93other
5 months ago
dimensionselixirelixir-lang
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
armeria
Your go-to microservice framework for any situation, from the creator of Netty e
Java4603apache-2.0
3 months ago
gatewaygrpcgrpc-client
chimney
Scala library for boilerplate-free, type-safe data transformations
Scala1089apache-2.0
last month
auto-mappingautomatic-conversionboilerplate
cvt
Easy and safe convert any value to another type in Go. (Go 数据类型安全转换)
Go44mit
5 months ago
castconvertcvt
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
🍍 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
A simple, light-weight, type-friendly and modern task runner for general purpose
TypeScript257mit
4 months ago
async-awaitbuild-toolcli
apollo-ios
📱 A strongly-typed, caching GraphQL client for iOS, written in Swift.
Swift3836mit
10 days ago
apollo-iosapollographqlgraphql
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 GraphQL is library for creating GraphQL schemas in typescript using a str
TypeScript2243isc
4 days ago
graphqltypescript
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 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
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
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
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
A simple, battle-tested and generic set type for the Go language. Trusted by Doc
Go3835other
4 months ago
concurrencydatastructuresgenerics
tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking
Lua265mit
3 months ago
hacktoberfesthacktoberfest-acceptedlua
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
modular-forms
The modular and type-safe form library for SolidJS, Qwik, Preact and React
TypeScript755mit
5 months ago
bundle-sizeformform-validation
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
A static, type inferred and embeddable language written in Rust.
Rust3067mit
5 months ago
compilerembeddablefunctional
ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type infer
TypeScript10356mit
3 months ago
branchingconditionsexhaustive
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 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 is a simple lib (Swift) to know the exact type of the device, e.g. iP
Swift471mit
14 days ago
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
Create types for your directus project in your favourite language.
TypeScript174other
2 months ago
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
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
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
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
squeryl
A Scala DSL for talking with databases with minimum verbosity and maximum type s
Scala583apache-2.0
7 months ago
strawberry
A GraphQL library for Python that leverages type annotations 🍓
Python3603mit
4 months ago
asgiasynciodjango
ImageResizer
🖼️ Powerful image editor with width/height selection, applying filters, SVG to
Kotlin365apache-2.0
11 months ago
androidapplicationbatch-processing
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
epoch
Contains primitives for marshaling/unmarshaling Unix timestamp/epoch to/from bui
Go14mit
2 months ago
datedeserializationepoch
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
A playground showing how Swift makes Strings, Colors, Fonts, Images, etc easier
Swift73
7 years ago
TheAnimation
Type-safe CAAnimation wrapper. It makes preventing to set wrong type values.
Swift224mit
4 years ago
animationcarthagecocoapods
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
react-hooks-screen-type
Determining screen size type for Bootstrap 4 grid.
JavaScript15
5 years ago
react-hooks
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
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
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
A Protocol-Oriented NotificationCenter which is type safe, thread safe and with
Swift637mit
5 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
ImageCrop lets you crop images in Symfony applications, this bundle add a new fo
PHP13mit
2 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
Sica
:deer: Simple Interface Core Animation. Run type-safe animation sequencially or
Swift1050mit
2 years ago
animationcarthagecocoapods
CategorySliderView
slider view for choosing categories. add any UIView type as category item view.
Objective-C352mit
8 years ago
PullToRefreshCoreText
PullToRefresh extension for all UIScrollView type classes with animated text dra
Objective-C311mit
8 years ago
goimghdr
The imghdr module determines the type of image contained in a file for go
Go40bsd-3-clause
5 years ago
goimghdr
SimpleArrayBundle
Symfony 2 bundle for simple tags management, based on doctrine 2 simple_array ty
PHP2mit
7 years ago
hide
ID type with marshalling to/from hash to prevent sending IDs to clients.
Go59mit
2 years ago
golangidjson
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
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
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
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
Swift1483mit
3 years ago
codablejson-parsingswift
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
StringStylizer
Type strict builder class for NSAttributedString.
Swift73mit
2 years ago
iosnsattributedstringswift
merlin-eldoc
Type and doc on hover for OCaml and Reason in emacs
Emacs Lisp42gpl-3.0
last year
emacsocamlreasonml
tx
Erlang term explorer. Pastebin type app which displays terms of any complexity s
CSS80mit
10 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
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
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
punchcard
Type-safe AWS infrastructure.
TypeScript506apache-2.0
2 years ago
awsaws-cdkinfrastructure-as-code
XcodeEquatableGenerator
Xcode 8 Source Code Extension will generate conformance to Swift Equatable proto
Swift191
5 years ago
extensionswift-equatablexcode
pep585-upgrade
Pre-commit hook for upgrading type hints
Python54bsd-3-clause
2 years ago
annotationspep-585pre-commit
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
SnappyTestCase
iOS Simulator type agnostic snapshot testing, built on top of the FBSnapshotTest
Swift15apache-2.0
6 years ago
comeonin_ecto_password
Ecto type for saving encrypted passwords using Comeonin
Elixir35bsd-3-clause
5 years ago
comeoninectopassword-hash
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
Apache (Py)Spark type annotations (stub files).
Python114apache-2.0
2 years ago
apache-sparkmypypep484
wavefront_rs
An alternative, typed and simple wavefront format parser and writer.
Rust4mit
last year
objparserrust
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
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
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
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
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
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
fintrospect
Implement fast, type-safe HTTP webservices for Finagle
Scala90apache-2.0
4 years ago
finagleframeworkhttp
Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftU
Swift494mit
2 years ago
codegencommand-line-tooldata-driven
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
⚡️ Fast async task based Swift framework with focus on type safety, concurrency
Swift806mit
7 years ago
concurrencymulti-threadingswift
quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Idris155mit
5 years ago
type-safetyunit-conversionunits-of-measure
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 plugin that generates Scala case classes for easy, statically typed and impl
Scala31mit
6 years ago
code-generationjsonsbt
auto-optional
Makes typed arguments Optional when the default argument is None
Python16mit
last year
code-qualitypypipython
infer-types
A CLI tool to automatically add type annotations into Python code. Must have too
Python66mit
last year
annotationscode-formattercode-generation
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
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
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
python-typecheckers
A list of Python type checkers (PEP 484 compliant and not, static and runtime/dy
60
2 years ago
eslint-plugin-flowtype
Flow type linting rules for ESLint.
JavaScript1079other
2 years ago
eslintflowflowtype
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
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 to learn type-hints in Python3 using Mypy
Python119
2 years ago
koansmypypep-484
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 helps to analyze the current page through the Resource T
JavaScript1122mit
last year
analyzerbookmarkletbrowser-extension
bacon-love
A Nodeschool type workshop for Functional Reactive Programming and Bacon.js
JavaScript48
7 years ago
react-native-auto-typing-text
Auto typing text component for react-native
JavaScript68mit
6 years ago
react-native
AutoHotkey-Type_Checking
Type Checking for AutoHotkey
AutoHotkey7lgpl-3.0
2 years ago
ahkautohotkeytype-checking
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
typedefs
Programming language agnostic type construction language based on polynomials.
Idris363agpl-3.0
2 years ago
category-theoryf-algebrasmarshalling
typilus-action
A GitHub Action for suggesting Python type annotations.
Python40mit
last year
github-actionsmachine-learningpython3
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
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 is a cross-platform library for Typed Functional Programming in Swift
Swift641other
2 years ago
bowcarthagecategory-theory
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-pux
Build type-safe web apps with PureScript.
PureScript565other
last year
elm-architecturefrp-librarypurescript
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