type-safety
There are 335 repositories under type-safety topic.
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
dry-python/returns
Make your functions return something meaningful, typed, and safe!
checkedc/checkedc
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
adelsz/pgtyped
pgTyped - Typesafe SQL in TypeScript
JSMonk/hegel
An advanced static type checker
rustedpy/result
A simple Rust like Result type for Python 3. Fully type annotated.
foonathan/type_safe
Zero overhead utilities for preventing bugs at compile time
pointfreeco/swift-tagged
🏷 A wrapper type for safer, expressive code.
dry-rb/dry-validation
Validation library with type-safe schemas and rules
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
mockdeep/typewiz
Automatically discover and add missing types in your TypeScript code
pointfreeco/swift-nonempty
🎁 A compile-time guarantee that a collection contains a value.
graphql-nexus/nexus-plugin-prisma
Deprecated
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
gajus/flow-runtime
A runtime type system for JavaScript with full Flow compatibility.
rescript-association/genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
stepchowfun/typical
Data interchange with algebraic data types.
olshevski/compose-navigation-reimagined
🌈 Type-safe navigation library for Jetpack Compose
jondgoodwin/cone
Cone Programming Language
checkedc/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
seasonedcc/remix-forms
The full-stack form library for Remix and React Router
nerdsupremacist/Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Ff00ff/mammoth
A type-safe Postgres query builder for TypeScript.
topshell-language/topshell
TopShell - a purely functional, reactive scripting language
p-ranav/structopt
Parse command line arguments by defining a struct
garronej/tsafe
🔩 The missing TypeScript utils
dry-rb/dry-schema
Coercion and validation for data structures
dry-rb/dry-struct
Typed struct and value objects
mapbox/jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
ktsn/vuex-smart-module
Type safe Vuex module with powerful module features
japgolly/scalacss
Super type-safe CSS for Scala and Scala.JS.
massivemadness/Fragula
🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android
JohnSundell/Identity
🆔 Type-safe identifiers in Swift
paholg/dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
sindresorhus/Percentage
A percentage type for Swift
scalarhq/nominal
🔒 The new way to do types in typescript.