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 ⭐ 1,968
⛑ Higher Type Safety for TypeScript
Hegel ⭐ 1,607
An advanced static type checker
Returns ⭐ 1,552
Make your functions return something meaningful, typed, and safe!
Dry Validation ⭐ 1,078
Validation library with type-safe schemas and rules
Typewiz ⭐ 1,010
Automatically discover and add missing types in your TypeScript code
Type_safe ⭐ 853
Zero overhead utilities for preventing bugs at compile time
Flow Runtime ⭐ 814
A runtime type system for JavaScript with full Flow compatibility.
Swift Tagged ⭐ 780
🏷 A wrapper type for safer, expressive code.
Nexus Plugin Prisma ⭐ 699
A plugin for Nexus that integrates Prisma
Gentype ⭐ 663
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Swift Nonempty ⭐ 581
🎁 A compile-time guarantee that a collection contains a value.
Topshell ⭐ 416
TopShell - a purely functional, reactive scripting language
Graphaello ⭐ 321
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Structopt ⭐ 320
Parse command line arguments by defining a struct
Jni.hpp ⭐ 299
A modern, type-safe, header-only, C++14 wrapper for JNI
Scalacss ⭐ 289
Super type-safe CSS for Scala and Scala.JS.
Mammoth ⭐ 288
A type-safe Postgres query builder for TypeScript.
Vuex Smart Module ⭐ 288
Type safe Vuex module with powerful module features
Identity ⭐ 279
🆔 Type-safe identifiers in Swift
Dry Struct ⭐ 256
Typed struct and value objects
Cone ⭐ 252
Cone Programming Language
Dry Schema ⭐ 243
Coercion and validation for data structures
Dimensioned ⭐ 232
Compile-time dimensional analysis for various unit systems using Rust's type system.
Percentage ⭐ 222
A percentage type for Swift
Typestrict ⭐ 180
ESLint config focused on maximizing type safety 💪
Squid ⭐ 172
Squid – type-safe metaprogramming and compilation framework for Scala
Orm Lite ⭐ 162
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Vue Literal Compiler ⭐ 156
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 ⭐ 132
Domino-ui
Typecov ⭐ 125
Track missing type coverage to ensure type safety
Babel Plugin Runtyper ⭐ 117
⚡️ Runtime type-checker for JavaScript
Typical ⭐ 109
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Coulomb ⭐ 108
coulomb: unit analysis for Scala
Purescript Spec ⭐ 107
Testing framework for Purescript
Vuex Type Helper ⭐ 99
Type level helper to ensure type safety in Vuex
Undictify ⭐ 97
Python library providing type-checked function calls at runtime
Generic Json Swift ⭐ 93
A simple Swift library for working with generic JSON structures
Tagging ⭐ 88
🏷 Type-safe tags in Swift
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Strict Variant ⭐ 78
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Pfun ⭐ 69
Functional, composable, asynchronous, type-safe Python.
Threadly ⭐ 58
Type-safe thread-local storage in Swift
Io Ts Reporters ⭐ 57
Error reporters for io-ts
Univeq ⭐ 55
Safer universal equivalence (==) for Scala.
Magic Type ⭐ 53
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Zion ⭐ 34
A statically-typed strictly-evaluated garbage-collected readable programming language.
Phpcs Type Sniff ⭐ 33
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
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