Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (-25.34%)
Swift Nonempty🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+300.68%)
ScalacssSuper type-safe CSS for Scala and Scala.JS.
Stars: ✭ 293 (+100.68%)
Swift Tagged🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+448.63%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-48.63%)
StructoptParse command line arguments by defining a struct
Stars: ✭ 323 (+121.23%)
Vuex Type HelperType level helper to ensure type safety in Vuex
Stars: ✭ 99 (-32.19%)
Magic Type🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (-63.7%)
Dry StructTyped struct and value objects
Stars: ✭ 263 (+80.14%)
typedTyped variables for PHP 7.4+ ( don't use this please )
Stars: ✭ 66 (-54.79%)
Pcf NominalA formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-96.58%)
UnitConversion of unit library for golang
Stars: ✭ 80 (-45.21%)
GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+367.81%)
UnitsA compile-time enabled Modern C++ library that provides compile-time dimensional analysis and unit/quantity manipulation.
Stars: ✭ 365 (+150%)
Units Of MeasureType-safe dimensional analysis and unit conversion in Kotlin.
Stars: ✭ 69 (-52.74%)
Vuex Smart ModuleType safe Vuex module with powerful module features
Stars: ✭ 306 (+109.59%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+1280.14%)
Identity🆔 Type-safe identifiers in Swift
Stars: ✭ 282 (+93.15%)
Dry ValidationValidation library with type-safe schemas and rules
Stars: ✭ 1,087 (+644.52%)
nest-typed-configIntuitive, type-safe configuration module for Nest framework ✨
Stars: ✭ 47 (-67.81%)
Generic Json SwiftA simple Swift library for working with generic JSON structures
Stars: ✭ 95 (-34.93%)
Phpcs Type SniffPHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-76.03%)
coaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Stars: ✭ 439 (+200.68%)
UnitfulAstro.jlAn extension of Unitful.jl for astronomers.
Stars: ✭ 18 (-87.67%)
BarrilPython package to manage units for physical quantities
Stars: ✭ 25 (-82.88%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (-44.52%)
Flow RuntimeA runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+456.85%)
TypicalTypical: Fast, simple, & correct data-validation using Python 3 typing.
Stars: ✭ 111 (-23.97%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-45.21%)
UnitsnetMakes life working with units of measurement just a little bit better.
Stars: ✭ 641 (+339.04%)
HegelAn advanced static type checker
Stars: ✭ 1,804 (+1135.62%)
TopshellTopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (+189.04%)
IndriyaJSR 385 - Reference Implementation
Stars: ✭ 74 (-49.32%)
GraphaelloA Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Stars: ✭ 355 (+143.15%)
numberfmtNumber formatting using a text pattern and native Intl.NumberFormat()
Stars: ✭ 17 (-88.36%)
Jni.hppA modern, type-safe, header-only, C++14 wrapper for JNI
Stars: ✭ 313 (+114.38%)
Physunits Ct Cpp11A small C++11, C++14 header-only library for compile-time dimensional analysis and unit/quantity manipulation and conversion
Stars: ✭ 67 (-54.11%)
MammothA type-safe Postgres query builder for TypeScript.
Stars: ✭ 305 (+108.9%)
Length.js📏 JavaScript library for length units conversion.
Stars: ✭ 292 (+100%)
ThreadlyType-safe thread-local storage in Swift
Stars: ✭ 58 (-60.27%)
Unitful.jlPhysical quantities with arbitrary units
Stars: ✭ 279 (+91.1%)
UndictifyPython library providing type-checked function calls at runtime
Stars: ✭ 97 (-33.56%)
ConeCone Programming Language
Stars: ✭ 257 (+76.03%)
UniveqSafer universal equivalence (==) for Scala.
Stars: ✭ 55 (-62.33%)
postgresql-typedHaskell PostgreSQL library with compile-time type inference
Stars: ✭ 72 (-50.68%)
TypecovTrack missing type coverage to ensure type safety
Stars: ✭ 128 (-12.33%)
llvm-hs-typedType Safe LLVM IR ( Experimental )
Stars: ✭ 47 (-67.81%)
TypewizAutomatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+602.74%)
eslint-plugin-total-functionsAn ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Stars: ✭ 72 (-50.68%)
Tagging🏷 Type-safe tags in Swift
Stars: ✭ 89 (-39.04%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-77.4%)
Unit ApiUnits of Measurement API
Stars: ✭ 140 (-4.11%)
Safe UnitsType-safe TypeScript units of measure 👷📏
Stars: ✭ 137 (-6.16%)
YaiouomPrototype extension of the Rust type system towards checking units-of-measure
Stars: ✭ 86 (-41.1%)
Type safeZero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+493.15%)