ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-36.54%)
TopshellTopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (+711.54%)
UniveqSafer universal equivalence (==) for Scala.
Stars: ✭ 55 (+5.77%)
Dry StructTyped struct and value objects
Stars: ✭ 263 (+405.77%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+3775%)
Swift Tagged🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+1440.38%)
Ts Toolbeltts-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.
Stars: ✭ 3,099 (+5859.62%)
Vuex Smart ModuleType safe Vuex module with powerful module features
Stars: ✭ 306 (+488.46%)
Generic Json SwiftA simple Swift library for working with generic JSON structures
Stars: ✭ 95 (+82.69%)
ThreadlyType-safe thread-local storage in Swift
Stars: ✭ 58 (+11.54%)
typedTyped variables for PHP 7.4+ ( don't use this please )
Stars: ✭ 66 (+26.92%)
TypewizAutomatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+1873.08%)
DimensionedCompile-time dimensional analysis for various unit systems using Rust's type system.
Stars: ✭ 235 (+351.92%)
Pcf NominalA formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-90.38%)
GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+1213.46%)
UnchainedA fully type safe, compile time only units library.
Stars: ✭ 70 (+34.62%)
StructoptParse command line arguments by defining a struct
Stars: ✭ 323 (+521.15%)
Vuex Type HelperType level helper to ensure type safety in Vuex
Stars: ✭ 99 (+90.38%)
ScalacssSuper type-safe CSS for Scala and Scala.JS.
Stars: ✭ 293 (+463.46%)
SquidSquid – type-safe metaprogramming and compilation framework for Scala
Stars: ✭ 172 (+230.77%)
nest-typed-configIntuitive, type-safe configuration module for Nest framework ✨
Stars: ✭ 47 (-9.62%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (+55.77%)
llvm-hs-typedType Safe LLVM IR ( Experimental )
Stars: ✭ 47 (-9.62%)
QuantitiesType-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars: ✭ 146 (+180.77%)
Dry ValidationValidation library with type-safe schemas and rules
Stars: ✭ 1,087 (+1990.38%)
Dry SchemaCoercion and validation for data structures
Stars: ✭ 249 (+378.85%)
Magic Type🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (+1.92%)
HegelAn advanced static type checker
Stars: ✭ 1,804 (+3369.23%)
Phpcs Type SniffPHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-32.69%)
kanjiA strongly typed GraphQL API framework
Stars: ✭ 12 (-76.92%)
Type safeZero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+1565.38%)
TypecovTrack missing type coverage to ensure type safety
Stars: ✭ 128 (+146.15%)
Flow RuntimeA runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+1463.46%)
PercentageA percentage type for Swift
Stars: ✭ 225 (+332.69%)
TypicalTypical: Fast, simple, & correct data-validation using Python 3 typing.
Stars: ✭ 111 (+113.46%)
Swift Nonempty🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+1025%)
vaultA typed, persistent store for values of arbitrary types
Stars: ✭ 55 (+5.77%)
GraphaelloA Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Stars: ✭ 355 (+582.69%)
Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (+109.62%)
Jni.hppA modern, type-safe, header-only, C++14 wrapper for JNI
Stars: ✭ 313 (+501.92%)
TypestrictESLint config focused on maximizing type safety 💪
Stars: ✭ 182 (+250%)
MammothA type-safe Postgres query builder for TypeScript.
Stars: ✭ 305 (+486.54%)
UndictifyPython library providing type-checked function calls at runtime
Stars: ✭ 97 (+86.54%)
Identity🆔 Type-safe identifiers in Swift
Stars: ✭ 282 (+442.31%)
request-parserSmall PHP Library for type-safe input handling
Stars: ✭ 53 (+1.92%)
ConeCone Programming Language
Stars: ✭ 257 (+394.23%)
Tagging🏷 Type-safe tags in Swift
Stars: ✭ 89 (+71.15%)
postgresql-typedHaskell PostgreSQL library with compile-time type inference
Stars: ✭ 72 (+38.46%)
Orm LiteHeader-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Stars: ✭ 164 (+215.38%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (+53.85%)
tsafe🔩 The missing TypeScript utils
Stars: ✭ 285 (+448.08%)
regbitsC++ templates for type-safe bit manipulation
Stars: ✭ 53 (+1.92%)
TruthA Domain Representation Language
Stars: ✭ 23 (-55.77%)
Vue Literal CompilerA Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Stars: ✭ 158 (+203.85%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (+44.23%)