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

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

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

kubernetes-typed

kubernetes-typed

mypy plugin to type check Kubernetes resources

Python19apache-2.0

3 months ago

crdkuberneteskubernetes-development

eslint-plugin-type-graphql

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

vue-typed-virtual-list

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

TypeScript31other

7 months ago

idris-type-providers

Type provider library for Idris

Idris85

6 years ago

tailwindcss-fluid-type

tailwindcss-fluid-type

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

vue-props-type

TypeScript20

last year

com2ann

Tool for translation type comments to type annotations in Python

Python135mit

9 months ago

annotationspython-3-6source-to-source

APIKit

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

Swift1988mit

last month

TheAnimation

TheAnimation

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

Swift224mit

4 years ago

animationcarthagecocoapods

react-hooks-screen-type

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

convergen

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

file-type

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3482mit

14 days ago

bufferdetectfile

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript366mit

6 months ago

is

is

Type check values

TypeScript1633mit

yesterday

assertionsisnode-module

flake8-type-checking

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

Python107bsd-3-clause

4 months ago

flake8flake8-extensionsflake8-plugin

type-o-rama

type-o-rama

👾 JS type systems interportability

244

2 years ago

closure-compilerelmflow

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

flake8-type-ignore

Python1bsd-3-clause

3 years ago

hacktoberfest

RazorPageRouteGenerator

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

C#7mit

5 months ago

ember-typings

Typescript type definitions for ember.js

TypeScript13mit

6 years ago

definitelytypedemberember-typings

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

rocker

rocker

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

Java692

10 months ago

javatemplatingweb

ferry

ferry

Stream-based strongly typed GraphQL client for Dart

Dart555mit

5 months ago

dartfluttergraphql

monkeys

A strongly-typed genetic programming framework for Python

Python118

6 years ago

aiant-colony-optimizationframework

domkit

CSS Components based strictly typed UI framework for Haxe

Haxe80mit

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

6 months ago

emailsendgridsendgrid-api

JsonMapper

Typed JSON parser for ActionScript

ActionScript3mit

10 years ago

adobe-airadobe-flashadobe-flex

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

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

dyon

dyon

A rusty dynamically typed scripting language

Rust1668apache-2.0

8 months ago

dynamicdyonscripting-language

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

bistro

A library to build and execute typed scientific workflows

OCaml45other

11 months ago

bioinformaticscomputational-biologyocaml

swift-typed-date

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

Swift19mit

6 months ago

RegExtract

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

C#695mit

5 months ago

file-type-cli

Detect the file type of a file or stdin

JavaScript70mit

2 years ago

BlazorInteropGenerator

Generates Blazor -> Javascript strongly typed interop methods.

C#11mit

5 months ago

Storez

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

Swift67mit

2 years ago

cachecarthagecocoapods

katakata_irb

IRB with Typed Completion

Ruby93mit

5 months ago

d-ORModel

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

Pascal13apache-2.0

9 years ago

bog

Small, strongly typed, embeddable language.

Zig484mit

10 months ago

compilerprogramming-languagezig

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

zsh-autocomplete

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

Shell4887mit

last month

asynchronousautocompleteautocompletion

type-graphql

type-graphql

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

TypeScript7955mit

4 days ago

apicontrollersdecorators

babel-plugin-type-assertion

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 years 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

KeyPathKit

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

Swift426mit

5 years ago

datasqlswift

future-typing

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

Python17mit

3 years 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

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

apollo-kotlin

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

Kotlin3669mit

15 days ago

androidapollographqlgraphql

vite-boot

vite-boot

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

Vue141mit

12 months ago

piniapnpmtailwind-css

SwiftNotificationCenter

SwiftNotificationCenter

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

Swift638mit

5 years ago

flutter_typeahead

flutter_typeahead

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

Dart747bsd-2-clause

5 months ago

easyloggingpp

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

C++3643mit

7 months ago

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

typeguard

Run-time type checker for Python

Python1354other

6 months ago

bincat

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

OCaml1611

3 months ago

disassemblyida-pluginreverse-engineering

emitter-kit

Type-safe event handling for Swift

Swift570mit

2 years ago

meiga

meiga

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

Python70mit

4 months ago

monadspythonresult

Reusable

Reusable

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

Swift2975mit

8 months 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.

Swift2506mit

3 years ago

SOMotionDetector

SOMotionDetector

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

Objective-C1059mit

last month

GlueKit

Type-safe observable values and collections in Swift

Swift362mit

2 years ago

aws4s

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

Scala87mit

6 years ago

awsscala

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

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

askama

Type-safe, compiled Jinja-like templates for Rust

Rust2930apache-2.0

3 months ago

custom-derivejinja2rust

serde-yaml

Strongly typed YAML library for Rust

Rust900apache-2.0

3 months ago

rustserdeyaml

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

rxeither

Either type for RxJava

Java90apache-2.0

8 years ago

DotNetJS

DotNetJS

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

JavaScript608mit

5 months ago

bindingscodegencsharp

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

linguist-action

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

6mit

12 months ago

github-actiongithub-actionslanguage-detection

fluent-command-line-parser

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

C#527other

5 years ago

PackerDetectionToolEvaluation

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

Money

Money

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

Swift907mit

9 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

orm

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

Go153mit

9 months ago

databasegenericsgo

ecto_shortuuid

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

10 months ago

PivotalR

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

R121

2 years ago

pythonista-stubs

Typed interface stubs for Pythonista iOS

Python13apache-2.0

5 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

4 years ago

jsxproc-macroreact

Idris-dev

A Dependently Typed Functional Programming Language

Haskell3396other

4 months ago

Himotoki

A type-safe JSON decoding library purely written in Swift

Swift796mit

5 years ago

decodingjsonswift

htt

Hoare Type Theory

Coq63apache-2.0

6 months ago

coqhoare-logichoare-monads

freedsl

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

Scala36

6 years ago

effectsfree-monadfunctional-programming

rpc_parallel

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

OCaml47mit

7 months ago

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

duratom

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

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

prospector

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

Python1876gpl-2.0

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

enumeratum

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

Scala1178mit

2 months ago

enumenumerationsintegrations

Logibit.Hawk

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

F#36other

6 years ago

R.swift

R.swift

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

Swift9394mit

last month

autocompletioncode-generatorios

Typo

A portable type inference library for Common Lisp

Common Lisp33mit

6 months ago

specialization-store

A different type of generic function for common lisp.

Common Lisp28other

4 years ago

common-lispgeneric-functionsmultiple-dispatch

counterfeiter

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

Go908mit

3 months ago

TableKit

Type-safe declarative table views.

Swift705mit

last year

autolayoutgenericswift

unconvert

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

mgl-gpr

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

Common Lisp61mit

last year

PropertyKit

PropertyKit

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

Swift12mit

5 years ago

pyright

pyright

Static Type Checker for Python

Python11331other

5 months ago

physical-quantities

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

Common Lisp31

3 years 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

12 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

9 months ago

functional-programmingoption-typesafety

ppx_import

Less redundancy in type declarations and signatures

OCaml85mit

11 months ago

scalarelational

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

Scala58

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

PMKVObserver

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

Objective-C707apache-2.0

3 years ago

CoreDataQueryInterface

CoreDataQueryInterface

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

Swift34mit

last year

coredatafluent-interfaceswift

Guise

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

Swift58mit

7 months ago

dependency-injectiondependency-resolutionservice-locator

prospector

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

Python1793gpl-2.0

last year

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

3 months ago

linterpythonstatic-analysis

typing-label

typing-label

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

Java148mit

27 days ago

libgdxscene2d

nvim-luapad

nvim-luapad

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

Lua522

last year

neovimneovim-pluginsnvim

oauth2-rs

Extensible, strongly-typed Rust OAuth2 client library

Rust805apache-2.0

3 months ago

oauth2pkcerust

lsp_signature.nvim

lsp_signature.nvim

LSP signature hint as you type

Lua1915apache-2.0

14 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

OCaml10064mit

3 months ago

javascriptocamlprogramming-language

Schema.NET

Schema.NET

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

C#609mit

5 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

3 months ago

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

json

Strongly typed JSON library for Rust

Rust4417apache-2.0

3 months ago

jsonrustserde

XcodeEquatableGenerator

XcodeEquatableGenerator

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

Swift191

5 years ago

extensionswift-equatablexcode

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

Regex

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

elastic4s

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

Scala1629apache-2.0

6 months ago

circeelasticsearchhttp

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

steep

Static type checker for Ruby

Ruby1311mit

3 months ago

rubytypechecker

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

ahk

ahk

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

Python742mit

6 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

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

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

simulacrum

First class syntax support for type classes in Scala

Scala940bsd-3-clause

last year

checker-framework

Pluggable type-checking for Java

Java956other

4 months ago

javatypesverification

MPCTT

Modeling and Proving in Computational Type Theory

Coq65

7 months ago

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

Swiftly-Typed-Resources

Swiftly-Typed-Resources

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

Swift73

7 years ago

typed.js

typed.js

A JavaScript Typing Animation Library

JavaScript14703mit

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

vue-typed

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

TypeScript103mit

6 years ago

typescriptvue

kubernetes-typed

kubernetes-typed

mypy plugin to type check Kubernetes resources

Python19apache-2.0

3 months ago

crdkuberneteskubernetes-development

eslint-plugin-type-graphql

Linter for TypeGraphQL decorators

TypeScript17apache-2.0

2 years ago

vue-typed-virtual-list

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

TypeScript31other

7 months ago

idris-type-providers

Type provider library for Idris

Idris85

6 years ago

tailwindcss-fluid-type

tailwindcss-fluid-type

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

JavaScript283mit

7 months ago

fluid-typemodular-scaletailwind

vue-props-type

TypeScript20

last year

com2ann

Tool for translation type comments to type annotations in Python

Python135mit

9 months ago

annotationspython-3-6source-to-source

APIKit

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

Swift1988mit

last month

TheAnimation

TheAnimation

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

Swift224mit

4 years ago

animationcarthagecocoapods

react-hooks-screen-type

Determining screen size type for Bootstrap 4 grid.

JavaScript15

5 years ago

react-hooks

convergen

A type-to-type copy function code generator.

Go26mit

2 months ago

code-generatorddd-patternsgolang

file-type

Detect the file type of a Buffer/Uint8Array/ArrayBuffer

JavaScript3482mit

14 days ago

bufferdetectfile

image-type

Detect the image type of a Buffer/Uint8Array

JavaScript366mit

6 months ago

is

is

Type check values

TypeScript1633mit

yesterday

assertionsisnode-module

flake8-type-checking

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

Python107bsd-3-clause

4 months ago

flake8flake8-extensionsflake8-plugin

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

flake8-type-ignore

Python1bsd-3-clause

3 years ago

hacktoberfest

RazorPageRouteGenerator

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

C#7mit

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

rocker

rocker

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

Java692

10 months ago

javatemplatingweb

ferry

ferry

Stream-based strongly typed GraphQL client for Dart

Dart555mit

5 months ago

dartfluttergraphql

monkeys

A strongly-typed genetic programming framework for Python

Python118

6 years ago

aiant-colony-optimizationframework

domkit

CSS Components based strictly typed UI framework for Haxe

Haxe80mit

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

6 months ago

emailsendgridsendgrid-api

JsonMapper

Typed JSON parser for ActionScript

ActionScript3mit

10 years ago

adobe-airadobe-flashadobe-flex

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

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

dyon

dyon

A rusty dynamically typed scripting language

Rust1668apache-2.0

8 months ago

dynamicdyonscripting-language

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

bistro

A library to build and execute typed scientific workflows

OCaml45other

11 months ago

bioinformaticscomputational-biologyocaml

swift-typed-date

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

Swift19mit

6 months ago

RegExtract

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

C#695mit

5 months ago

file-type-cli

Detect the file type of a file or stdin

JavaScript70mit

2 years ago

BlazorInteropGenerator

Generates Blazor -> Javascript strongly typed interop methods.

C#11mit

5 months ago

Storez

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

Swift67mit

2 years ago

cachecarthagecocoapods

katakata_irb

IRB with Typed Completion

Ruby93mit

5 months ago

d-ORModel

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

Pascal13apache-2.0

9 years ago

bog

Small, strongly typed, embeddable language.

Zig484mit

10 months ago

compilerprogramming-languagezig

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

zsh-autocomplete

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

Shell4887mit

last month

asynchronousautocompleteautocompletion

type-graphql

type-graphql

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

TypeScript7955mit

4 days ago

apicontrollersdecorators

babel-plugin-type-assertion

An experimental babel transformer plugin for rtts_assert

JavaScript0

9 years 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

KeyPathKit

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

Swift426mit

5 years ago

datasqlswift

future-typing

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

Python17mit

3 years 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

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

apollo-kotlin

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

Kotlin3669mit

15 days ago

androidapollographqlgraphql

vite-boot

vite-boot

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

Vue141mit

12 months ago

piniapnpmtailwind-css

SwiftNotificationCenter

SwiftNotificationCenter

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

Swift638mit

5 years ago

flutter_typeahead

flutter_typeahead

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

Dart747bsd-2-clause

5 months ago

easyloggingpp

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

C++3643mit

7 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

6 months ago

bincat

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

OCaml1611

3 months ago

disassemblyida-pluginreverse-engineering

emitter-kit

Type-safe event handling for Swift

Swift570mit

2 years ago

meiga

meiga

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

Python70mit

4 months ago

monadspythonresult

Reusable

Reusable

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

Swift2975mit

8 months 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.

Swift2506mit

3 years ago

SOMotionDetector

SOMotionDetector

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

Objective-C1059mit

last month

GlueKit

Type-safe observable values and collections in Swift

Swift362mit

2 years ago

aws4s

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

Scala87mit

6 years ago

awsscala

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

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

castor

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

Scala127

2 months ago

goimghdr

goimghdr

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

Go40bsd-3-clause

5 years ago

goimghdr

askama

Type-safe, compiled Jinja-like templates for Rust

Rust2930apache-2.0

3 months ago

custom-derivejinja2rust

serde-yaml

Strongly typed YAML library for Rust

Rust900apache-2.0

3 months ago

rustserdeyaml

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

rxeither

Either type for RxJava

Java90apache-2.0

8 years ago

DotNetJS

DotNetJS

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

JavaScript608mit

5 months ago

bindingscodegencsharp

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

linguist-action

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

6mit

12 months ago

github-actiongithub-actionslanguage-detection

fluent-command-line-parser

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

C#527other

5 years ago

PackerDetectionToolEvaluation

Evaluation of packer type estimation/detection tools

Python8apache-2.0

3 years ago

Money

Money

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

Swift907mit

9 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

TypeScript4399other

2 days ago

javascriptnodejspostgres

orm

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

Go153mit

9 months ago

databasegenericsgo

ecto_shortuuid

Ecto type which adds support for ShortUUID in Ecto schemas

Elixir27mit

10 months ago

PivotalR

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

R121

2 years ago

pythonista-stubs

Typed interface stubs for Pythonista iOS

Python13apache-2.0

5 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

4 years ago

jsxproc-macroreact

Idris-dev

A Dependently Typed Functional Programming Language

Haskell3396other

4 months ago

Himotoki

A type-safe JSON decoding library purely written in Swift

Swift796mit

5 years ago

decodingjsonswift

htt

Hoare Type Theory

Coq63apache-2.0

6 months ago

coqhoare-logichoare-monads

freedsl

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

Scala36

6 years ago

effectsfree-monadfunctional-programming

rpc_parallel

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

OCaml47mit

7 months ago

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

duratom

A durable atom type for Clojure

Clojure192epl-1.0

5 months ago

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

prospector

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

Python1876gpl-2.0

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

enumeratum

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

Scala1178mit

2 months ago

enumenumerationsintegrations

Logibit.Hawk

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

F#36other

6 years ago

R.swift

R.swift

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

Swift9394mit

last month

autocompletioncode-generatorios

Typo

A portable type inference library for Common Lisp

Common Lisp33mit

6 months ago

specialization-store

A different type of generic function for common lisp.

Common Lisp28other

4 years ago

common-lispgeneric-functionsmultiple-dispatch

counterfeiter

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

Go908mit

3 months ago

TableKit

Type-safe declarative table views.

Swift705mit

last year

autolayoutgenericswift

unconvert

Remove unnecessary type conversions from Go source

Go372bsd-3-clause

8 months ago

mgl-gpr

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

Common Lisp61mit

last year

PropertyKit

PropertyKit

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

Swift12mit

5 years ago

pyright

pyright

Static Type Checker for Python

Python11331other

5 months ago

physical-quantities

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

Common Lisp31

3 years 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

12 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

9 months ago

functional-programmingoption-typesafety

ppx_import

Less redundancy in type declarations and signatures

OCaml85mit

11 months ago

scalarelational

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

Scala58

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

PMKVObserver

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

Objective-C707apache-2.0

3 years ago

CoreDataQueryInterface

CoreDataQueryInterface

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

Swift34mit

last year

coredatafluent-interfaceswift

Guise

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

Swift58mit

7 months ago

dependency-injectiondependency-resolutionservice-locator

prospector

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

Python1793gpl-2.0

last year

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

3 months ago

linterpythonstatic-analysis

typing-label

typing-label

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

Java148mit

27 days ago

libgdxscene2d

nvim-luapad

nvim-luapad

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

Lua522

last year

neovimneovim-pluginsnvim

oauth2-rs

Extensible, strongly-typed Rust OAuth2 client library

Rust805apache-2.0

3 months ago

oauth2pkcerust

lsp_signature.nvim

lsp_signature.nvim

LSP signature hint as you type

Lua1915apache-2.0

14 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

OCaml10064mit

3 months ago

javascriptocamlprogramming-language

Schema.NET

Schema.NET

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

C#609mit

5 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

3 months ago

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

json

Strongly typed JSON library for Rust

Rust4417apache-2.0

3 months ago

jsonrustserde

XcodeEquatableGenerator

XcodeEquatableGenerator

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

Swift191

5 years ago

extensionswift-equatablexcode

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

Regex

A delightful and expressive regular expression type for Swift.

Swift612mit

3 years ago

elastic4s

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

Scala1629apache-2.0

6 months ago

circeelasticsearchhttp

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

steep

Static type checker for Ruby

Ruby1311mit

3 months ago

rubytypechecker

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

ahk

ahk

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

Python742mit

6 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

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

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

simulacrum

First class syntax support for type classes in Scala

Scala940bsd-3-clause

last year

checker-framework

Pluggable type-checking for Java

Java956other

4 months ago

javatypesverification

MPCTT

Modeling and Proving in Computational Type Theory

Coq65

7 months ago

generic

flexible data type for Go

Go48mit

3 years ago

flexible-datagenericgo