type-safety

Star

Here are 197 public repositories matching this topic...

millsp / ts-toolbelt

Star

👷 Higher Type Safety for TypeScript

utility typescript types typescript-library dynamic-types type-safety type-checking type-utilities

Updated Aug 8, 2020
TypeScript

JSMonk / hegel

Star

An advanced static type checker

javascript type-safety typeinference

Updated Jul 25, 2020
JavaScript

dry-python / returns

Star

Make your functions return something meaningful, typed, and safe!

python functional-programming fp python3 type-safety mypy railway-oriented-programming dry-python mypy-stubs mypy-plugins

Updated Aug 10, 2020
Python

dry-rb / dry-validation

Star

Validation library with type-safe schemas and rules

ruby rubygem gem validation data-validation dry-rb coercion type-safety

Updated Aug 5, 2020
Ruby

urish / typewiz

Star

Automatically discover and add missing types in your TypeScript code

automation typescript code-quality type-safety

Updated Jul 16, 2020
TypeScript

gajus / flow-runtime

Star

A runtime type system for JavaScript with full Flow compatibility.

validation babel-plugin flowtype flow-runtime type-safety

Updated Jul 9, 2020
JavaScript

foonathan / type_safe

Star

Zero overhead utilities for preventing bugs at compile time

c-plus-plus type-safety

Updated Jun 27, 2020
C++

pointfreeco / swift-tagged

Star

🏷 A wrapper type for safer, expressive code.

swift type-safety tagged-types conditional-conformance

Updated Jul 28, 2020
Swift

reason-association / genType

Star

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

javascript typescript types flowtype bucklescript type-safety reasonml

Updated Aug 7, 2020
Reason

graphql-nexus / nexus-plugin-prisma

Star

A plugin for Nexus that integrates Prisma

graphql crud nexus type-safety prisma

Updated Aug 10, 2020
TypeScript

pointfreeco / swift-nonempty

Star

🎁 A compile-time guarantee that a collection contains a value.

swift collections type-safety conditional-conformance

Updated Jun 23, 2020
Swift

topshell-language / topshell

Star

TopShell - a purely functional, reactive scripting language

programming-language reactive functional-programming type-safety

Updated Jan 2, 2020
Scala

japgolly / scalacss

Star

Super type-safe CSS for Scala and Scala.JS.

css scala scalajs type-safe type-safety scalatags scalajs-react

Updated Aug 8, 2020
Scala

JohnSundell / Identity

Star

🆔 Type-safe identifiers in Swift

swift type-safety identifiers

Updated Jun 10, 2020
Swift

mapbox / jni.hpp

Star

A modern, type-safe, header-only, C++14 wrapper for JNI

java template wrapper ndk binding cpp14 jni type-safety

Updated Jul 9, 2020
C++

ktsn / vuex-smart-module

Star

Type safe Vuex module with powerful module features

vuejs typescript vuex type-safety

Updated Aug 8, 2020
TypeScript

dry-rb / dry-struct

Star

Typed struct and value objects

ruby data types constraints dry-rb type-safety value-object struct data-modeling

Updated Jun 24, 2020
Ruby

jondgoodwin / cone

Star

Cone Programming Language

programming-language compiler concurrency webassembly cone systems-language memory-management type-safety web3d

Updated Jun 21, 2020
C

paholg / dimensioned

Star

Compile-time dimensional analysis for various unit systems using Rust's type system.

rust conversion dimensions dimensional-analysis units unstable type-safety

Updated Feb 15, 2020
Rust

sindresorhus / Percentage

Star

A percentage type for Swift

percentage number type type-safety percent swift-package

Updated Jul 6, 2020
Swift

dry-rb / dry-schema

Star

Coercion and validation for data structures

ruby ruby-gem schema data-validation dry-rb schema-validation coercion type-safety data-validator

Updated Jul 22, 2020
Ruby

nerdsupremacist / Graphaello

Star

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

graphql swift data-driven declarative command-line-tool codegen type-safety swiftui

Updated Aug 7, 2020
Swift

krzkaczor / TypeStrict

Star

ESLint config focused on maximizing type safety 💪

typescript tslint type-safety

Updated Apr 5, 2020
JavaScript

epfldata / squid

Star

Squid – type-safe metaprogramming and compilation framework for Scala

scala optimization metaprogramming staging type-safety

Updated Jul 10, 2020
Scala

michaelolof / vue-literal-compiler

Star

A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm

typescript vue single-file-component vue-components template-literals vue-loader type-safety vue-template-loader vue-template-compiler

Updated Jul 30, 2020
TypeScript

BOT-Man-JL / ORM-Lite

Star

Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)

template orm modern-cpp metaprogramming header-only ormlite type-safety compile-time strong-typed

Updated Dec 28, 2017
C++

timjb / quantities

Star

Type-safe physical computations and unit conversions in Idris ⚖

🌡

⏲

🔋

📐

units-of-measure unit-conversion type-safety

Updated Jan 28, 2019
Idris

DominoKit / domino-ui

Star

Domino-ui

bootstrap builder ui material-design gwt type-safety elemento elemental2

Updated Aug 8, 2020
CSS

vitalets / babel-plugin-runtyper

Star

⚡️ Runtime type-checker for JavaScript

babel babel-plugin type-safety type-checking type-hints runtime-code-analysis

Updated Jul 29, 2020
JavaScript

codechecks / typecov

Star

Track missing type coverage to ensure type safety

typescript type-safety codechecks type-coverage

Updated Jul 22, 2020
TypeScript

Improve this page

Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."

Learn more