learn-tt
A collection of resources for learning type theory and type theory adjacent fiel
2166
3 months ago
convergen
A type-to-type copy function code generator.
Go32mit
8 months ago
code-generatorddd-patternsgolang
typebox
Json Schema Type Builder with Static Type Resolution for TypeScript
TypeScript4643other
4 months ago
ajvjson-schemaopen-api
Snowflaqe
A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automat
F#158mit
last month
code-generationdotnet-clifable
tailwindcss-fluid-type
A plugin that makes the use of Fluid Type a breeze.
JavaScript345mit
8 months ago
fluid-typemodular-scaletailwind
APIKit
Type-safe networking abstraction layer that associates request type with respons
Swift2000mit
5 months ago
typing-label
A libGDX Label that appears as if it was being typed in real time.
Java152mit
6 months ago
libgdxscene2d
SwiftyKeychainKit
Modern Swift wrapper for Keychain Services API with the benefits of static typin
Swift24mit
2 months ago
keychainswift
popman
Simple zsh-plugin that let's you browse man-pages of commands you're currently t
Shell3mit
20 days ago
Shark
Swift CLI for strong-typing images, colors, storyboards, fonts and localizations
Swift381mit
13 days ago
irregular-expressions
Android virtual keyboard for expressive typing
Kotlin133mit
22 days ago
androidimetyping
textratypist
Augmented text display system for libGDX, based on typing-label
Java94apache-2.0
5 days ago
fontguijava
zsh-autocomplete
🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autoco
Shell5375mit
3 months ago
asynchronousautocompleteautocompletion
type-graphql
Create GraphQL schema and resolvers with TypeScript, using classes and decorator
TypeScript8041mit
7 days ago
apicontrollersdecorators
SFSafeSymbols
Safely access Apple's SF Symbols using static typing
Swift1717mit
13 days ago
iconsiossfsymbols
flow
Adds static typing to JavaScript to improve developer productivity and code qual
OCaml22085mit
24 days ago
flutter_typeahead
A TypeAhead widget for Flutter, where you can show suggestions to users as they
Dart810bsd-2-clause
6 months ago
easyloggingpp
C++ logging library. It is powerful, supports asynchronous low latency, extendab
C++3787mit
7 months ago
c-plus-plusc-plus-plus-11cpp
bincat
Binary code static analyser, with IDA integration. Performs value and taint anal
OCaml1680
2 months ago
disassemblyida-pluginreverse-engineering
SOMotionDetector
Simple library to detect motion type (walking, running, automotive) and count us
Objective-C1060mit
4 months ago
askama
Type-safe, compiled Jinja-like templates for Rust
Rust3257apache-2.0
5 months ago
custom-derivejinja2rust
typed_struct
An Elixir library for defining structs with a type without writing boilerplate c
Elixir733mit
12 months ago
bootsharp
Compile C# solution into single-file ES module with auto-generated JavaScript bi
C#669mit
6 days ago
buncodegencsharp
linguist-action
Detects language type for a file, or, given a repository, determine language bre
6mit
4 months ago
github-actiongithub-actionslanguage-detection
DataSources
💾 🔜📱 Type-safe data-driven CollectionView, TableView Framework. (We can also
Swift570mit
yesterday
collectionviewdata-drivendatasource
knap
Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown
Lua352gpl-3.0
30 days ago
slonik
A Node.js PostgreSQL client with runtime and build time type safety, and composa
TypeScript4594other
6 days ago
javascriptnodejspostgres
rpc_parallel
Type-safe library for building parallel applications, built on top of Async's Rp
OCaml48mit
2 months ago
enumeratum
A type-safe, reflection-free, powerful enumeration implementation for Scala with
Scala1183mit
5 months ago
enumenumerationsintegrations
SOMotionDetector
Simple library to detect motion type (walking, running, automotive) and count us
Objective-C1058mit
3 months ago
Guise
An elegant, flexible, type-safe dependency resolution framework for Swift
Swift59mit
12 days ago
dependency-injectiondependency-resolutionservice-locator
nvim-luapad
Interactive real time neovim scratchpad for embedded lua engine - type and watch
Lua564
6 months ago
neovimneovim-pluginsnvim
reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
OCaml10144mit
10 days ago
javascriptocamlprogramming-language
Plutus-InvestmentTracker
We're here to track money going out of your checking account into different type
Kotlin9apache-2.0
6 months ago
android-applicationbiometricsdiscrete-scrollview
simple-source
Easy and type-safe iOS table and collection views in Swift.
Swift99apache-2.0
6 months ago
iosswift-library
Firelord
🔥 Write V9 like Firestore Admin code with extreme type safety.
TypeScript37mit
7 months ago
firebasefirestorescalable
package-info.nvim
✍️ All the npm/yarn/pnpm commands I don't want to type
Lua487gpl-3.0
17 days ago
neovimneovim-guineovim-lua
cel-go
Fast, portable, non-Turing complete expression evaluation with gradual typing (G
Go2133apache-2.0
4 months ago
celexpressionexpression-evaluator
graphql-to-type
(almost) Fully functional GraphQL request parser written completely using TypeSc
TypeScript6mit
10 months ago
guess-language.el
Emacs minor mode that detects the language you're typing in. Automatically switc
Emacs Lisp119
6 months ago
emacsemacs-lisplanguage
jet
Type safe SQL builder with code generation and automatic query result data mappi
Go2262apache-2.0
4 months ago
cockroachdbcode-completioncode-generator
nexus
Code-First, Type-Safe, GraphQL Schema Construction
TypeScript3399mit
last year
graphqlgraphql-nexusgraphql-schema
jstachio
Java type safe statically compiled mustache
Java261bsd-3-clause
30 days ago
annotation-processordropwizardjava
SwifQL
💎 A Swift DSL for type-safe, extensible, and transformable SQL queries.
Swift295mit
5 months ago
dslmysqlpostgresql
jupyterlab-quickopen
Quickly open a file in JupyterLab by typing part of its name
TypeScript81bsd-3-clause
last month
jupyterjupyterlabjupyterlab-extension
wee-slack
A WeeChat script for Slack.com. Supports threads and reactions, synchronizes rea
Python2509mit
4 months ago
typical
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Python183mit
9 months ago
annotationsdata-validationdeserialization
odmantic
Sync and Async ODM (Object Document Mapper) for MongoDB based on python type hin
Python1064isc
4 months ago
asyncasynciodatabase
simple_enum
SimpleEnum: An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
C++20bsl-1.0
2 months ago
code-safetycppcpp-development-tools
blockbuster.apk
Block'Buster is a simple HTML5 arkanoid-type game for Android.
JavaScript2mit
6 months ago
JET.jl
An experimental code analyzer for Julia. No need for additional type annotations
Julia739mit
2 days ago
error-detectionjuliaperformance-engineering
zod
TypeScript-first schema validation with static type inference
TypeScript34122mit
8 days ago
runtime-validationschema-validationstatic-types
basedpyright
pyright fork with various type checking improvements, improved vscode support an
TypeScript712other
4 months ago
basedpylancepyright
valibot
The modular and type safe schema library for validating structural data 🤖
TypeScript5716mit
4 months ago
bundle-sizemodularparsing
DoctrineEnumBundle
📦 Provides support of ENUM type for Doctrine in Symfony applications.
PHP460mit
3 months ago
bundledoctrinedoctrine-dbal
mimetype
A fast Golang library for media type and file extension detection, based on magi
Go1500mit
4 months ago
detectiongogolang
ex_image_info
ExImageInfo is an Elixir library to parse images (binaries) and get the dimensio
Elixir95other
5 months ago
dimensionselixirelixir-lang
goverter
Generate type-safe Go converters by simply defining an interface
Go474mit
4 months ago
code-generationconvertercopy
armeria
Your go-to microservice framework for any situation, from the creator of Netty e
Java4834apache-2.0
4 hours ago
gatewaygrpcgrpc-client
cvt
Easy and safe convert any value to another type in Go. (Go 数据类型安全转换)
Go47mit
11 months ago
castconvertcvt
typetta
Node.js ORM written in TypeScript for type lovers.
TypeScript108apache-2.0
18 days ago
graphqljavascriptmariadb
FirelordJS
🔥High Precision Typescript Wrapper for Firestore Web, Providing Unparalleled Ty
TypeScript80mit
7 months ago
firebasefirestoregeneric-types
v-image
:camera: Tiny little component for input type=file (css free! style it as you wa
Vue40mit
4 months ago
image-componentvuevuejs
pinia
🍍 Intuitive, type safe, light and flexible Store for Vue using the composition
TypeScript12762mit
4 months ago
composition-apissrstore
pointer
Helper routines for simplifying the creation of optional fields of basic type.
Go41bsd-3-clause
7 months ago
gogodocgolang
foy
A simple, light-weight, type-friendly and modern task runner for general purpose
TypeScript268mit
last month
async-awaitbuild-scriptsbuild-system
pgmodeler
Open-source data modeling tool designed for PostgreSQL. No more typing DDL comma
C++3124gpl-3.0
3 days ago
c-plus-pluscode-generatordatabase
polymorphic-functions
A function type to dispatch on types instead of classes with partial support for
Common Lisp51
8 months ago
common-lispgenericslisp
computed-types
🦩 Joi like validations for TypeScript
TypeScript365mit
5 months ago
asyncjavascriptruntime
typed-async-storage
Validate your AsyncStorage using PropTypes!
JavaScript9mit
28 days ago
asyncstorageasyncstorage-wrapperproptype-validators
ajv
The fastest JSON schema Validator. Supports JSON Schema draft-04/06/07/2019-09/2
TypeScript13860mit
2 months ago
ajvjson-schemavalidator
beartype
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Pytho
Python2534mit
4 months ago
python3runtime-typecheckingstatic-typechecking
activerecord-postgres_enum
Integrate PostgreSQL's enum data type into ActiveRecord's schema and migrations.
Ruby361mit
5 months ago
activerecordenumpostgres
prisma-client-rust
Type-safe database access for Rust
Rust1758apache-2.0
6 months ago
prismaprisma-clientprisma-client-rust
time
Robust and type-safe date and time calculations for Swift
Swift2322mit
26 days ago
calendarcalendar-apicalendars
golang-set
A simple, battle-tested and generic set type for the Go language. Trusted by Doc
Go4027other
7 months ago
concurrencydatastructuresgenerics
tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking
Lua403mit
3 months ago
luaneovimnvim
Enum.Source.Generator
A C# source generator to create an enumeration class from an enum type. With thi
C#173mit
5 months ago
codegenerationcodegeneratorcsharp-sourcegenerator
modular-forms
The modular and type-safe form library for SolidJS, Qwik and Preact
TypeScript995mit
2 months ago
bundle-sizeformform-validation
which-key.nvim
💥 Create key bindings that stick. WhichKey helps you remember your Neovim key
Lua5425apache-2.0
15 days ago
luaneovimneovim-lua
Bolero
Bolero brings Blazor to F# developers with an easy to use Model-View-Update arch
F#1058apache-2.0
4 days ago
blazorbolerofsharp
gluon
A static, type inferred and embeddable language written in Rust.
Rust3161mit
9 months ago
compilerembeddablefunctional
graffle
Simple GraphQL Client for JavaScript. Minimal. Extensible. Type Safe. Runs every
TypeScript5876mit
21 hours ago
graphqlgraphql-clientgraphql-request
Coq-HoTT
A Coq library for Homotopy Type Theory
Coq1248other
last month
homotopy-type-theorytype-theoryunivalent-foundations
label-studio
Label Studio is a multi-type data labeling and annotation tool with standardized
JavaScript19402apache-2.0
24 hours ago
annotationannotation-toolannotations
DeviceGuru
DeviceGuru is a simple lib (Swift) to know the exact type of the device, e.g. iP
Swift479mit
4 months ago
C-Macro-Collections
Easy to use, modular, header only, macro based, generic and type-safe Data Struc
C529mit
5 months ago
ccontainersdata-structure
directus-extension-generate-types
Create types for your directus project in your favourite language.
TypeScript212other
3 months ago
mapstruct
An annotation processor for generating type-safe bean mappers
Java7106other
last month
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++149bsl-1.0
6 months ago
cpp11cpp14cpp17
NoticeObserveKit
NoticeObserveKit is type-safe NotificationCenter wrapper.
Swift150mit
5 months ago
iosmacosnotificationcenter
nameof
Nameof operator for modern C++, simply obtain the name of a variable, type, func
C++2083mit
last month
c-plus-plusc-plus-plus-17cplusplus
squeryl
A Scala DSL for talking with databases with minimum verbosity and maximum type s
Scala584apache-2.0
4 months ago
strawberry
A GraphQL library for Python that leverages type annotations 🍓
Python4016mit
yesterday
asgiasynciodjango
GTFS-blocks-to-transfers
Converts GTFS blocks into a series of trip-to-trip transfers using heuristics to
Python5mit
2 months ago
typedefs
Programming language agnostic type construction language based on polynomials.
Idris366agpl-3.0
6 months ago
category-theoryf-algebrasmarshalling
epoch
Contains primitives for marshaling/unmarshaling Unix timestamp/epoch to/from bui
Go14mit
9 months ago
datedeserializationepoch
Runtime
A Swift Runtime library for viewing type info, and the dynamic getting and setti
Swift1091mit
6 months ago
iosreflectionruntime
eventbus-service
Type-safe extensions for the vertx eventbus
Kotlin11apache-2.0
3 days ago
codegencoroutineseventbus
go-types
Library providing opanapi3 and Go types for store/validation and transfer of ISO
Go18mit
4 months ago
country-codescurrency-codesemail
DeviceKit
DeviceKit is a value-type replacement of UIDevice.
Swift4467mit
2 months ago
battery-levelbattery-statedevice
trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other s
Python74mit
7 months ago
parsingpythonruntime-typechecking
squid
Squid – type-safe metaprogramming and compilation framework for Scala
Scala196apache-2.0
10 months ago
metaprogrammingoptimizationscala
tailwind-theme-switcher
Basic demo on how to switch styles with Tailwind, handy for dark mode type purpo
Liquid188
last month
dark-modedark-themejavascript
shiva
Shiva library: Implementation in Rust of a parser and generator for documents of
Rust148gpl-3.0
4 months ago
Toolbelt.Blazor.FileDropZone
Surround an "input type=file" element by this Blazor component to making a zone
HTML23mpl-2.0
2 months ago
blazordragdropdrop
vue-paho-mqtt
Easy-to-use MQTT client for Vue 3 with centralized subscription management, type
TypeScript20mit
4 months ago
mqttmqtt-clientpaho-mqtt
neotypes
Scala lightweight, type-safe, asynchronous driver for neo4j
Scala162mit
4 months ago
databasefunctional-programminggraph
refit
The automatic type-safe REST library for .NET Core, Xamarin and .NET. Heavily in
C#8647mit
23 hours ago
c-sharpdotnetdotnet-core
jsonschema2pojo
Generate Java types from JSON or JSON Schema and annotate those types for data-b
Java6239apache-2.0
20 days ago
ant-taskgradle-plugingson
autoNumeric
AutoNumeric is a standalone library that provides live as-you-type formatting fo
JavaScript1752mit
8 months ago
autonumericinput-validationinputmask
interactive-inputs
Enable dynamic runtime inputs for your GitHub Actions workflows and composite ac
JavaScript9mit
2 months ago
cici-cdcicd
cakephp-decimal
CakePHP Decimal type handling using Decimal value object.
PHP8mit
3 days ago
cakephpdecimalphp
jOOR
jOOR - Fluent Reflection in Java jOOR is a very simple fluent API that gives ac
Java2806apache-2.0
4 months ago
git-open
Type `git open` to open the GitHub page or website for a repository in your brow
Shell3320mit
2 months ago
bitbucketgitgithub
table-nvim
A markdown table editor for Neovim that formats the table as you type.
Lua29mit
2 months ago
markdownmarkdown-tablesneovim
statping-ng
An updated drop-in for statping. A Status Page for monitoring your websites and
Vue1503gpl-3.0
5 months ago
gomonitoringmonitoring-server
prisma-client-go
Prisma Client Go is an auto-generated and fully type-safe database client
Go2047apache-2.0
4 months ago
databasegogolang
Enums.NET
Enums.NET is a high-performance type-safe .NET enum utility library
C#1696mit
7 months ago
csharpdotnetdotnet-core
react-native-file-viewer
Native file viewer for React Native. Preview any type of file supported by the m
Java434mit
10 months ago
zio
ZIO — A type-safe, composable library for async and concurrent programming in Sc
Scala4034apache-2.0
4 months ago
asynchronicityasynchronousasynchronous-programming
awesome-browser-extensions-for-github
Description OctoLinker reads the source code you're currently viewing straigh
JavaScript3004
3 months ago
awesomeawesome-listbrowser-extension
SecLists
SecLists is the security tester's companion. It's a collection of multiple types
PHP58636mit
yesterday
vue-ts-types
Lightweight TypeScript-first Vue prop type definitions
TypeScript8mit
2 months ago
hacktoberfestprop-typesprops
action-golangci-lint
Run golangci-lint with reviewdog
TypeScript217mit
20 days ago
golangci-lintreviewdog
celery-types
:seedling: Type stubs for Celery and its related packages
Python73apache-2.0
6 months ago
amqpbilliardcelery
vue-color-input
Vue 3 color picker component whose goal is to replace <input type="color">
Vue24mit
4 months ago
purescript-halogen
A declarative, type-safe UI library for PureScript.
PureScript1520apache-2.0
9 months ago
purescriptuiweb
graphql-scalars
A library of custom GraphQL Scalars for creating precise type-safe GraphQL schem
TypeScript1885mit
4 hours ago
graphqlgraphql-jsscalar-types
haskell-to-elm
Generate Elm types, encoders, and decoders from Haskell types
Haskell61bsd-3-clause
3 months ago
stockpredictionai
In this noteboook I will create a complete process for predicting stock p
4261
4 months ago
pljson
PL/JSON is a generic JSON object written in PL/SQL. Using PL/SQL object syntax,
PLSQL455other
5 months ago
jsonoracleplsql
vim-devicons
Adds file type icons to Vim plugins such as: NERDTree, vim-airline, CtrlP, unite
Vim Script5648mit
6 months ago
eye-candyfiletypeglyph-icons
TranslationFormBundle
Ease translations with some dedicated Symfony form types
PHP331mit
5 months ago
bundledoctrinephp
drift
An annotation-based Java library for creating Thrift serializable types and serv
Java243apache-2.0
6 months ago
magic_get
std::tuple like methods for user defined types without any macro or boilerplate
C++206bsl-1.0
last year
safe_numerics
Replacements to standard numeric types which throw exceptions on errors
C++207bsl-1.0
3 months ago
boost-librariesc-plus-plusinteger-arithmetic
DTTableViewManager
Protocol-oriented UITableView management, powered by generics and associated typ
Swift453mit
4 months ago
datasourcedelegateios
EZSwiftExtensions
:smirk: How Swift standard types and classes were supposed to work.
Swift2999mit
8 months ago
carthagecocoapodsexswift
rocker
Java 8 optimized, memory efficient, speedy template engine producing statically
Java742
5 months ago
javatemplatingweb
Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
JavaScript6981mit
4 months ago
binary-analysisdebuggerdetect
bingo
Fast, zero-allocation, lexicographic-order-preserving packing/unpacking of nativ
Go36mit
5 months ago
StrongGrid
Strongly typed library for the entire SendGrid v3 API, including webhooks
C#178
4 months ago
emailsendgridsendgrid-api
jc
CLI tool and python library that converts the output of popular command-line too
Python7901mit
last month
bashbash-scriptingcli
react-native-auto-typing-text
Auto typing text component for react-native
JavaScript69mit
7 years ago
react-native
TheAnimation
Type-safe CAAnimation wrapper. It makes preventing to set wrong type values.
Swift223mit
5 years ago
animationcarthagecocoapods
urlazy
A small utility for mobile web developers and testers who hate typing URLs into
C#7bsd-3-clause
last year
zsh-plugin-appup
The command that can save you typing 15 characters or more, each time!
Shell18mit
last year
aliasesdockerdocker-compose
AutocompleteField
Subclass of UITextField that shows inline suggestions while typing.
Swift665mit
4 years ago
autocompleteinputsuggestions
bd
Quickly go back to a parent directory in linux instead of typing "cd ../../.." r
Shell922mit
2 years ago
cakephp-encrypted-type
:lock_with_ink_pen: CakePHP plugin that provides field-level (column) encryption
PHP8mit
4 years ago
cakephpcakephp-plugindata-encryption
JFlepp.Maybe
A Maybe type for C#, aimed as an idiomatic port of the option type in F# to C#
C#4unlicense
5 years ago
csharpmaybe-monad
geojson-multiply
Multiply single type geojsons into a multi type geojson
JavaScript2mit
9 years ago
editinggeojson
SwiftNotificationCenter
A Protocol-Oriented NotificationCenter which is type safe, thread safe and with
Swift639mit
5 years ago
Reusable
A Swift mixin for reusing views easily and in a type-safe way (UITableViewCells,
Swift3003mit
last year
ImageCropBundle
ImageCrop lets you crop images in Symfony applications, this bundle add a new fo
PHP13mit
2 years ago
QuickDB
A Generic CoreData Manager to accept any type of objects. Fastest way for adding
Makefile18mit
last year
audiocodablecodedata
GetOptionKit
An object-oriented option parser library for PHP, which supports type constraint
PHP150mit
2 years ago
gotoprom
Type-safe Prometheus metrics builder library for golang [managed by soy-programa
Go109other
2 years ago
Sica
:deer: Simple Interface Core Animation. Run type-safe animation sequencially or
Swift1056mit
3 years ago
animationcarthagecocoapods
CategorySliderView
slider view for choosing categories. add any UIView type as category item view.
Objective-C349mit
9 years ago
PullToRefreshCoreText
PullToRefresh extension for all UIScrollView type classes with animated text dra
Objective-C310mit
8 years ago
goimghdr
The imghdr module determines the type of image contained in a file for go
Go39bsd-3-clause
5 years ago
goimghdr
SimpleArrayBundle
Symfony 2 bundle for simple tags management, based on doctrine 2 simple_array ty
PHP2mit
8 years ago
hide
A Go type to prevent internal numeric IDs from being exposed to clients using Ha
Go67mit
3 years ago
golangidjson
PackerDetectionToolEvaluation
Evaluation of packer type estimation/detection tools
Python9apache-2.0
4 years ago
Money
A precise, type-safe representation of a monetary amount in a given currency
Swift914mit
last year
currencydecimalgyb
orm
A lightweight yet powerful, fast, customizable, type-safe object-relational mapp
Go157mit
last year
databasegenericsgo
PivotalR-archive
An convenient R tool for manipulating tables in PostgreSQL type databases and a
R126
2 years ago
WarcPartitioner
Partition (W)ARC Files by MIME Type and Year
Java1mit
8 years ago
hadoopwarcweb-archiving
reacty_yew
Generate Yew components from React components via Typescript type definitions
JavaScript54apache-2.0
4 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
refinerycms-dynamicfields
This plugin lets the user create models dynamically and attach them to a page ty
Ruby16
2 years ago
moldinium
write UI models in interfaces using dynamic type creation, dependency injection
C#2
2 years ago
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 Lisp43gpl-3.0
2 years ago
emacsocamlreasonml
tx
Erlang term explorer. Pastebin type app which displays terms of any complexity s
CSS80mit
10 years ago
RestLess
The automatic type-safe-reflectionless REST API client library for .Net Standard
C#111mit
2 years ago
specialization-store
A different type of generic function for common lisp.
Common Lisp30other
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 Lisp33
3 years ago
CoreDataQueryInterface
A type-safe, fluent Swift library for working with Core Data
Swift36mit
2 years ago
coredatafluent-interfaceswift
OptionalExtensions
Swift µframework with extensions for the Optional Type
Swift183mit
6 years ago
functional-programmingswiftswift-extensions
punchcard
Type-safe AWS infrastructure.
TypeScript507apache-2.0
3 years ago
awsaws-cdkinfrastructure-as-code
XcodeEquatableGenerator
Xcode 8 Source Code Extension will generate conformance to Swift Equatable proto
Swift189
6 years ago
extensionswift-equatablexcode
rebed
Recreates directory and files from embedded filesystem using Go 1.16 embed.FS ty
Go29bsd-3-clause
3 years ago
embeddedembedded-filesfilesystem
SnappyTestCase
iOS Simulator type agnostic snapshot testing, built on top of the FBSnapshotTest
Swift15apache-2.0
7 years ago
FireSageJS
🔥Surgical Precision Type Safe For Realtime Database Web, Write Realtime Databas
TypeScript9mit
last year
firebasefirebase-databasefirebase-realtime-database
comeonin_ecto_password
Ecto type for saving encrypted passwords using Comeonin
Elixir35bsd-3-clause
5 years ago
comeoninectopassword-hash
MemoryCache
LRU, type-safe, thread-safe memory cache class in Swift
Swift78mit
4 years ago
carthagecocoapodsexpiration
pyspark-stubs
Apache (Py)Spark type annotations (stub files).
Python115apache-2.0
2 years ago
apache-sparkmypypep484
loading-dots
Customizable bouncing dots for smooth loading effect. Mostly used in chat bubble
Java164mit
7 years ago
realtime-currency-formatter-objc
UITextField realtime currency formatter - format while typing
Objective-C14mit
8 years ago
jupyterlab-quickopen
Quickly open a file in JupyterLab by typing part of its name
Python76bsd-3-clause
2 years ago
jupyterjupyterlabjupyterlab-extension
framer-ios-keyboard
Because sometimes we all need to simulate typing in our framer prototypes.
CoffeeScript31mit
9 years ago
sys-diver-zsh
A zsh plugin for directory change or editor startup with only key operations usi
Shell9mit
3 years ago
zshzsh-plugin
collective.fieldedit
A flexible form to edit selected fields of a content type
Python3gpl-2.0
last year
collective.mirror
A content type that mirrors the content of any other container.
Python1gpl-2.0
4 years ago
vue-typer
Vue component that simulates a user typing, selecting, and erasing text.
Vue793mit
5 years ago
componenttypewritervue
TySug
A project around helping to prevent typing typos. TySug (Typo Suggestions) sugge
Go18mit
2 years ago
algorithmcorsdocker
vue-typical
🐡 Vue Animated typing in ~400 bytes of JavaScript
TypeScript174mit
2 years ago
animatedcomponentstypical
jPanelMenu
A jQuery plugin that creates a paneled-style menu (like the type seen in the mob
JavaScript922
8 years ago
slap
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix
OCaml88lgpl-2.1
4 years ago
stateofwebtype
Up-to-date data on support for type and typographic features on the web.
JavaScript65other
7 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
Swift493mit
2 years ago
codegencommand-line-tooldata-driven
phantom
Schema safe, type-safe, reactive Scala driver for Cassandra/Datastax Enterprise
Scala1045apache-2.0
2 years ago
cassandradatastax-enterprisephantom
Overdrive
⚡️ Fast async task based Swift framework with focus on type safety, concurrency
Swift806mit
7 years ago
concurrencymulti-threadingswift
poke-types
🔥💧🍃 Pokémon types, including — their weaknesses, strengths and immunities.
JavaScript8mit
2 years ago
gamegame-freakmodule
vue-typed
Sets of ECMAScript / Typescript decorators that helps you write Vue component ea
TypeScript103mit
6 years ago
typescriptvue
typed-async-storage
Validate your AsyncStorage using PropTypes!
JavaScript8mit
last year
asyncstorageasyncstorage-wrapperproptype-validators
purescript-queue
A queue-esque data type for purescript.
PureScript3bsd-3-clause
5 years ago
asynchandlerpubsub
styled-text
Declarative text styles and streamlined Dynamic Type support for iOS
Swift235mit
2 years ago
aurelia-typescript
A starter kit for working with the Aurelia TypeScript type definitions
JavaScript144mit
9 years ago
vue-input-contenteditable
The same features you expect from `<input type="text">` but in a `contenteditabl
JavaScript19mit
2 years ago
contenteditablehtmljavascript
HAR-stacked-residual-bidir-LSTMs
Using deep stacked residual bidirectional LSTM cells (RNN) with TensorFlow, we d
Python319apache-2.0
2 years ago
bidirectional-lstm-cellshuman-activity-recognitionlstm
python-chrome-devtools-protocol
Python type wrappers for Chrome DevTools Protocol (CDP)
Python93mit
last year
tsec
Type-safe general-cryptography library - https://jmcardon.github.io/tsec/
Scala350mit
3 years ago
cryptographyfunctional-programmingjca
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
JavaScript1138mit
2 years ago
analyzerbookmarkletbrowser-extension
bacon-love
A Nodeschool type workshop for Functional Reactive Programming and Bacon.js
JavaScript48
8 years ago
Proxy
The type-safe REST library for .NET Standard 2.0 (NetCoreStack Flying Proxy)
C#42
last year
backenddotnethttp-client
AutoHotkey-Type_Checking
Type Checking for AutoHotkey
AutoHotkey8lgpl-3.0
3 years ago
ahkautohotkeytype-checking
impatient-mode
Impatient html mode. See your changes in the browser as you type
Emacs Lisp216
last year
TypedDefaults
TypedDefaults is a utility library to type-safely use NSUserDefaults.
Swift110mit
7 years ago
universal-data-tool
Collaborate & label any type of data, images, text, or documents, in an easy web
JavaScript1922mit
3 years ago
annotate-imagesannotation-toolclassification
purescript-hedwig
Hedwig is a fast, type safe, declarative PureScript library for building web app
PureScript131
4 years ago
vue-typed-js
Typed.js integration for vue.js. Create a typing animation.
JavaScript473mit
2 years ago
typedtyped-jstyping
awesome-react-native-meteor
An "awesome" type curated list of how to use React Native and Meteor together
152
8 years ago
purescript-routing
A clean, type-safe routing library for PureScript.
PureScript104apache-2.0
2 years ago
purescript-pux
Build type-safe web apps with PureScript.
PureScript566other
2 years ago
elm-architecturefrp-librarypurescript
jQuery-Slugify-Plugin
Creates a URL slug as you type a page title (like Django slugify())
HTML87bsd-2-clause
9 years ago
sqlalchemy-enum34
SQLAlchemy type to store standard enum.Enum values
Python49mit
4 years ago
databasesenumorm
sqlalchemy-utc
SQLAlchemy type to store aware datetime values
Python101mit
2 years ago
databasesdatetimeorm
cogcomp-nlp
CogComp's Natural Language Processing Libraries and Demos: Modules include lemma
Java470other
last year
big-datacogcompdata-mining
doov
dOOv (Domain Object Oriented Validation) a fluent API for type-safe bean validat
Java92apache-2.0
2 years ago
dslfluent-apijava
LSTM-Human-Activity-Recognition
Human Activity Recognition example using TensorFlow on smartphone sensors datase
Jupyter Notebook3350mit
2 years ago
activity-recognitiondeep-learninghuman-activity-recognition
cdp
Package cdp provides type-safe bindings for the Chrome DevTools Protocol (CDP),
Go719mit
2 years ago
cdpchrome-debugging-protocolchrome-devtools-protocol
new-tailwind-app
💥 One stop shop for eliminating the grunt work of setting up a Tailwind Web App
JavaScript251mit
3 years ago
basicappgatsbyjslaravel-tailwind
runcobo
An api framework with type-safe params, elegant json serializer. Thanks for enjo
Crystal50mit
3 years ago
apicrystalmicroservice
OctoLinker
Description OctoLinker reads the source code you're currently viewing straigh
HTML5263mit
last year
browser-extensiongithubgithub-extension
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans
Idris179bsd-3-clause
7 years ago
virtual-types.nvim
Neovim plugin that shows type annotations as virtual text
Lua375mit
2 years ago
nvimnvim-lspnvim-plugin
bit-smasher
Common Lisp library for handling bit vectors, bit vector arithmetic, and type co
Common Lisp53mit
2 years ago
binarybinary-arithmeticbit-vector
activerecord-pg_enum
Integrate PostgreSQL's enumerated types with the Rails enum feature
Ruby167mit
2 years ago
enumenumerated-typesmigrations
PredicateFlow
Write amazing, strong-typed and easy-to-read NSPredicate.
Swift102mit
2 years ago
autogeneratedcocoapodscode-generation
pilgrim
Dependency injection for Swift (iOS, OSX, Linux). Strongly typed, pure Swift suc
Swift63mit
2 years ago
appsquicklydependency-injectiondi
painlessjson
D library for converting any custom types to and from JSON the painless way.
D23bsl-1.0
5 years ago
array_tool
Array helpers for Rust's Vector and String types
Rust77mit
2 years ago
cratesgraphemeiterator
typex
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transit
Go196mit
last year
cliexportgo
null
Nullable Go types that can be marshalled/unmarshalled to/from JSON.
Go35mit
3 years ago
golangjsonmarshal
Strathweb.TypedRouting.AspNetCore
A library enabling strongly typed routing in ASP.NET Core MVC projects.
C#75mit
6 years ago
ptr
Contains functions for simplified creation of pointers from constants of basic t
Go27apache-2.0
last year
gogolanggolang-library
typ
Null Types, Safe primitive type conversion and fetching value from complex struc
Go46mit
3 years ago
castgogolang
monkeys
A strongly-typed genetic programming framework for Python
Python121
6 years ago
aiant-colony-optimizationframework
AnhTaggableBundle
Bundle provides integration of doctrine-extensions-taggable, adds form types for
PHP6
9 years ago
Curryfy
Provides strongly typed extensions methods for C# delegates to take advantages o
C#66apache-2.0
last year
csharpcurrycurrying
QLVideo
This package allows macOS Finder to display thumbnails, static QuickLook preview
Objective-C2508gpl-2.0
last year
WrapperValueObject
A .NET source generator for creating simple value objects wrapping primitive typ
C#51mit
2 years ago
csharpcsharp-sourcegeneratordotnet
EntityFramework.TypedOriginalValues
Get typed access to the DbEntityEntry<T>.OriginalValues property bag
C#32mit
7 years ago
SteamStandardProject
A collection of .NET Standard libraries using common types that provide function
C#3mit
7 years ago
oak
A typed parser generator embedded in Rust code for Parsing Expression Grammars
Rust141apache-2.0
4 years ago
textra
A package designed to extract and work with go structs as values. Types & Tags e
Go4bsd-3-clause
2 years ago
gogolangstruct
TagCellLayout
Made in Swift - Tag layout for UICollectionView supporting 3 types of alignments
Swift358mit
2 years ago
StructPacker
Low-level, lightweight and performance-focused serializer for C# struct types th
C#75mit
2 years ago
csharp-serializercsharp-sourcegenerator
NDScala
N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarr
Scala47agpl-3.0
2 years ago
array-programmingdottymachine-learning
prisma
An intuitive observability client for @sherlog/cli. Replay and drill down throug
Vue4mit
3 years ago
dashboardlogsvisualization
sticky-locking
A general purpose embedded hierarchical lock manager used to build highly concur
Swift2apache-2.0
6 years ago
concurrencyconditionsdatabase
Storez
💾 Safe, statically-typed, store-agnostic key-value storage written in Swift!
Swift68mit
3 years ago
cachecarthagecocoapods
queryparam
Go package to easily convert a URL's query parameters/values into usable struct
Go19mit
4 years ago
delimiteddelimited-datago
peloton
Unified Resource Scheduler to co-schedule mixed types of workloads such as batch
Go641apache-2.0
2 years ago
d-ORModel
dORModel is an ORM for Delphi, based on models and object fields. LINQ support,
Pascal14apache-2.0
9 years ago
collective.folderishtypes
Provides folderish types as a replacement for some ATContentTypes
Python2
2 years ago
derive4j
Java 8 annotation processor and framework for deriving algebraic data types cons
Java560
2 years ago
algebraalgebraic-data-typesannotation-processor
Cent
Extensions for Swift Standard Types and Classes
Swift227mit
2 years ago
dictionary-extensionsrange-extensionsswift
MAX-Toxic-Comment-Classifier
Detect 6 types of toxicity in user comments.
Python51apache-2.0
2 years ago
commentsdocker-imageibm
DefaultStringConvertible
[DEPRECATED] A default CustomStringConvertible implementation for Swift types
Swift119mit
7 years ago
wavefront_rs
An alternative, typed and simple wavefront format parser and writer.
Rust4mit
2 years ago
objparserrust