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
copygen
Go generator to copy values from type to type and fields from struct to struct (
Go337gpl-3.0
8 months ago
code-generationcode-generatorcopy
graphql-to-type
(almost) Fully functional GraphQL request parser written completely using TypeSc
TypeScript6mit
10 months ago
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
cl-algebraic-data-type
Algebraic data types in Common Lisp
Common Lisp136bsd-3-clause
3 months ago
algebraic-data-typescommon-lispfunctional-programming
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
polymorphic-functions
A function type to dispatch on types instead of classes with partial support for
Common Lisp51
8 months ago
common-lispgenericslisp
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
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
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
5 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
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
vue-ts-types
Lightweight TypeScript-first Vue prop type definitions
TypeScript8mit
2 months ago
hacktoberfestprop-typesprops
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
yesterday
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
typing-label
A libGDX Label that appears as if it was being typed in real time.
Java152mit
6 months ago
libgdxscene2d
celery-types
:seedling: Type stubs for Celery and its related packages
Python73apache-2.0
6 months ago
amqpbilliardcelery
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
laravel-love
Add Social Reactions to Laravel Eloquent Models. It lets people express how they
PHP1166mit
8 months ago
adorecogelection
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
24 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
scale-decode
Decode SCALE bytes into custom types using a scale-info type registry and a cust
Rust7apache-2.0
6 days 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
action-golangci-lint
Run golangci-lint with reviewdog
TypeScript217mit
20 days ago
golangci-lintreviewdog
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
SwiftyKeychainKit
Modern Swift wrapper for Keychain Services API with the benefits of static typin
Swift24mit
2 months ago
keychainswift
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
popman
Simple zsh-plugin that let's you browse man-pages of commands you're currently t
Shell3mit
20 days ago
StrongGrid
Strongly typed library for the entire SendGrid v3 API, including webhooks
C#178
4 months ago
emailsendgridsendgrid-api
Shark
Swift CLI for strong-typing images, colors, storyboards, fonts and localizations
Swift381mit
13 days ago
jc
CLI tool and python library that converts the output of popular command-line too
Python7901mit
last month
bashbash-scriptingcli
plf_indiesort
A sort wrapper enabling both use of random-access sorting on non-random access c
C++19zlib
7 months ago
sortsorting
irregular-expressions
Android virtual keyboard for expressive typing
Kotlin133mit
22 days ago
androidimetyping
DefaultsKit
Simple, Strongly Typed UserDefaults for iOS, macOS and tvOS
Swift1432mit
3 days ago
iosmacosswift
cpp-dump
A C++ library for debugging purposes that can print any variable, even user-defi
C++296mit
last month
competitive-programmingcppdebugging
typex
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transit
Go196mit
last year
cliexportgo
TheAnimation
Type-safe CAAnimation wrapper. It makes preventing to set wrong type values.
Swift223mit
5 years ago
animationcarthagecocoapods
wp-graphql-custom-post-type-ui
Adds Settings to the Custom Post Type UI plugin to show Post Types in WPGraphQL
PHP82
4 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
phpdoc-to-typehint
Add scalar type hints and return types to existing PHP projects using PHPDoc ann
PHP226mit
4 years ago
coding-standardscsphp
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
typ
Null Types, Safe primitive type conversion and fetching value from complex struc
Go46mit
3 years ago
castgogolang
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
NDScala
N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarr
Scala47agpl-3.0
2 years ago
array-programmingdottymachine-learning
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
sticky-locking
A general purpose embedded hierarchical lock manager used to build highly concur
Swift2apache-2.0
6 years ago
concurrencyconditionsdatabase
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
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
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
graphql-java-type-generator
This library will autogenerate GraphQL types for usage in com.graphql-java:graph
Java36mit
6 years ago
poke-types
🔥💧🍃 Pokémon types, including — their weaknesses, strengths and immunities.
JavaScript8mit
2 years ago
gamegame-freakmodule
vue-typed-js
Typed.js integration for vue.js. Create a typing animation.
JavaScript473mit
2 years ago
typedtyped-jstyping
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
virtual-types.nvim
Neovim plugin that shows type annotations as virtual text
Lua375mit
2 years ago
nvimnvim-lspnvim-plugin
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
react-native-auto-typing-text
Auto typing text component for react-native
JavaScript69mit
7 years ago
react-native
set
Package set is a small wrapper around the official reflect package that facilita
Go46mit
2 years ago
gogolangreflection
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
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
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
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
array_tool
Array helpers for Rust's Vector and String types
Rust77mit
2 years ago
cratesgraphemeiterator
null
Nullable Go types that can be marshalled/unmarshalled to/from JSON.
Go35mit
3 years ago
golangjsonmarshal
AutocompleteField
Subclass of UITextField that shows inline suggestions while typing.
Swift665mit
4 years ago
autocompleteinputsuggestions
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
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
prisma
An intuitive observability client for @sherlog/cli. Replay and drill down throug
Vue4mit
3 years ago
dashboardlogsvisualization
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
bd
Quickly go back to a parent directory in linux instead of typing "cd ../../.." r
Shell922mit
2 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
flagvar
A collection of CLI argument types for the Go `flag` package.
Go43unlicense
2 years ago
argument-parserclienum
ARAutocompleteTextView
ARAutocompleteTextView is a subclass of UITextView that automatically displays t
Objective-C263mit
5 years ago
max31856
MicroPython Library for new MAX31856 (Precision Thermocouple to Digital Converte
Python1mit
8 years ago
vue-cast-props
The cast property on your component provides a convenient way of converting prop
JavaScript5mit
7 years ago
errors
A drop-in replacement for Go errors, with some added sugar! Unwrap user-friendly
Go62mit
last year
error-handlingerrorsgo
collective.dexteritytextindexer
Dynamic SearchableText index for dexterity content types
Python9
2 years ago