556 results for “topic:type-safety”
Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.
👷 TypeScript's largest type utility library
Make your functions return something meaningful, typed, and safe!
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.
pgTyped - Typesafe SQL in TypeScript
An advanced static type checker
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
Zero overhead utilities for preventing bugs at compile time
🏷 A wrapper type for safer, expressive code.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Validation library with type-safe schemas and rules
Automatically discover and add missing types in your TypeScript code
🎁 A compile-time guarantee that a collection contains a value.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Deprecated
A runtime type system for JavaScript with full Flow compatibility.
Data interchange with algebraic data types.
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
🌈 Type-safe navigation library for Jetpack Compose
Cone Programming Language
The full-stack form library for Remix and React Router
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.
Parse command line arguments by defining a struct
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
A type-safe Postgres query builder for TypeScript.
TopShell - a purely functional, reactive scripting language
Coercion and validation for data structures
🔩 The missing TypeScript utils
Typed struct and value objects
A modern, type-safe, header-only, C++14 wrapper for JNI