Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Safety Open Source Projects

Open source projects categorized as Type Safety
Categories > Compilers > Type Safety
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 766total releases 928most recent commit 9 months agonpm ts-toolbelt} Downloads
Slonik ⭐ 4,074
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 81total releases 316most recent commit 2 days agonpm slonik} Downloads
Returns ⭐ 2,903
Make your functions return something meaningful, typed, and safe!
dependent packages 56total releases 22most recent commit 6 days agopypi returns} Downloads
Pgtyped ⭐ 2,577
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 32most recent commit 15 hours agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,084
An advanced static type checker
dependent packages 4total releases 42most recent commit 4 days agonpm @hegel/cli} Downloads
Jet ⭐ 1,544
Type safe SQL builder with code generation and automatic query result data mapping
dependent packages 5total releases 32most recent commit 11 days ago
Undux ⭐ 1,490
⚡️ Dead simple state for React. Now with Hooks support.
dependent packages 6total releases 63most recent commit 10 months agonpm undux} Downloads
Purify ⭐ 1,410
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40most recent commit 7 days agonpm purify-ts} Downloads
Type_safe ⭐ 1,314
Zero overhead utilities for preventing bugs at compile time
most recent commit 2 months ago
Dry Validation ⭐ 1,290
Validation library with type-safe schemas and rules
dependent packages 160total releases 69most recent commit a month agorubygems dry-validation} Downloads
Swift Tagged ⭐ 1,181
🏷 A wrapper type for safer, expressive code.
total releases 4most recent commit 3 months ago
Typewiz ⭐ 1,096
Automatically discover and add missing types in your TypeScript code
dependent packages 8total releases 14most recent commit 2 years agonpm typewiz-core} Downloads
Chimney ⭐ 1,037
Scala library for boilerplate-free, type-safe data transformations
dependent packages 37total releases 22most recent commit a day ago
Coalton ⭐ 848
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
most recent commit 4 days ago
Nexus Plugin Prisma ⭐ 835
Deprecated
most recent commit a month ago
Nutype ⭐ 817
Rust newtype with guarantees 🇺🇦 🦀
most recent commit a month ago
Flow Runtime ⭐ 807
A runtime type system for JavaScript with full Flow compatibility.
dependent packages 297total releases 28most recent commit 10 months agonpm flow-runtime} Downloads
Magmide ⭐ 776
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit 5 days ago
Swift Nonempty ⭐ 758
🎁 A compile-time guarantee that a collection contains a value.
total releases 5most recent commit 7 months ago
Gentype ⭐ 756
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
dependent packages 31total releases 133most recent commit 6 months agonpm gentype} Downloads
Squeryl ⭐ 583
A Scala DSL for talking with databases with minimum verbosity and maximum type safety
dependent packages 6total releases 15most recent commit 5 days ago
Classes ⭐ 575
Smart, pythonic, ad-hoc, typed polymorphism for Python
most recent commit 5 months ago
Typical ⭐ 517
Data interchange with algebraic data types.
total releases 32most recent commit a month ago
The 10 Most Depended On Type Safety Open Source Projects
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 766total releases 928latest release March 10, 2021most recent commit 9 months agonpm ts-toolbelt} Downloads
Flow Runtime ⭐ 807
A runtime type system for JavaScript with full Flow compatibility.
dependent packages 297total releases 28latest release February 08, 2018most recent commit 10 months agonpm flow-runtime} Downloads
Dry Struct ⭐ 379
Typed struct and value objects
dependent packages 208total releases 22latest release November 04, 2022most recent commit a month agorubygems dry-struct} Downloads
Typestrict ⭐ 217
ESLint config focused on maximizing type safety 💪
dependent packages 164total releases 12latest release September 29, 2019most recent commit a year agonpm typestrict} Downloads
Dry Validation ⭐ 1,290
Validation library with type-safe schemas and rules
dependent packages 160total releases 69latest release November 04, 2022most recent commit a month agorubygems dry-validation} Downloads
Evt ⭐ 430
💧EventEmitter's typesafe replacement
dependent packages 91total releases 164latest release October 23, 2022most recent commit 15 days agonpm evt} Downloads
Slonik ⭐ 4,074
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 81total releases 316latest release August 09, 2023most recent commit 2 days agonpm slonik} Downloads
Io Ts Reporters ⭐ 74
Error reporters for io-ts
dependent packages 60total releases 28latest release February 07, 2022most recent commit 2 years agonpm io-ts-reporters} Downloads
Returns ⭐ 2,903
Make your functions return something meaningful, typed, and safe!
dependent packages 56total releases 22latest release March 13, 2022most recent commit 6 days agopypi returns} Downloads
Purify ⭐ 1,410
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40latest release June 05, 2023most recent commit 7 days agonpm purify-ts} Downloads
The 10 Latest Releases In Type Safety Open Source Projects
Chimney ⭐ 1,037
Scala library for boilerplate-free, type-safe data transformations
dependent packages 37total releases 22latest release September 15, 2023most recent commit a day ago
Slonik ⭐ 4,074
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 81total releases 316latest release August 09, 2023most recent commit 2 days agonpm slonik} Downloads
Jet ⭐ 1,544
Type safe SQL builder with code generation and automatic query result data mapping
dependent packages 5total releases 32latest release July 24, 2023most recent commit 11 days ago
Purify ⭐ 1,410
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40latest release June 05, 2023most recent commit 7 days agonpm purify-ts} Downloads
Typesafe Routes ⭐ 92
Spices up your favorite routing library by adding type safety to plain string-based route definitions.
dependent packages 4total releases 21latest release May 21, 2023most recent commit 2 months agonpm typesafe-routes} Downloads
Pgtyped ⭐ 2,577
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 32latest release April 30, 2023most recent commit 15 hours agonpm @pgtyped/wire} Downloads
Domino Ui ⭐ 195
Domino-ui
total releases 16latest release January 28, 2023most recent commit 20 days ago
Zio Sql ⭐ 225
Type-safe, composable SQL for ZIO applications
total releases 4latest release December 08, 2022most recent commit 2 months ago
Tsafe ⭐ 355
🔩 The missing TypeScript utils
dependent packages 35total releases 53latest release November 29, 2022most recent commit 15 days agonpm tsafe} Downloads
Dry Struct ⭐ 379
Typed struct and value objects
dependent packages 208total releases 22latest release November 04, 2022most recent commit a month agorubygems dry-struct} Downloads
Popular Compilers Categories
Gcc
Abstract Syntax Tree
Llvm
Clang
Lexer
Wsl
Emscripten
Ghc
Tokenizer
Linker
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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