#Type-safety
Showing 26 of 26 repositories tagged #type-safety, ranked by stars
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!
pgTyped - Typesafe SQL in TypeScript
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
🏷 A wrapper type for safer, expressive code.
Automatically discover and add missing types in your TypeScript code
🎁 A compile-time guarantee that a collection contains a value.
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
Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics
Full-stack forms for React Router
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
✅ A curated collection of practical TypeScript patterns that improve safety, readability, maintainability, and developer experience. 🧠
Composable building blocks for full-stack AWS apps — define infrastructure and runtime code together with end-to-end type safety using TypeScript, local mocking, and native client codegen for Kotlin, Swift, and Dart.
🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android
Ultra-strict Python project template using uv, ruff, and basedpyright, inspired by TypeScript’s --strict mode.
Born is a modern ML framework for Go — train and deploy models as single binaries. Pure Go, zero CGO, GPU accelerated.
Type-safe functional tools for Python.
Python library providing type-checked function calls at runtime
🏷 Type-safe tags in Swift
Golang library for end-to-end Go-Typescript type safety.
Type-safe thread-local storage in Swift
Bring type-safety to your GitHub actions' API!
Type-safe AI agents for Go. Suricata combines LLM intelligence with Go’s strong typing, declarative YAML specs, and code generation to build safe, maintainable, and production-ready AI agents.