type-safety

There are 7 repositories under type-safety topic.

• ts-toolbelt

  millsp / ts-toolbelt

  👷 TypeScript's largest type utility library

  typescripttypestypescript-librarytype-checkingdynamic-typestype-utilitiestype-safetyutilitysafety
  Language:TypeScript 6434

• dry-python / returns

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

  dry-pythonfpfunctional-programminghacktoberfestmypymypy-pluginsmypy-stubspythonpython3railway-oriented-programmingtype-safety
  Language:Python 3262

• adelsz / pgtyped

  pgTyped - Typesafe SQL in TypeScript

  postgrestypescriptquerygeneratortypespostgresqlsqltype-safety
  Language:TypeScript 2798
• hegel

  JSMonk / hegel

  An advanced static type checker

  javascripttype-safetytypeinference
  Language:JavaScript 2099

• foonathan / type_safe

  Zero overhead utilities for preventing bugs at compile time

  c-plus-plustype-safety
  Language:C++ 1445

• rustedpy / result

  A simple Rust like Result type for Python 3. Fully type annotated.

  functional-programmingmypypythonpython3railway-oriented-programmingruststrongly-typedtype-safetytypechecking
  Language:Python 1333

• dry-rb / dry-validation

  Validation library with type-safe schemas and rules

  dry-rbvalidationrubydata-validationtype-safetycoercionrubygemgem
  Language:Ruby 1316

• pointfreeco / swift-tagged

  🏷 A wrapper type for safer, expressive code.

  conditional-conformanceswifttagged-typestype-safety
  Language:Swift 1297

• mockdeep / typewiz

  Automatically discover and add missing types in your TypeScript code

  automationcode-qualitytype-safetytypescript
  Language:TypeScript 1100

• coalton-lang / coalton

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  common-lispfunctional-programmingtype-safety
  Language:Common Lisp 982

• graphql-nexus / nexus-plugin-prisma

  Deprecated

  crudgraphqlnexusprismatype-safety
  Language:TypeScript 833

• pointfreeco / swift-nonempty

  🎁 A compile-time guarantee that a collection contains a value.

  collectionsconditional-conformanceswifttype-safety
  Language:Swift 831

• magmide / magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  formal-verificationformal-methodstype-safetysystems-programmingdependent-typesverificationlogiccoq
  Language:Coq 804

• gajus / flow-runtime

  A runtime type system for JavaScript with full Flow compatibility.

  babel-pluginflow-runtimeflowtypetype-safetyvalidation
  Language:JavaScript 802

• rescript-association / genType

  Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

  typesjavascriptreasonmlflowtypebucklescripttype-safetytypescript
  Language:OCaml 760

• stepchowfun / typical

  Data interchange with algebraic data types.

  serializationalgebraic-data-typesdata-interchangetypestype-safetyidlinterface-definition-languageinterface-description-language
  Language:Rust 552

• olshevski / compose-navigation-reimagined

  🌈 Type-safe navigation library for Jetpack Compose

  androidanimationscomposecompose-navigationimaginationjetpack-composekotlinlibrarylifecyclenavigationscopestransitionstype-safetyviewmodel
  Language:Kotlin 524

• jondgoodwin / cone

  Cone Programming Language

  compilerconcurrencyconememory-managementprogramming-languagesystems-languagetype-safetyweb3dwebassembly
  Language:C 502
• Graphaello

  nerdsupremacist / Graphaello

  A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

  codegencommand-line-tooldata-drivendeclarativegraphqlswiftswiftuitype-safety
  Language:Swift 494
• mammoth

  Ff00ff / mammoth

  A type-safe Postgres query builder for TypeScript.

  typescriptpostgresqlquery-buildertype-safetynodejsdeno
  Language:TypeScript 492
• topshell

  topshell-language / topshell

  TopShell - a purely functional, reactive scripting language

  functional-programmingtype-safetyreactiveprogramming-language
  Language:Scala 475

• seasonedcc / remix-forms

  The full-stack form library for Remix and React Router

  formformsreact-hook-formreact-routerreact-router-domreact-router-dom-v6react-router-v6remixremix-runzodtype-safetytypescript
  Language:TypeScript 471

• p-ranav / structopt

  Parse command line arguments by defining a struct

  argument-parsercpp17header-onlysingle-header-libheader-librarycommand-lineargumentsmit-licensemodern-cppstructoptlightweightreflectioncross-platformlibrarytype-safetytype-safeargparseclapvisit-struct-librarymagic-enum
  Language:C++ 451

• dry-rb / dry-schema

  Coercion and validation for data structures

  coerciondata-validationdata-validatordry-rbrubyruby-gemschemaschema-validationtype-safety
  Language:Ruby 408

• dry-rb / dry-struct

  Typed struct and value objects

  dry-rbdata-modelingtype-safetydatarubytypesconstraintsstructvalue-object
  Language:Ruby 403

• mapbox / jni.hpp

  A modern, type-safe, header-only, C++14 wrapper for JNI

  jnicpp14templatetype-safetywrapperbindingjavandk
  Language:C++ 395
• tsafe

  garronej / tsafe

  🔩 The missing TypeScript utils

  denohacktoberfestnodenpmtestingtype-safetytypescriptutilities
  Language:TypeScript 383

• ktsn / vuex-smart-module

  Type safe Vuex module with powerful module features

  type-safetytypescriptvuejsvuex
  Language:TypeScript 382

• japgolly / scalacss

  Super type-safe CSS for Scala and Scala.JS.

  scalacssscalajstype-safetype-safetyscalajs-reactscalatags
  Language:Scala 338

• massivemadness / Fragula

  🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android

  androidnavigationswipebackgestureswipe-to-dismissswipeablefragmentbackstackcomposecompose-navigationjetpack-composekotlinlibrarynavigation-componentnavigatortransitionstype-safety
  Language:Kotlin 323

• JohnSundell / Identity

  🆔 Type-safe identifiers in Swift

  swifttype-safetyidentifiers
  Language:Swift 299

• paholg / dimensioned

  Compile-time dimensional analysis for various unit systems using Rust's type system.

  conversiondimensional-analysisdimensionsrusttype-safetyunits
  Language:Rust 296

• sindresorhus / Percentage

  A percentage type for Swift

  percentagepercenttypetype-safetynumberswift-package
  Language:Swift 269

• scalarhq / nominal

  🔒 The new way to do types in typescript.

  type-safetytypestypescript
  Language:TypeScript 260

• BOT-Man-JL / ORM-Lite

  Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)

  compile-timeheader-onlymetaprogrammingmodern-cppormormlitestrong-typedtemplatetype-safety
  Language:C++ 221

• krzkaczor / TypeStrict

  ESLint config focused on maximizing type safety 💪

  tslinttype-safetytypescript
  Language:JavaScript 221