Awesome Open Source
Awesome Open Source
Combined Topics
type-safety x

The Top 498 Type Safety Open Source Projects

Categories > Compilers > Type Safety
Ts Toolbelt ⭐ 3,183
👷 TypeScript's largest type utility library
dependent packages 202total releases 928most recent commit 4 months agonpm ts-toolbelt} Downloads
Slonik ⭐ 3,019
A PostgreSQL client with strict types, detailed logging and assertions.
dependent packages 39total releases 266most recent commit 2 months agonpm slonik} Downloads
Returns ⭐ 2,220
Make your functions return something meaningful, typed, and safe!
total releases 4most recent commit a day ago
Hegel ⭐ 1,865
An advanced static type checker
dependent packages 2total releases 42most recent commit 2 months agonpm @hegel/cli} Downloads
Plot ⭐ 1,771
A DSL for writing type-safe HTML, XML and RSS in Swift.
most recent commit a month ago
Undux ⭐ 1,485
⚡️ Dead simple state for React. Now with Hooks support.
dependent packages 5total releases 63most recent commit 9 months agonpm undux} Downloads
Dry Validation ⭐ 1,190
Validation library with type-safe schemas and rules
dependent packages 142total releases 66most recent commit 10 days agorubygems dry-validation} Downloads
Purify ⭐ 1,140
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 35total releases 27most recent commit 3 days agonpm purify-ts} Downloads
Typewiz ⭐ 1,078
Automatically discover and add missing types in your TypeScript code
dependent packages 7total releases 14most recent commit 8 months agonpm typewiz-core} Downloads
Type_safe ⭐ 1,043
Zero overhead utilities for preventing bugs at compile time
most recent commit 18 days ago
Swift Tagged ⭐ 950
🏷 A wrapper type for safer, expressive code.
total releases 4most recent commit 3 months ago
Nexus Plugin Prisma ⭐ 840
Deprecated
most recent commit 2 months ago
Chimney ⭐ 836
Scala library for boilerplate-free, type-safe data transformations
dependent packages 4total releases 28most recent commit 3 months ago
Flow Runtime ⭐ 812
A runtime type system for JavaScript with full Flow compatibility.
dependent packages 297total releases 28most recent commit a year agonpm flow-runtime} Downloads
Gentype ⭐ 727
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
dependent packages 30total releases 131most recent commit 3 months agonpm gentype} Downloads
Jet ⭐ 706
Type safe SQL builder with code generation and automatic query result data mapping
dependent packages 4total releases 28most recent commit 3 days ago
Swift Nonempty ⭐ 688
🎁 A compile-time guarantee that a collection contains a value.
total releases 5most recent commit 2 months ago
Squeryl ⭐ 572
A Scala DSL for talking with databases with minimum verbosity and maximum type safety
dependent packages 6total releases 15most recent commit 16 days ago
Classes ⭐ 486
Smart, pythonic, ad-hoc, typed polymorphism for Python
most recent commit 2 days ago
Topshell ⭐ 444
TopShell - a purely functional, reactive scripting language
most recent commit 9 months ago
Coalton ⭐ 437
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
most recent commit a day ago
Mammoth ⭐ 437
A type-safe Postgres query builder for TypeScript.
most recent commit 2 months ago
Tinyformat ⭐ 414
Minimal, type safe printf replacement library for C++
most recent commit 2 years ago
Graphaello ⭐ 413
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
most recent commit 5 months ago
Cone ⭐ 411
Cone Programming Language
most recent commit 13 days ago
Structopt ⭐ 382
Parse command line arguments by defining a struct
most recent commit a month ago
Vuex Smart Module ⭐ 375
Type safe Vuex module with powerful module features
dependent packages 3total releases 25most recent commit 5 months agonpm vuex-smart-module} Downloads
Si ⭐ 364
A header only C++ library that provides type safety and user defined literals for physical units
most recent commit 14 days ago
Evt ⭐ 359
💧EventEmitter's typesafe replacement
dependent packages 59total releases 136most recent commit 7 days agonpm evt} Downloads
Formstate ⭐ 355
❤️ Form state so simple that you will fall in love 🌹
dependent packages 18total releases 37most recent commit 2 years agonpm formstate} Downloads
Gqtx ⭐ 332
Code-first type-safe GraphQL Server without codegen or metaprogramming
total releases 53most recent commit 2 months ago
Scalacss ⭐ 316
Super type-safe CSS for Scala and Scala.JS.
dependent packages 20total releases 10most recent commit 3 months ago
Dry Schema ⭐ 313
Coercion and validation for data structures
dependent packages 30total releases 38most recent commit a month agorubygems dry-schema} Downloads
Dry Struct ⭐ 311
Typed struct and value objects
dependent packages 170total releases 18most recent commit a month agorubygems dry-struct} Downloads
Magmide ⭐ 303
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit a month ago
Jni.hpp ⭐ 272
A modern, type-safe, header-only, C++14 wrapper for JNI
most recent commit 2 years ago
Identity ⭐ 264
🆔 Type-safe identifiers in Swift
most recent commit 2 years ago
Dimensioned ⭐ 248
Compile-time dimensional analysis for various unit systems using Rust's type system.
dependent packages 16total releases 27most recent commit 22 days agocargo dimensioned} Downloads
Xstate Codegen ⭐ 230
A codegen tool for 100% TS type-safety in XState
total releases 23most recent commit 4 months ago
Percentage ⭐ 227
A percentage type for Swift
most recent commit a year ago
Flowkit ⭐ 219
A declarative type-safe framework for building fast and flexible list with Tables & Collection
total releases 9most recent commit 3 years ago
Typestrict ⭐ 215
ESLint config focused on maximizing type safety 💪
dependent packages 164total releases 12most recent commit 5 days agonpm typestrict} Downloads
Nextjs Ts ⭐ 205
Opinionated Next JS 12 project boilerplate with TypeScript and Redux
most recent commit 2 months ago
Activejs ⭐ 194
Pragmatic, Reactive State Management for JavaScript Apps
total releases 5most recent commit 2 years ago
Squid ⭐ 171
Squid – type-safe metaprogramming and compilation framework for Scala
most recent commit a year ago
Domino Ui ⭐ 169
Domino-ui
total releases 12most recent commit 15 days ago
Prisma Relay Cursor Connection ⭐ 169
Extend Prisma's `findMany` method to support Relay Cursor Connections
dependent packages 1total releases 12most recent commit 4 days agonpm @devoxa/prisma-relay-cursor-connection} Downloads
Persimmon ⭐ 168
A visual dataflow programming language for sklearn
total releases 5most recent commit 2 years ago
Zio Sql ⭐ 167
Type-safe, composable SQL for ZIO applications
most recent commit 15 days ago
Tsafe ⭐ 159
🔩 The missing TypeScript builtins
total releases 32most recent commit a month ago
Java.interop ⭐ 151
Java.Interop provides open-source bindings of Java's Java Native Interface (JNI) for use with .NET managed languages such as C#
most recent commit a day ago
Orm Lite ⭐ 148
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
most recent commit 4 years ago
Prop Types Ts ⭐ 148
Alternative syntax for prop types providing both static and runtime type safety, powered by io-ts
dependent packages 8total releases 16most recent commit 2 years agonpm prop-types-ts} Downloads
Typical ⭐ 145
Typical: Fast, simple, & correct data-validation using Python 3 typing.
dependent packages 2total releases 114most recent commit 4 months agopypi typical} Downloads
Vue ⭐ 143
Cheatsheets for experienced Vue developers getting started with TypeScript
most recent commit 2 years ago
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
total releases 15most recent commit 2 years ago
Quantities ⭐ 140
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
most recent commit 3 years ago
Compose Navigation Reimagined ⭐ 133
🌈 Type-safe navigation library for Jetpack Compose
total releases 5most recent commit 2 months ago
Typecov ⭐ 132
Track missing type coverage to ensure type safety
dependent packages 9total releases 10most recent commit a year agonpm typecov} Downloads
Purescript Spec ⭐ 125
Testing framework for Purescript
most recent commit 21 days ago
Pfun ⭐ 122
Functional, composable, asynchronous, type-safe Python.
most recent commit 11 hours ago
Coulomb ⭐ 117
coulomb: unit analysis for Scala
dependent packages 1total releases 6most recent commit 10 days ago
Babel Plugin Runtyper ⭐ 117
⚡️ Runtime type-checker for JavaScript
dependent packages 11total releases 9most recent commit 3 months agonpm babel-plugin-runtyper} Downloads
Angular2 Redux Store ⭐ 110
A minimalistic Redux store for Angular 2
total releases 9most recent commit 5 years ago
Undictify ⭐ 98
Python library providing type-checked function calls at runtime
dependent packages 1total releases 33most recent commit 4 months agopypi undictify} Downloads
Vuex Type Helper ⭐ 98
Type level helper to ensure type safety in Vuex
most recent commit a year ago
Libretto ⭐ 95
Declarative concurrency and stream processing library for Scala
total releases 4most recent commit 20 days ago
Soltsice ⭐ 95
Solidity & TypeScript Integration, Configuration and Examples
dependent packages 2total releases 66most recent commit 3 years agonpm soltsice} Downloads
Juzu ⭐ 88
A web framework for portlet and portal
most recent commit 2 years ago
Tagging ⭐ 87
🏷 Type-safe tags in Swift
most recent commit 3 years ago
Uui ⭐ 86
Universal Utility-first UI Library
most recent commit 16 days ago
Tom ⭐ 85
Elmish type-safe state and side effect manager using RxJS
most recent commit 6 years ago
Swiftyping ⭐ 84
ICMP ping client for Swift 5
most recent commit a year ago
Strict Variant ⭐ 82
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
most recent commit 4 years ago
Gotoprom ⭐ 80
Type-safe Prometheus metrics builder library for golang
most recent commit 2 years ago
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
most recent commit 5 years ago
Pytest Annotate ⭐ 78
Generate PyAnnotate annotations from your pytest tests.
most recent commit 6 months ago
Guards ⭐ 78
🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir
most recent commit 10 months ago
Pinfuture ⭐ 77
An Objective-C future implementation that aims to provide maximal type safety
most recent commit a month ago
Ogonek ⭐ 77
A C++11 library for Unicode
most recent commit 3 years ago
Typical ⭐ 76
Data interchange with algebraic data types.
most recent commit 3 months ago
Laravel Typescript Transformer ⭐ 74
Transform PHP types to Typescript
most recent commit 2 months ago
Io Ts Reporters ⭐ 74
Error reporters for io-ts
most recent commit 3 months ago
Eslint Plugin Total Functions ⭐ 72
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
most recent commit 4 days ago
Sarcastic ⭐ 72
Cast unknown values to typed values
most recent commit 4 years ago
Generic Json Swift ⭐ 72
A simple Swift library for working with generic JSON structures
most recent commit 3 years ago
Mamba ⭐ 67
🐍 The Mamba programming language, because we care about safety
most recent commit 2 days ago
Rest.ts ⭐ 65
Type safety across REST APIs in TypeScript!
most recent commit 2 years ago
Typed ⭐ 65
Typed variables for PHP 7.4+ ( don't use this please )
most recent commit 3 years ago
Angular.haxe ⭐ 62
Toolset for integration of angular.js (https://angularjs.org) in haxe applications
most recent commit 6 years ago
Threadly ⭐ 61
Type-safe thread-local storage in Swift
most recent commit 4 years ago
Typesafe Routes ⭐ 61
Spices up your favorite routing library by adding type safety to plain string-based route definitions.
most recent commit 2 months ago
Univeq ⭐ 60
Safer universal equivalence (==) for Scala.
most recent commit 3 months ago
Postgresql Typed ⭐ 60
Haskell PostgreSQL library with compile-time type inference
most recent commit a year ago
Vue Typed Mixins ⭐ 57
Type safe Vue.js mixins
most recent commit 3 years ago
Ts Force ⭐ 57
A Salesforce REST Client written in Typescript for Typescript
most recent commit 4 months ago
Mutagen ⭐ 56
A .NET library for analyzing, creating, and manipulating Bethesda mods
most recent commit 6 days ago
Elm I18next ⭐ 56
https://package.elm-lang.org/packages/ChristophP/e
most recent commit a year ago
Vault ⭐ 55
A typed, persistent store for values of arbitrary types
most recent commit 7 months ago
Typehtml ⭐ 55
A transparent reactive framework with type safety and simplicity 🌹
most recent commit 5 years ago
1-100 of 498 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,046,936)
Python  (794,459)
Java  (384,874)
Php  (284,415)
Typescript  (238,684)
C Plus Plus  (235,780)
Ruby  (221,629)
C  (180,122)
Shell  (169,318)
C Sharp  (161,756)
Golang  (155,771)
Swift  (64,620)
Objective C  (57,176)
R  (57,118)
Rust  (55,877)
Dart  (51,290)
Kotlin  (45,346)
Lua  (33,181)
Matlab  (30,846)
Perl  (30,484)
Language  (30,086)
Scala  (28,586)
Haskell  (20,231)
Clojure  (19,063)
Powershell  (18,780)
Bash  (18,590)
Coffeescript  (17,336)
Elixir  (16,560)
Assembly  (14,509)
Processing  (13,294)
Julia  (12,511)
Basic  (10,769)
Flow  (10,528)
Emacs Lisp  (10,358)
Erlang  (9,057)
Scheme  (8,438)
Groovy  (8,428)
Solidity  (7,558)
Ocaml  (6,661)
Pascal  (6,377)
Hack  (6,362)
Lisp  (6,344)
Fortran  (5,477)
Elm  (5,473)
Common Lisp  (5,285)
Dlang  (4,742)
Shell Script  (4,624)
Python Library  (4,446)
Crystal  (4,373)
Scripting  (4,199)
Top Projects
Freecodecamp ⭐ 346,120
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,178
Coding Interview University ⭐ 219,778
Awesome ⭐ 201,811
Vue ⭐ 195,787
Developer Roadmap ⭐ 194,895
Public Apis ⭐ 192,086
React ⭐ 188,140
System Design Primer ⭐ 180,789
Tensorflow ⭐ 164,994
Bootstrap ⭐ 157,323
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,101
Build Your Own X ⭐ 141,474
Flutter ⭐ 140,720
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,114
Gitignore ⭐ 133,164
Linux ⭐ 131,903
Vscode ⭐ 131,814
Awesome Python ⭐ 127,528
Javascript ⭐ 122,717
Javaguide ⭐ 121,513
Python 100 Days ⭐ 117,585
Computer Science ⭐ 112,893
Youtube Dl ⭐ 110,060
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,777
Electron ⭐ 101,735
D3 ⭐ 100,901
Go ⭐ 99,283
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,065
Axios ⭐ 93,411
Awesome Selfhosted ⭐ 88,698
Kubernetes ⭐ 88,505
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,694
Next.js ⭐ 86,868
Terminal ⭐ 83,156
Deno ⭐ 82,490
Three.js ⭐ 82,052
Angular ⭐ 81,398
Awesome Go ⭐ 80,764
Typescript ⭐ 80,709
Ant Design ⭐ 80,332
Material Ui ⭐ 78,500
Privacy | About | Terms | Follow Us On Twitter

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

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