#type-safety (29 Repositories)
Ranked open-source repositories tagged with #type-safety, scored by pull request acceptance likelihood and maintainer engagement velocity.
18.2%
26.7h
29 repositories tagged #type-safety
47ng/nuqs
Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
skinny85/jilt
Java annotation processor library for auto-generating Builder (including Staged Builder) pattern classes
dry-python/returns
Make your functions return something meaningful, typed, and safe!
stepchowfun/typical
Data interchange with algebraic data types.
onflow/cadence
Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics
dry-rb/dry-struct
Typed struct and value objects
erikerlandson/coulomb
coulomb: unit analysis for Scala
gajus/flow-runtime
A runtime type system for JavaScript with full Flow compatibility.
eoin-obrien/prisma-extension-kysely
Drop down to raw SQL in Prisma without sacrificing type safety!
Ff00ff/mammoth
A type-safe Postgres query builder for TypeScript.
garronej/tsafe
🔩 The missing TypeScript utils
sindresorhus/Percentage
A percentage type for Swift
nerdsupremacist/Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
topshell-language/topshell
TopShell - a purely functional, reactive scripting language
JohnSundell/Identity
🆔 Type-safe identifiers in Swift
paholg/dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
rescript-association/genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
pointfreeco/swift-nonempty
🎁 A compile-time guarantee that a collection contains a value.
pointfreeco/swift-tagged
🏷 A wrapper type for safer, expressive code.
dry-rb/dry-schema
Coercion and validation for data structures
japgolly/scalacss
Super type-safe CSS for Scala and Scala.JS.
epfldata/squid
Squid – type-safe metaprogramming and compilation framework for Scala
dry-rb/dry-validation
Validation library with type-safe schemas and rules
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.
graphql-nexus/nexus-plugin-prisma
Deprecated
olshevski/compose-navigation-reimagined
🌈 Type-safe navigation library for Jetpack Compose
foonathan/type_safe
Zero overhead utilities for preventing bugs at compile time