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