Awesome Open Source

Programming Languages

Search results for type safety

314 search results found

Ts Toolbelt ⭐ 6,011

👷 TypeScript's largest type utility library

Slonik ⭐ 4,154

A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.

Returns ⭐ 3,083

Make your functions return something meaningful, typed, and safe!

Pgtyped ⭐ 2,700

pgTyped - Typesafe SQL in TypeScript

Hegel ⭐ 2,087

An advanced static type checker

Type safe SQL builder with code generation and automatic query result data mapping

Undux ⭐ 1,491

⚡️ Dead simple state for React. Now with Hooks support.

Purify ⭐ 1,462

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

Type_safe ⭐ 1,399

Zero overhead utilities for preventing bugs at compile time

Dry Validation ⭐ 1,294

Validation library with type-safe schemas and rules

Result ⭐ 1,198

A simple Rust like Result type for Python 3. Fully type annotated.

Swift Tagged ⭐ 1,181

🏷 A wrapper type for safer, expressive code.

Typewiz ⭐ 1,100

Automatically discover and add missing types in your TypeScript code

Chimney ⭐ 1,069

Scala library for boilerplate-free, type-safe data transformations

Nutype ⭐ 1,065

Rust newtype with guarantees 🇺🇦 🦀

Coalton ⭐ 918

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Nexus Plugin Prisma ⭐ 833

Flow Runtime ⭐ 802

A runtime type system for JavaScript with full Flow compatibility.

Magmide ⭐ 778

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Gentype ⭐ 758

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

Swift Nonempty ⭐ 758

🎁 A compile-time guarantee that a collection contains a value.

Classes ⭐ 575

Smart, pythonic, ad-hoc, typed polymorphism for Python

Typical ⭐ 548

Data interchange with algebraic data types.

Mammoth ⭐ 487

A type-safe Postgres query builder for TypeScript.

Compose Navigation Reimagined ⭐ 478

🌈 Type-safe navigation library for Jetpack Compose

A header only C++ library that provides type safety and user defined literals for physical units

Graphaello ⭐ 455

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

Cone Programming Language

Remix Forms ⭐ 449

The full-stack form library for Remix and React Router

Topshell ⭐ 444

TopShell - a purely functional, reactive scripting language

💧EventEmitter's typesafe replacement

Implementation-first Typescript GraphQL Server without codegen or metaprogramming

Tinyformat ⭐ 414

Minimal, type safe printf replacement library for C++

Structopt ⭐ 403

Parse command line arguments by defining a struct

Dry Schema ⭐ 397

Coercion and validation for data structures

Dry Struct ⭐ 394

Typed struct and value objects

Vuex Smart Module ⭐ 387

Type safe Vuex module with powerful module features

🔩 The missing TypeScript utils

Formstate ⭐ 370

❤️ Form state so simple that you will fall in love 🌹

Scalacss ⭐ 333

Super type-safe CSS for Scala and Scala.JS.

Fragula ⭐ 312

🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android

Jni.hpp ⭐ 272

A modern, type-safe, header-only, C++14 wrapper for JNI

Identity ⭐ 264

🆔 Type-safe identifiers in Swift

Dimensioned ⭐ 260

Compile-time dimensional analysis for various unit systems using Rust's type system.

Prisma Relay Cursor Connection ⭐ 259

Extend Prisma's `findMany` method to support Relay Cursor Connections.

Nominal ⭐ 256

🔒 The new way to do types in typescript.

Percentage ⭐ 253

A percentage type for Swift

Nextjs Ts ⭐ 251

Opinionated Next JS project boilerplate with TypeScript and Redux

Xstate Codegen ⭐ 244

A codegen tool for 100% TS type-safety in XState

Zio Sql ⭐ 228

Type-safe, composable SQL for ZIO applications

Flowkit ⭐ 219

A declarative type-safe framework for building fast and flexible list with Tables & Collection

Typestrict ⭐ 217

ESLint config focused on maximizing type safety 💪

Domino Ui ⭐ 202

Activejs ⭐ 194

Pragmatic, Reactive State Management for JavaScript Apps

Libretto ⭐ 188

Declarative concurrency and stream processing library for Scala

Java.interop ⭐ 178

Java.Interop provides open-source bindings of Java's Java Native Interface (JNI) for use with .NET managed languages such as C#

Typical ⭐ 175

Typical: Fast, simple, & correct data-validation using Python 3 typing.

Laravel Typescript Transformer ⭐ 173

Transform PHP types to Typescript

Squid – type-safe metaprogramming and compilation framework for Scala

Persimmon ⭐ 168

A visual dataflow programming language for sklearn

Nest Typed Config ⭐ 164

Intuitive, type-safe configuration module for Nest framework ✨

Java annotation processor for auto-generating Builder (including Type-Safe Builder) classes

Prop Types Ts ⭐ 148

Alternative syntax for prop types providing both static and runtime type safety, powered by io-ts

Orm Lite ⭐ 148

Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)

Cheatsheets for experienced Vue developers getting started with TypeScript

Generic Json Swift ⭐ 142

A simple Swift library for working with generic JSON structures

Functional, composable, asynchronous, type-safe Python.

Typecov ⭐ 142

Track missing type coverage to ensure type safety

Vue Literal Compiler ⭐ 140

A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm

Quantities ⭐ 140

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Coulomb ⭐ 139

coulomb: unit analysis for Scala

Purescript Spec ⭐ 135

Testing framework for Purescript

Navigation Component for Jetpack Compose with support for screens, dialogs, bottomsheets, transitions and multi module projects

Babel Plugin Runtyper ⭐ 117

⚡️ Runtime type-checker for JavaScript

Distributed runtime for JavaScript and TypeScript

Angular2 Redux Store ⭐ 110

A minimalistic Redux store for Angular 2

Mutagen ⭐ 102

A .NET library for analyzing, creating, and manipulating Bethesda mods

Undictify ⭐ 99

Python library providing type-checked function calls at runtime

Vuex Type Helper ⭐ 98

Type level helper to ensure type safety in Vuex

Unchained ⭐ 96

A fully type safe, compile time only units library.

Type-safe functional tools for Python.

Soltsice ⭐ 95

Solidity & TypeScript Integration, Configuration and Examples

Typesafe Routes ⭐ 93

Spices up your favorite routing library by adding type safety to plain string-based route definitions.

Pytest Annotate ⭐ 93

Generate PyAnnotate annotations from your pytest tests.

Strict Variant ⭐ 90

A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions

Universal Utility-first UI Library

A web framework for portlet and portal

🏷 Type-safe tags in Swift

Eslint Plugin Total Functions ⭐ 86

An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.

Elmish type-safe state and side effect manager using RxJS

Swiftyping ⭐ 84

ICMP ping client for Swift 5

Gotoprom ⭐ 80

Type-safe Prometheus metrics builder library for golang

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Ts Force ⭐ 79

A Salesforce REST Client written in Typescript for Typescript

🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir

Pinfuture ⭐ 77

An Objective-C future implementation that aims to provide maximal type safety

A C++11 library for Unicode

🐍 The Mamba programming language, because we care about safety

Awesome Kysely ⭐ 76

A curated list of Kysely resources, tools, utilities and applications.

Io Ts Reporters ⭐ 74

Error reporters for io-ts

1-100 of 314 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.