type-safety

There are 8 repositories under type-safety topic.

ts-toolbelt
millsp / ts-toolbelt
👷 TypeScript's largest type utility library
dynamic-types safety type-checking type-safety type-utilities types typescript typescript-library utility
Language:TypeScript 6481
dry-python / returns
Make your functions return something meaningful, typed, and safe!
python python3 functional-programming fp type-safety mypy railway-oriented-programming dry-python mypy-plugins mypy-stubs hacktoberfest
Language:Python 3303
adelsz / pgtyped
pgTyped - Typesafe SQL in TypeScript
generator postgres postgresql query sql type-safety types typescript
Language:TypeScript 2817
hegel
JSMonk / hegel
An advanced static type checker
javascript type-safety typeinference
Language:JavaScript 2100
foonathan / type_safe
Zero overhead utilities for preventing bugs at compile time
c-plus-plus type-safety
Language:C++ 1474
rustedpy / result
A simple Rust like Result type for Python 3. Fully type annotated.
functional-programming mypy python python3 railway-oriented-programming rust strongly-typed type-safety typechecking
Language:Python 1375
dry-rb / dry-validation
Validation library with type-safe schemas and rules
coercion data-validation dry-rb gem ruby rubygem type-safety validation
Language:Ruby 1317
pointfreeco / swift-tagged
🏷 A wrapper type for safer, expressive code.
conditional-conformance swift tagged-types type-safety
Language:Swift 1306
mockdeep / typewiz
Automatically discover and add missing types in your TypeScript code
typescript automation code-quality type-safety
Language:TypeScript 1100
coalton-lang / coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
common-lisp functional-programming type-safety
Language:Common Lisp 1017
graphql-nexus / nexus-plugin-prisma
Deprecated
nexus graphql prisma type-safety crud
Language:TypeScript 833
pointfreeco / swift-nonempty
🎁 A compile-time guarantee that a collection contains a value.
swift type-safety conditional-conformance collections
Language:Swift 832
magmide / magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
formal-verification formal-methods type-safety systems-programming dependent-types verification logic coq
Language:Coq 806
gajus / flow-runtime
A runtime type system for JavaScript with full Flow compatibility.
babel-plugin flow-runtime flowtype type-safety validation
Language:JavaScript 802
rescript-association / genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
types javascript reasonml flowtype bucklescript type-safety typescript
Language:OCaml 760
stepchowfun / typical
Data interchange with algebraic data types.
algebraic-data-types data-interchange idl interface-definition-language interface-description-language serialization type-safety types
Language:Rust 551
olshevski / compose-navigation-reimagined
🌈 Type-safe navigation library for Jetpack Compose
android kotlin jetpack-compose navigation type-safety compose library transitions compose-navigation scopes lifecycle viewmodel animations imagination
Language:Kotlin 524
jondgoodwin / cone
Cone Programming Language
cone programming-language compiler web3d webassembly memory-management concurrency type-safety systems-language
Language:C 507
Graphaello
nerdsupremacist / Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
swiftui graphql command-line-tool type-safety codegen swift declarative data-driven
Language:Swift 494
mammoth
Ff00ff / mammoth
A type-safe Postgres query builder for TypeScript.
deno nodejs postgresql query-builder type-safety typescript
Language:TypeScript 492
topshell
topshell-language / topshell
TopShell - a purely functional, reactive scripting language
functional-programming programming-language reactive type-safety
Language:Scala 478
seasonedcc / remix-forms
The full-stack form library for Remix and React Router
form forms react-hook-form react-router react-router-dom react-router-dom-v6 react-router-v6 remix remix-run zod type-safety typescript
Language:TypeScript 476
p-ranav / structopt
Parse command line arguments by defining a struct
argument-parser cpp17 header-only single-header-lib header-library command-line arguments mit-license modern-cpp structopt lightweight reflection cross-platform library type-safety type-safe argparse clap visit-struct-library magic-enum
Language:C++ 449
dry-rb / dry-schema
Coercion and validation for data structures
dry-rb data-validation data-validator schema schema-validation coercion type-safety ruby ruby-gem
Language:Ruby 409
dry-rb / dry-struct
Typed struct and value objects
constraints data data-modeling dry-rb ruby struct type-safety types value-object
Language:Ruby 403
mapbox / jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
jni cpp14 template type-safety wrapper binding java ndk
Language:C++ 398
tsafe
garronej / tsafe
🔩 The missing TypeScript utils
deno hacktoberfest node npm testing type-safety typescript utilities
Language:TypeScript 389
ktsn / vuex-smart-module
Type safe Vuex module with powerful module features
type-safety typescript vuejs vuex
Language:TypeScript 382
japgolly / scalacss
Super type-safe CSS for Scala and Scala.JS.
scala css scalajs type-safe type-safety scalajs-react scalatags
Language:Scala 338
massivemadness / Fragula
🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android
android navigation swipeback gesture swipe-to-dismiss swipeable fragment backstack compose compose-navigation jetpack-compose kotlin library navigation-component navigator transitions type-safety
Language:Kotlin 323
JohnSundell / Identity
🆔 Type-safe identifiers in Swift
identifiers swift type-safety
Language:Swift 299
paholg / dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
conversion dimensional-analysis dimensions rust type-safety units
Language:Rust 296
sindresorhus / Percentage
A percentage type for Swift
percentage percent type type-safety number swift-package
Language:Swift 268
scalarhq / nominal
🔒 The new way to do types in typescript.
type-safety types typescript
Language:TypeScript 261
BOT-Man-JL / ORM-Lite
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
modern-cpp orm ormlite header-only type-safety strong-typed metaprogramming template compile-time
Language:C++ 222
krzkaczor / TypeStrict
ESLint config focused on maximizing type safety 💪
tslint type-safety typescript
Language:JavaScript 221