Awesome Open Source
Awesome Open Source
Combined Topics
type-safety
x
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
The Top 208 Type Safety Open Source Projects on Github
Categories
>
Compilers
>
Type Safety
Ts Toolbelt
⭐
2,538
👷 TypeScript's largest utility library
Returns
⭐
1,889
Make your functions return something meaningful, typed, and safe!
Hegel
⭐
1,747
An advanced static type checker
Dry Validation
⭐
1,132
Validation library with type-safe schemas and rules
Typewiz
⭐
1,046
Automatically discover and add missing types in your TypeScript code
Type_safe
⭐
877
Zero overhead utilities for preventing bugs at compile time
Swift Tagged
⭐
869
🏷 A wrapper type for safer, expressive code.
Flow Runtime
⭐
812
A runtime type system for JavaScript with full Flow compatibility.
Nexus Plugin Prisma
⭐
808
A plugin for Nexus that integrates Prisma
Gentype
⭐
715
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Swift Nonempty
⭐
624
🎁 A compile-time guarantee that a collection contains a value.
Jet
⭐
463
Type safe SQL builder with code generation and automatic query result data mapping
Topshell
⭐
444
TopShell - a purely functional, reactive scripting language
Mammoth
⭐
391
A type-safe Postgres query builder for TypeScript.
Graphaello
⭐
383
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Classes
⭐
355
Smart, pythonic, ad-hoc, typed polymorphism for Python
Vuex Smart Module
⭐
354
Type safe Vuex module with powerful module features
Structopt
⭐
337
Parse command line arguments by defining a struct
Scalacss
⭐
308
Super type-safe CSS for Scala and Scala.JS.
Dry Struct
⭐
287
Typed struct and value objects
Cone
⭐
282
Cone Programming Language
Dry Schema
⭐
281
Coercion and validation for data structures
Jni.hpp
⭐
272
A modern, type-safe, header-only, C++14 wrapper for JNI
Identity
⭐
264
🆔 Type-safe identifiers in Swift
Dimensioned
⭐
242
Compile-time dimensional analysis for various unit systems using Rust's type system.
Percentage
⭐
227
A percentage type for Swift
Flowkit
⭐
219
A declarative type-safe framework for building fast and flexible list with Tables & Collection
Typestrict
⭐
193
ESLint config focused on maximizing type safety 💪
Squid
⭐
171
Squid – type-safe metaprogramming and compilation framework for Scala
Domino Ui
⭐
152
Domino-ui
Coalton
⭐
150
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Orm Lite
⭐
148
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Quantities
⭐
140
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
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
Typecov
⭐
132
Track missing type coverage to ensure type safety
Typical
⭐
130
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Purescript Spec
⭐
117
Testing framework for Purescript
Babel Plugin Runtyper
⭐
115
⚡️ Runtime type-checker for JavaScript
Coulomb
⭐
114
coulomb: unit analysis for Scala
Pfun
⭐
102
Functional, composable, asynchronous, type-safe Python.
Vuex Type Helper
⭐
98
Type level helper to ensure type safety in Vuex
Undictify
⭐
97
Python library providing type-checked function calls at runtime
Tagging
⭐
87
🏷 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
Libretto
⭐
80
Declarative concurrency and stream processing library for Scala
Dilate
⭐
80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Guards
⭐
78
🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir
Gentypescript
⭐
74
Auto generation of type-safe bindings between Reason and Typescript.
Generic Json Swift
⭐
72
A simple Swift library for working with generic JSON structures
Io Ts Reporters
⭐
69
Error reporters for io-ts
Mamba
⭐
66
🐍 The Mamba programming language, because we care about safety
Typed
⭐
65
Typed variables for PHP 7.4+ ( don't use this please )
Pytest Annotate
⭐
65
Generate PyAnnotate annotations from your pytest tests.
Eslint Plugin Total Functions
⭐
63
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Threadly
⭐
61
Type-safe thread-local storage in Swift
Postgresql Typed
⭐
60
Haskell PostgreSQL library with compile-time type inference
Univeq
⭐
59
Safer universal equivalence (==) for Scala.
Vue Typed Mixins
⭐
57
Type safe Vue.js mixins
Polycast
⭐
53
Safely cast values to int, float, or string in PHP
Vault
⭐
51
A typed, persistent store for values of arbitrary types
Magic Type
⭐
51
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
O Clock
⭐
49
⌛️ Type-safe time units in Haskell
Llvm Hs Typed
⭐
46
Type Safe LLVM IR ( Experimental )
Request Parser
⭐
45
Small PHP Library for type-safe input handling
Unchained
⭐
43
A fully type safe, compile time only units library.
C Iterators
⭐
42
📚 A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
Ts Type Checked
⭐
41
Runtime duck type checking utilities for TypeScript.
Sbt Kubeyml
⭐
37
Sbt plugin to help deploy Scala applications to Kubernetes
Jilt
⭐
36
Java annotation processor for auto-generating Builder (including Type-Safe Builder) classes
Regbits
⭐
36
C++ templates for type-safe bit manipulation
Phpcs Type Sniff
⭐
35
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Matchkin
⭐
34
Statically checked exhaustive matching for TypeScript
Yants
⭐
33
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Zion
⭐
33
A statically-typed strictly-evaluated garbage-collected readable programming language.
Untrusted.py
⭐
31
Safer Python with types for untrusted input
Total Functions
⭐
31
A collection of total functions to replace TypeScript's built-in partial functions.
Elm Typescript Starter
⭐
29
Boilerplate for Elm web apps with safe TypeScript interop and hot module replacement.
Gospars
⭐
29
Minimalistic Single Page Application Framework for GOPHERJS
Hashedexpression
⭐
29
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Valaddin
⭐
26
Functional input validation to make R functions more readable and robust
Playwarts
⭐
24
WartRemover warts for Play Framework.
C Iterplus
⭐
24
Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
Type Lite
⭐
23
type - Strong types for C++98, C++11 and later in a single-file header-only library
Typed_flags
⭐
23
Type-safe and human-readable set of bool flags
Typed I18n
⭐
22
type-safe i18n library
Typed_key
⭐
21
A Rust library for strongly-typed string keys for configuration.
Dry Monads Sorbet
⭐
21
Sorbet type hints for Dry::Monads.
Ipyrest
⭐
20
An emerging widget for exploring RESTful APIs in Jupyter notebooks.
Truth
⭐
19
A Domain Representation Language
Maybe
⭐
19
🌯 The prettiest TypeScript implementation of Maybe monad.
Ts Pattern Matching
⭐
18
Pattern matching in TS with Record Patterns, Type Patterns, type inference and more
Nest Typed Config
⭐
18
Intuitive, type-safe configuration module for Nest framework ✨
Quartz
⭐
17
The official compiler for the Quartz programming language
Rspec Sorbet
⭐
16
A small gem consisting of helpers for using Sorbet & RSpec together.
Typed Collection
⭐
16
Type-safe collections based on Laravel Collections
Enolib
⭐
15
The eno standard library - available for JavaScript, Python and Ruby
Safe String Interpolation
⭐
14
A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !
Dynamoquery
⭐
14
Python AWS DynamoDB ORM
Cerberus
⭐
13
Pedantic Python Decorators
⭐
12
Some useful decorators for any situation. Includes runtime type checking.
1-100 of 208 projects
Next >
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.
