Awesome Open Source
Awesome Open Source
Combined Topics
type-safety x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 49 Type Safety Open Source Projects

Categories > Compilers > Type Safety
Ts Toolbelt ⭐ 2,401
👷 TypeScript's largest utility library
Hegel ⭐ 1,703
An advanced static type checker
Returns ⭐ 1,679
Make your functions return something meaningful, typed, and safe!
Dry Validation ⭐ 1,098
Validation library with type-safe schemas and rules
Typewiz ⭐ 1,047
Automatically discover and add missing types in your TypeScript code
Type_safe ⭐ 887
Zero overhead utilities for preventing bugs at compile time
Swift Tagged ⭐ 829
🏷 A wrapper type for safer, expressive code.
Flow Runtime ⭐ 812
A runtime type system for JavaScript with full Flow compatibility.
Nexus Plugin Prisma ⭐ 766
A plugin for Nexus that integrates Prisma
Gentype ⭐ 697
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Swift Nonempty ⭐ 611
🎁 A compile-time guarantee that a collection contains a value.
Topshell ⭐ 428
TopShell - a purely functional, reactive scripting language
Graphaello ⭐ 370
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Structopt ⭐ 339
Parse command line arguments by defining a struct
Mammoth ⭐ 332
A type-safe Postgres query builder for TypeScript.
Vuex Smart Module ⭐ 329
Type safe Vuex module with powerful module features
Jni.hpp ⭐ 320
A modern, type-safe, header-only, C++14 wrapper for JNI
Scalacss ⭐ 297
Super type-safe CSS for Scala and Scala.JS.
Identity ⭐ 283
🆔 Type-safe identifiers in Swift
Dry Struct ⭐ 271
Typed struct and value objects
Cone ⭐ 264
Cone Programming Language
Dry Schema ⭐ 255
Coercion and validation for data structures
Dimensioned ⭐ 236
Compile-time dimensional analysis for various unit systems using Rust's type system.
Percentage ⭐ 228
A percentage type for Swift
Typestrict ⭐ 185
ESLint config focused on maximizing type safety 💪
Squid ⭐ 176
Squid – type-safe metaprogramming and compilation framework for Scala
Orm Lite ⭐ 168
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Vue Literal Compiler ⭐ 158
A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Quantities ⭐ 146
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Domino Ui ⭐ 145
Domino-ui
Typecov ⭐ 131
Track missing type coverage to ensure type safety
Babel Plugin Runtyper ⭐ 117
⚡️ Runtime type-checker for JavaScript
Typical ⭐ 114
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Purescript Spec ⭐ 112
Testing framework for Purescript
Coulomb ⭐ 111
coulomb: unit analysis for Scala
Vuex Type Helper ⭐ 100
Type level helper to ensure type safety in Vuex
Generic Json Swift ⭐ 97
A simple Swift library for working with generic JSON structures
Undictify ⭐ 97
Python library providing type-checked function calls at runtime
Tagging ⭐ 90
🏷 Type-safe tags in Swift
Strict Variant ⭐ 82
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Pfun ⭐ 78
Functional, composable, asynchronous, type-safe Python.
Io Ts Reporters ⭐ 63
Error reporters for io-ts
Threadly ⭐ 58
Type-safe thread-local storage in Swift
Univeq ⭐ 55
Safer universal equivalence (==) for Scala.
Magic Type ⭐ 53
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Phpcs Type Sniff ⭐ 35
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Zion ⭐ 34
A statically-typed strictly-evaluated garbage-collected readable programming language.
Pcf Nominal ⭐ 5
A formalisation of PCF in Agda using naive nominal binding
1-49 of 49 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210