All Categories → Compilers → type-safety

Top 70 type-safety open source projects

Dry Schema
Coercion and validation for data structures
Dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
Percentage
A percentage type for Swift
Ts Toolbelt
ts-toolbelt is the largest, and most tested type library available right now, featuring +200 utilities. Our type collection packages some of the most advanced mapped types, conditional types, and recursive types on the market.
Typestrict
ESLint config focused on maximizing type safety 💪
Squid
Squid – type-safe metaprogramming and compilation framework for Scala
Orm Lite
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Vue Literal Compiler
A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Hegel
An advanced static type checker
Typecov
Track missing type coverage to ensure type safety
Babel Plugin Runtyper
⚡️ Runtime type-checker for JavaScript
Typical
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Vuex Type Helper
Type level helper to ensure type safety in Vuex
Undictify
Python library providing type-checked function calls at runtime
Generic Json Swift
A simple Swift library for working with generic JSON structures
Tagging
🏷 Type-safe tags in Swift
Strict Variant
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Io Ts Reporters
Error reporters for io-ts
Dry Validation
Validation library with type-safe schemas and rules
Univeq
Safer universal equivalence (==) for Scala.
Magic Type
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Typewiz
Automatically discover and add missing types in your TypeScript code
Phpcs Type Sniff
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
Type safe
Zero overhead utilities for preventing bugs at compile time
✭ 866
type-safety
Pcf Nominal
A formalisation of PCF in Agda using naive nominal binding
Flow Runtime
A runtime type system for JavaScript with full Flow compatibility.
Swift Tagged
🏷 A wrapper type for safer, expressive code.
Nexus Plugin Prisma
A plugin for Nexus that integrates Prisma
Gentype
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Swift Nonempty
🎁 A compile-time guarantee that a collection contains a value.
Topshell
TopShell - a purely functional, reactive scripting language
Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
Vuex Smart Module
Type safe Vuex module with powerful module features
Mammoth
A type-safe Postgres query builder for TypeScript.
Scalacss
Super type-safe CSS for Scala and Scala.JS.
Identity
🆔 Type-safe identifiers in Swift
Dry Struct
Typed struct and value objects
postgresql-typed
Haskell PostgreSQL library with compile-time type inference
typed
Typed variables for PHP 7.4+ ( don't use this please )
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
eslint-plugin-total-functions
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
type-lite
type - Strong types for C++98, C++11 and later in a single-file header-only library
genTypeScript
Auto generation of type-safe bindings between Reason and Typescript.
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
1-60 of 70 type-safety projects